Ana Moreira

Orcid: 0000-0003-2046-2766

Affiliations:
  • Universidade Nova de Lisboa, Portugal


According to our database1, Ana Moreira authored at least 190 papers between 1993 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Sustainability in Computing Education: A Systematic Literature Review.
ACM Trans. Comput. Educ., March, 2024

2023
GIRE: Gender-Inclusive Requirements Engineering.
Data Knowl. Eng., 2023

A social and technical sustainability requirements catalogue.
Data Knowl. Eng., 2023

Sustainability Competencies and Skills in Software Engineering: An Industry Perspective.
CoRR, 2023

Preface: REFSQ 2023 Doctoral Symposium.
Proceedings of the Joint Proceedings of REFSQ-2023 Workshops, 2023

13<sup>th</sup> Model-Driven Requirements Engineering (MoDRE) Workshop.
Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023

2022
Theme section on model-driven requirements engineering.
Softw. Syst. Model., 2022

Editorial.
Requir. Eng., 2022

On the Current Practices for Specifying Sustainability Requirements.
Proceedings of the Research Challenges in Information Science, 2022

2021
Dealing with Non-Functional Requirements in Model-Driven Development: A Survey.
IEEE Trans. Software Eng., 2021

Software Sustainability: Beyond the Tower of Babel.
Proceedings of the 1st IEEE/ACM International Workshop on Body of Knowledge for Software Sustainability, 2021

Conceptual Modeling of Gender-Inclusive Requirements.
Proceedings of the Conceptual Modeling - 40th International Conference, 2021

A Sustainability Requirements Catalog for the Social and Technical Dimensions.
Proceedings of the Conceptual Modeling - 40th International Conference, 2021

2020
Towards a reusable business process modelling approach.
Int. J. Bus. Process. Integr. Manag., 2020

Welcome from the Organizers.
Proceedings of the 10th IEEE International Model-Driven Requirements Engineering, 2020

Handling Nonfunctional Requirements for Smart Cities.
Proceedings of the XXIII Iberoamerican Conference on Software Engineering, 2020

2019
Deriving architectural models from requirements specifications: A systematic mapping study.
Inf. Softw. Technol., 2019

Towards a requirements language for modeling emotion in videogames.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Towards a Systematic Process for the Elicitation of Sustainability Requirements.
Proceedings of the 8th International Workshop on Requirements Engineering for Sustainable Systems co-located with 27th International Conference on Requirements Engineering, 2019

Preface to 9th International Workshop on Model-Driven Requirements Engineering.
Proceedings of the 27th IEEE International Requirements Engineering Conference Workshops, 2019

2018
Multi-paradigm deception modeling for cyber defense.
J. Syst. Softw., 2018

Comparing business value modeling methods: A family of experiments.
Inf. Softw. Technol., 2018

Visual Modeling of Cyber Deception.
Proceedings of the 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, 2018

Deriving services from KAOS models.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

On the Impact of Semantic Transparency on Understanding and Reviewing Social Goal Models.
Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

A concern-oriented sustainability approach.
Proceedings of the 12th International Conference on Research Challenges in Information Science, 2018

Towards an Agile Reference Architecture Method for Information Systems.
Proceedings of the 51st Hawaii International Conference on System Sciences, 2018

A SPL Framework for Adaptive Deception-based Defense.
Proceedings of the 51st Hawaii International Conference on System Sciences, 2018

2017
Synergies and tradeoffs in software reuse - a systematic mapping study.
Softw. Pract. Exp., 2017

Guest editorial to the special issue on "modeling: foundations and applications" (MODELS 2013).
Softw. Syst. Model., 2017

Evaluating the Efficacy of Value-driven Methods: A Controlled Experiment.
Proceedings of the Information Systems Development: Advances in Methods, Tools and Management, 2017

An approach to align business and IT perspectives during the SOA services identification.
Proceedings of the Computational Science and Its Applications - ICCSA 2017, 2017

Deception planning models for cyber security.
Proceedings of the Computational Science and Its Applications - ICCSA 2017, 2017

Aligning Business Models with Requirements Models.
Proceedings of the Information Systems, 2017

2016
Connecting and Serving the Software Engineering Community.
IEEE Trans. Software Eng., 2016

