Ana Maria Dinis Moreira
AuthID: R-000-14T
181
TÃTULO: SDL in Rigorus Object-Oriented Analysis (Short Paper)
AUTORES: Robert G Clark; Ana M D Moreira;
PUBLICAÇÃO: 1999, FONTE: Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy, VOLUME: 139
AUTORES: Robert G Clark; Ana M D Moreira;
PUBLICAÇÃO: 1999, FONTE: Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy, VOLUME: 139
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP182
TÃTULO: Generating Object-Z Specifications from Use Cases
AUTORES: Ana M D Moreira; João Araújo;
PUBLICAÇÃO: 1999, FONTE: ICEIS
AUTORES: Ana M D Moreira; João Araújo;
PUBLICAÇÃO: 1999, FONTE: ICEIS
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP183
TÃTULO: Preface
AUTORES: Moreira, A; Demeyer, S;
PUBLICAÇÃO: 1999, FONTE: 13th European Conference on Object-Oriented Programming, ECOOP 1999 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1743
AUTORES: Moreira, A; Demeyer, S;
PUBLICAÇÃO: 1999, FONTE: 13th European Conference on Object-Oriented Programming, ECOOP 1999 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1743
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID184
TÃTULO: Adaptability of CASE tools for object-oriented software development
AUTORES: d'Oliveira, GM; Guerreiro, P ; Moreira, AMD;
PUBLICAÇÃO: 1998, FONTE: World Multi-Conference on Systemics Cybernetics, and Informatics (SCI 98)/4th International Conference on Information Systems, Analysis and Synthesis (ISAS 98) in WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL 1, PROCEEDINGS: ISAS '98
AUTORES: d'Oliveira, GM; Guerreiro, P ; Moreira, AMD;
PUBLICAÇÃO: 1998, FONTE: World Multi-Conference on Systemics Cybernetics, and Informatics (SCI 98)/4th International Conference on Information Systems, Analysis and Synthesis (ISAS 98) in WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL 1, PROCEEDINGS: ISAS '98
INDEXADO EM: 
WOS
WOS185
TÃTULO: Teaching objects: The case for modelling
AUTORES: Moreira, AMD;
PUBLICAÇÃO: 1998, FONTE: 3rd Workshop on Object-Oriented Technology, ECOOP 1998 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1543
AUTORES: Moreira, AMD;
PUBLICAÇÃO: 1998, FONTE: 3rd Workshop on Object-Oriented Technology, ECOOP 1998 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1543
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID186
TÃTULO: Formalizing UML. Why? How?
AUTORES: Ana Moreira; Luis F Andrade; Akash R Deshpande; Stuart Kent;
PUBLICAÇÃO: 1998, FONTE: Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA
AUTORES: Ana Moreira; Luis F Andrade; Akash R Deshpande; Stuart Kent;
PUBLICAÇÃO: 1998, FONTE: Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA
187
TÃTULO: Adding rigour to object-oriented analysis
AUTORES: Ana M D Moreira; Robert G Clark;
PUBLICAÇÃO: 1996, FONTE: Software Engineering Journal, VOLUME: 11, NÚMERO: 5
AUTORES: Ana M D Moreira; Robert G Clark;
PUBLICAÇÃO: 1996, FONTE: Software Engineering Journal, VOLUME: 11, NÚMERO: 5
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP188
TÃTULO: Combining Object-Oriented Analysis and Formal Description Techniques
AUTORES: Ana M D Moreira; Robert G Clark;
PUBLICAÇÃO: 1994, FONTE: Object-Oriented Programming, Proceedings of the 8th European Conference, ECOOP '94, Bologna, Italy, July 4-8, 1994, VOLUME: 821
AUTORES: Ana M D Moreira; Robert G Clark;
PUBLICAÇÃO: 1994, FONTE: Object-Oriented Programming, Proceedings of the 8th European Conference, ECOOP '94, Bologna, Italy, July 4-8, 1994, VOLUME: 821
189
TÃTULO: Rigorous Object-Oriented Analysis
AUTORES: Ana M D Moreira; Robert G Clark;
PUBLICAÇÃO: 1994, FONTE: Object-Oriented Methodologies and Systems, International Symposium ISOOMS '94, Palermo, Italy, September 21-22, 1994, Proceedings, VOLUME: 858
AUTORES: Ana M D Moreira; Robert G Clark;
PUBLICAÇÃO: 1994, FONTE: Object-Oriented Methodologies and Systems, International Symposium ISOOMS '94, Palermo, Italy, September 21-22, 1994, Proceedings, VOLUME: 858
190
TÃTULO: Intimate Association between the Generative Cell and Endoplasmic Reticulum during the In vitro Lag Period of Magnolia x Soulangeana Pollen Germination
AUTORES: Dinis, AM; Mesquita, JF;
PUBLICAÇÃO: 1994, FONTE: Int. J Plant Sci. - International Journal of Plant Sciences, VOLUME: 155, NÚMERO: 2
AUTORES: Dinis, AM; Mesquita, JF;
PUBLICAÇÃO: 1994, FONTE: Int. J Plant Sci. - International Journal of Plant Sciences, VOLUME: 155, NÚMERO: 2
INDEXADO EM: 
CrossRef
CrossRef