Ana Maria Dinis Moreira
AuthID: R-000-14T
181
TITLE: SDL in Rigorus Object-Oriented Analysis (Short Paper)
AUTHORS: Robert G Clark; Ana M D Moreira;
PUBLISHED: 1999, SOURCE: 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
AUTHORS: Robert G Clark; Ana M D Moreira;
PUBLISHED: 1999, SOURCE: 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
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP182
TITLE: Generating Object-Z Specifications from Use Cases
AUTHORS: Ana M D Moreira; João Araújo;
PUBLISHED: 1999, SOURCE: ICEIS
AUTHORS: Ana M D Moreira; João Araújo;
PUBLISHED: 1999, SOURCE: ICEIS
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP183
TITLE: Preface
AUTHORS: Moreira, A; Demeyer, S;
PUBLISHED: 1999, SOURCE: 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
AUTHORS: Moreira, A; Demeyer, S;
PUBLISHED: 1999, SOURCE: 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
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID184
TITLE: Adaptability of CASE tools for object-oriented software development
AUTHORS: d'Oliveira, GM; Guerreiro, P ; Moreira, AMD;
PUBLISHED: 1998, SOURCE: 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
AUTHORS: d'Oliveira, GM; Guerreiro, P ; Moreira, AMD;
PUBLISHED: 1998, SOURCE: 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
INDEXED IN: 
WOS
WOS185
TITLE: Teaching objects: The case for modelling
AUTHORS: Moreira, AMD;
PUBLISHED: 1998, SOURCE: 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
AUTHORS: Moreira, AMD;
PUBLISHED: 1998, SOURCE: 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
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID186
TITLE: Formalizing UML. Why? How?
AUTHORS: Ana Moreira; Luis F Andrade; Akash R Deshpande; Stuart Kent;
PUBLISHED: 1998, SOURCE: Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA
AUTHORS: Ana Moreira; Luis F Andrade; Akash R Deshpande; Stuart Kent;
PUBLISHED: 1998, SOURCE: Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA
187
TITLE: Adding rigour to object-oriented analysis
AUTHORS: Ana M D Moreira; Robert G Clark;
PUBLISHED: 1996, SOURCE: Software Engineering Journal, VOLUME: 11, ISSUE: 5
AUTHORS: Ana M D Moreira; Robert G Clark;
PUBLISHED: 1996, SOURCE: Software Engineering Journal, VOLUME: 11, ISSUE: 5
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP188
TITLE: Combining Object-Oriented Analysis and Formal Description Techniques
AUTHORS: Ana M D Moreira; Robert G Clark;
PUBLISHED: 1994, SOURCE: Object-Oriented Programming, Proceedings of the 8th European Conference, ECOOP '94, Bologna, Italy, July 4-8, 1994, VOLUME: 821
AUTHORS: Ana M D Moreira; Robert G Clark;
PUBLISHED: 1994, SOURCE: Object-Oriented Programming, Proceedings of the 8th European Conference, ECOOP '94, Bologna, Italy, July 4-8, 1994, VOLUME: 821
189
TITLE: Rigorous Object-Oriented Analysis
AUTHORS: Ana M D Moreira; Robert G Clark;
PUBLISHED: 1994, SOURCE: Object-Oriented Methodologies and Systems, International Symposium ISOOMS '94, Palermo, Italy, September 21-22, 1994, Proceedings, VOLUME: 858
AUTHORS: Ana M D Moreira; Robert G Clark;
PUBLISHED: 1994, SOURCE: Object-Oriented Methodologies and Systems, International Symposium ISOOMS '94, Palermo, Italy, September 21-22, 1994, Proceedings, VOLUME: 858
190
TITLE: Intimate Association between the Generative Cell and Endoplasmic Reticulum during the In vitro Lag Period of Magnolia x Soulangeana Pollen Germination
AUTHORS: Dinis, AM; Mesquita, JF;
PUBLISHED: 1994, SOURCE: Int. J Plant Sci. - International Journal of Plant Sciences, VOLUME: 155, ISSUE: 2
AUTHORS: Dinis, AM; Mesquita, JF;
PUBLISHED: 1994, SOURCE: Int. J Plant Sci. - International Journal of Plant Sciences, VOLUME: 155, ISSUE: 2
INDEXED IN: 
CrossRef
CrossRef