Issues on developing interoperable cloud applications: definitions, concepts, approaches, requirements, characteristics and evaluation models.
J. Softw. Eng. Res. Dev., 2016

Eliciting accessibility requirements an approach based on the NFR framework.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Usability of requirements techniques: a systematic literature review.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

What is the Impact of Bad Layout in the Understandability of Social Goal Models?
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Welcome to the Sixth International Workshop on Model-Driven Requirements Engineering (MoDRE).
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Towards Security Modeling of e-Voting Systems.
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Modeling the Impact of UAVs in Sustainability.
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Designing Adaptive Deception Strategies.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Comparing Value-Driven Methods: an Experiment Design.
Proceedings of the Second International Workshop on Human Factors in Modeling co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

Goal-Driven Deception Tactics Design.
Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

Incremental Modular Testing for AOP.
Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 2: ICSOFT-PT, Lisbon, Portugal, July 24, 2016

An Incremental Approach to Testing AOP.
Proceedings of the Software Technologies, 11th International Joint Conference, 2016

Modeling for sustainability.
Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016

Exploring Views for Goal-Oriented Requirements Comprehension.
Proceedings of the Conceptual Modeling - 35th International Conference, 2016

Business Process Families: A Case Study in the Brazilian Public Sector.
Proceedings of the CAiSE 2016 Industry Track co-located with 28th International Conference on Advanced Information Systems Engineering (CAiSE 2016), 2016

2015
Handling non-functional requirements in Model-Driven Development: An ongoing industrial survey.
Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

Supporting Multiple Persistence Models for PaaS Applications using MDE - Issues on Cloud Portability.
Proceedings of the CLOSER 2015, 2015

Using Model-Driven Development to Support Portable PaaS Applications.
Proceedings of the Cloud Computing and Services Science - 5th International Conference, 2015

2014
Evaluating scenario-based SPL requirements approaches: the case for modularity, stability and expressiveness.
Requir. Eng., 2014

Consistency Checking in Early Software Product Line Specifications - The VCC Approach.
J. Univers. Comput. Sci., 2014

Web-GIS models: accomplishing modularity with aspects.
Innov. Syst. Softw. Eng., 2014

A cover-based approach for configuration repair.
Proceedings of the 18th International Software Product Line Conference, 2014

Flexible Modeling and Product Derivation in Software Product Lines.
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

Experimental Evaluation of Conceptual Modelling through Mind Maps and Model Driven Engineering.
Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014

2013
An Aspect-Oriented Approach for Spatial Concerns in Web Applications.
J. Univers. Comput. Sci., 2013

Configuration support for feature models with soft constraints.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Advanced modularity for building SPL feature models: a model-driven approach.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

RE 2013 doctoral symposium.
Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013

Transforming creative requirements into conceptual models.
Proceedings of the IEEE 7th International Conference on Research Challenges in Information Science, 2013

Conflict Identification with EA-Analyzer.
Proceedings of the Aspect-Oriented Requirements Engineering, 2013

Mapping Aspects from Requirements to Architecture.
Proceedings of the Aspect-Oriented Requirements Engineering, 2013

Using Aspects to Model Volatile Concerns.
Proceedings of the Aspect-Oriented Requirements Engineering, 2013

Aspect Composition in Problem Frames.
Proceedings of the Aspect-Oriented Requirements Engineering, 2013

Handling Conflicts in Aspect-Oriented Requirements Engineering.
Proceedings of the Aspect-Oriented Requirements Engineering, 2013

2012
AoURN-based modeling and analysis of software product lines.
Softw. Qual. J., 2012

An empirical study of aspect-oriented metrics.
Sci. Comput. Program., 2012

Reuse of spatial concerns based on aspectual requirements analysis patterns.
Proceedings of the Sixth International Conference on Research Challenges in Information Science, 2012

2011
Hybrid assessment method for software engineering decisions.
Decis. Support Syst., 2011

Aspect-oriented analysis for software product lines requirements engineering.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Streamlining scenario modeling with Model-Driven Development: A case study.
Proceedings of the First Model-Driven Requirements Engineering Workshop, 2011


Supporting Consistency Checking between Features and Software Product Line Use Scenarios.
Proceedings of the Top Productivity through Software Reuse, 2011

De Arquitecturas Organizacionais em i* a Arquitecturas Baseadas em Agentes: Uma Abordagem Orientada a Modelos.
Proceedings of the 14th Iberoamerican Conference on Software Engineering, 2011

Model-Driven Requirements Specification for Software Product Lines.
Proceedings of the Model-Driven Domain Analysis and Software Development, 2011

2010
Requirements Modeling with the Aspect-oriented User Requirements Notation (AoURN): A Case Study.
LNCS Trans. Aspect Oriented Softw. Dev., 2010

Relating Feature Models to Other Models of a Software Product Line - A Comparative Study of FeatureMapper and VML*.
LNCS Trans. Aspect Oriented Softw. Dev., 2010

A model-driven traceability framework for software product lines.
Softw. Syst. Model., 2010

Model-driven development for early aspects.
Inf. Softw. Technol., 2010

Aspect-Oriented Specification: a Case Study in Space Domain.
Int. J. Softw. Eng. Knowl. Eng., 2010

Benchmarking Stability of Aspect-Oriented Product-Line Decompositions.
Proceedings of the Software Product Lines - 14th International Conference, 2010

Towards modular i* models.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Increasing Quality in Scenario Modelling with Model-Driven Development.
Proceedings of the Quality of Information and Communications Technology, 2010

Improving the Quality of Web-GIS Modularity Using Aspects.
Proceedings of the Quality of Information and Communications Technology, 2010

Quality in Requirements Engineering.
Proceedings of the Quality of Information and Communications Technology, 2010

Trazabilidad en el Contexto de Nuevos Paradigmas de Desarrollo de Software.
Proceedings of the 13th Iberoamerican Conference on Software Engineering, 2010

A Metamodel for Aspect-Oriented Analysis Approach.
Proceedings of the 13th Iberoamerican Conference on Software Engineering, 2010

Aspect-Oriented Requirements Analysis Modelling with Scenarios.
Proceedings of the 13th Iberoamerican Conference on Software Engineering, 2010

2009
MATA: A Unified Approach for Composing UML Aspect Models Based on Graph Transformation.
LNCS Trans. Aspect Oriented Softw. Dev., 2009

Advanced separation of concerns in agent-oriented design patterns.
Int. J. Agent Oriented Softw. Eng., 2009

Detecting architecture instabilities with concern traces: An exploratory study.
Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, 2009

VML* - A Family of Languages for Variability Management in Software Product Lines.
Proceedings of the Software Language Engineering, Second International Conference, 2009

Multi-view Composition Language for Software Product Line Requirements.
Proceedings of the Software Language Engineering, Second International Conference, 2009

Quality Improvement for Use Case Model.
Proceedings of the XXIII Brazilian Symposium on Software Engineering, 2009

Representing refactoring opportunities.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

A model-based representation of configuration knowledge.
Proceedings of the First International Workshop on Feature-Oriented Software Development, 2009

Detecting feature interactions in SPL requirements analysis models.
Proceedings of the First International Workshop on Feature-Oriented Software Development, 2009

Adapting Software by Identifying Volatile and Aspectual Requirements.
Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

Managing Features and Aspect Interactions in Software Product Lines.
Proceedings of the Fourth International Conference on Software Engineering Advances, 2009

Support for aspectual modeling to Multiagent system architecture.
Proceedings of the 2009 ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design, 2009

Modelling Location-aware Behaviour in Web-GIS using Aspects.
Proceedings of the ICEIS 2009, 2009

The Need for Early Aspects.
Proceedings of the Generative and Transformational Techniques in Software Engineering III, 2009

2008
Towards aspectual problem frames: an example.
Expert Syst. J. Knowl. Eng., 2008

Tracing from Features to Use Cases: A Model-Driven Approach.
Proceedings of the Second International Workshop on Variability Modelling of Software-Intensive Systems, 2008

Early Aspects: Aspect-Oriented Requirements and Architecture for Product Lines (EA@SPLC.08).
Proceedings of the Software Product Lines, 12th International Conference, 2008

Traceability Models to Control an Aspectual Model-driven Development.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Tailoring an Aspectual Goal-oriented Approach to Model Features.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

A Model-driven Approach for Software Product Lines Requirements Engineering.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

AIRDoc - An Approach to Improve Requirements Documents.
Proceedings of the 22nd Brazilian Symposium on Software Engineering, 2008

Generating Requirements Analysis Models from Textual Requirements.
Proceedings of the First International Workshop on Managing Requirements Knowledge, 2008

Aspects Composition in Problem Frames.
Proceedings of the 16th IEEE International Requirements Engineering Conference, 2008

Early aspects at ICSE 2008: workshop on aspect-oriented requirements engineering and architecture design.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Multi-dimensional composition by objective in aspect-oriented requirements analysis.
Proceedings of the 13th international workshop on Early Aspects, 2008

Modeling in software engineering.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Ranking Refactoring Patterns Using the Analytical Hierarchy Process.
Proceedings of the ICEIS 2008, 2008

A Metadata-Driven Approach for Aspect-Oriented Requirements Analysis.
Proceedings of the ICEIS 2008, 2008

Searching for Opportunities of Refactoring Sequences: Reducing the Search Space.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

A Modeling Language for Advanced Separation of Concerns in Multi-Agent Systems.
Proceedings of the Memorias de la XI Conferencia Iberoamericana de Software Engineering (CIbSE 2008), 2008

Early Aspects Refactoring.
Proceedings of the Memorias de la XI Conferencia Iberoamericana de Software Engineering (CIbSE 2008), 2008

An Hybrid Design Solution For Spacecraft Simulators.
Proceedings of the Forum at the CAiSE'08 Conference, Montpellier, France, June 18-20, 2008, 2008

Modeling software product lines with AoURN.
Proceedings of the 2008 AOSD workshop on Early aspects, 2008

Contracts for aspect-oriented design.
Proceedings of the SPLAT@AOSD 2008: Proceedings of the 2008 AOSD workshop on Software engineering properties of languages and aspect technologies, Brussels, Belgium, 31 March, 2008

2007
Handling Conflicts in Aspectual Requirements Compositions.
LNCS Trans. Aspect Oriented Softw. Dev., 2007

Guest Editorial to the Special Issue on UML 2004.
Softw. Syst. Model., 2007

i* with Aspects: Evaluating Understandability.
Proceedings of the Anais do WER07, 2007

Avoiding Bad Smells in Aspect-Oriented Software.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

Improving the Quality of Requirements with Refactoring.
Proceedings of the 6th Brazilian Symposium on Software Quality, 2007

Discovering Volatile and Aspectual Requirements Using a Crosscutting Pattern.
Proceedings of the 15th IEEE International Requirements Engineering Conference, 2007

Dealing with the i*Models with Aspects.
Proceedings of the First International Conference on Research Challenges in Information Science, 2007

An Expressive Aspect Composition Language for UML State Diagrams.
Proceedings of the Model Driven Engineering Languages and Systems, 2007

An evolutionary model of requirements correctness with early aspects.
Proceedings of the 9th International Workshop on Principles of Software Evolution (IWPSE 2007), 2007

A Traceability Method for Crosscutting Concerns with Transformation Rules.
Proceedings of the Early Aspects at ICSE: Workshops in Aspect-Oriented Requirements Engineering and Architecture Design, 2007


Early Aspects at ICSE 2007: Workshop on Aspect-Oriented Requirements Engineering and Architecture Design.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Modeling in Software Engineering.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Aspect-Oriented Analysis Applied to the Space Domain.
Proceedings of the ICEIS 2007, 2007

Towards a Standardized Description and a Systematic Use of Social Patterns.
Proceedings of the Memorias de la X Conferencia Iberoamericana de Software Engineering (CIbSE 2007), 2007

Designing Social Patterns Using Advanced Separation of Concerns.
Proceedings of the Advanced Information Systems Engineering, 19th International Conference, 2007

2006
Discovering Early Aspects.
IEEE Softw., 2006

Using a Problem Domain Language to Specify Navigational Concerns in Web Applications.
Proceedings of the Anais do WER06, 2006

Improving Multi-Agent Architectural Design.
Proceedings of the Software Engineering for Multi-Agent Systems V, 2006

Improving the architectural design of multi-agent systems: the tropos case.
Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, 2006

Modeling Multi-Agent Systems using UML.
Proceedings of the 20th Brazilian Symposium on Software Engineering, 2006

Towards an Integrated Approach for Aspectual Requirements.
Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Using Aspects to Simplify iModels.
Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Domain Models Are NOT Aspect Free.
Proceedings of the Model Driven Engineering Languages and Systems, 2006

Modeling and Composing Navigational Concerns in Web Applications. Requirements and Design Issues.
Proceedings of the Fourth Latin American Web Congress (LA-Web 2006), 2006

Organizational Architectural Styles Specification.
Proceedings of the XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006), 2006

A Generic Core MOF Metamodel for AORE.
Proceedings of the XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006), 2006

Aspect-Oriented Software Development Beyond Programming.
Proceedings of the Reuse of Off-the-Shelf Components, 2006

Analyzing crosscutting in the problem frames approach.
Proceedings of the 2006 International Workshop on Advances and Applications of Problem Frames, 2006

An XML-Based Language for Specification and Composition of Aspectual Concerns.
Proceedings of the ICEIS 2006, 2006

A Systematic Analysis Patterns Specification.
Proceedings of the ICEIS 2006, 2006

Towards MDD Transformations from AO Requirements into AO Architecture.
Proceedings of the Software Architecture, Third European Workshop, 2006

Choosing the Right Time to Compose Aspectual Scenarios.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

Separation and Modularization of Crosscutting Social Patterns in Detailed Architectural Design.
Proceedings of the 18th Conference on Advanced Information Systems Engineering (CAiSE '06), 2006

Modeling Volatile Concerns as Aspects.
Proceedings of the Advanced Information Systems Engineering, 18th International Conference, 2006

Integration of Aspects with i* Models.
Proceedings of the Agent-Oriented Information Systems IV, 2006

2005
Multi-Dimensional Separation of Concerns in Requirements Engineering.
Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

Integrating UML Activity Diagrams with Temporal Logic Expressions.
Proceedings of the 10th International Workshop on Exploring Modeling Methods for Systems Analysis and Design, 2005

A Concern-Oriented Requirements Engineering Model.
Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005

2004
Special issue on Early aspects: aspect-oriented requirements engineering and architecture design.
IEE Proc. Softw., 2004

Handling unanticipated requirements change with aspects.
Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2004), 2004

2003
Fuzzy query interface for a business database.
Int. J. Hum. Comput. Stud., 2003

Workshops at the UML 2003 Conference.
Proceedings of the «UML» 2003, 2003

Advanced Separation of Concerns for Requirements Engineering.
Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003

An Aspectual Use-Case Driven Approach.
Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003

Aspect-Oriented Software Development: An Overview.
Proceedings of the ICEIS 2003, 2003

Evolving Requirements through Coordination Contracts.
Proceedings of the Advanced Information Systems Engineering, 15th International Conference, 2003

Modularisation and composition of aspectual requirements.
Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, 2003

2002
Crosscutting quality attributes for requirements engineering.
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Early Aspects: A Model for Aspect-Oriented Requirements Engineerin.
Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 2002

2001
A Process Model for Specifying System Behaviour with UML.
Proceedings of the 4th International Conference on the Quality of Information and Communications Technology, 2001

Handling Mutual Exclusion in UML Class Diagrams.
Proceedings of the ICEIS 2001, 2001

2000
Use of E-LOTOS in Adding Formality to UML.
J. Univers. Comput. Sci., 2000

Defining Precise Semantics for UML.
Proceedings of the Object-Oriented Technology, 2000

1999
Formal Specifications of User Requirements.
Autom. Softw. Eng., 1999

Generating Object-Z Specifications from Use Cases.
Proceedings of the 1st International Conference on Enterprise Information Systems, 1999

SDL in Rigorus Object-Oriented Analysis (Short Paper).
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

1998
Formalizing UML. Why? How?
Proceedings of the Addendum to the 1998 Proceedings of the Conference on Object-Oriented Programming, 1998

Teaching Objects: The Case for Modelling.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1996
Adding rigour to object-oriented analysis.
Softw. Eng. J., 1996

1994
Rigorous object-oriented analysis.
PhD thesis, 1994

Rigorous Object-Oriented Analysis.
Proceedings of the Object-Oriented Methodologies and Systems, 1994

Combining Object-Oriented Analysis and Formal Description Techniques.
Proceedings of the Object-Oriented Programming, Proceedings of the 8th European Conference, 1994

1993
Os Métodos Formais na Análise de Orientação por Objectos.
Proceedings of the 7th Brazilian Symposium on Software Engineering, 1993


  Loading...