Automatic Verification of Requirement Models for Their Interoperability in Model-Driven Development Processes

[1]  Eric Yu,et al.  Modeling Strategic Relationships for Process Reengineering , 1995, Social Modeling for Requirements Engineering.

[2]  Silvia Mara Abrahão,et al.  A systematic review of the use of requirements engineering techniques in model-driven development , 2010, MODELS'10.

[3]  Eric Yu,et al.  Evaluating goal models within the goal-oriented requirement language , 2010 .

[4]  Xavier Franch,et al.  Incorporating Modules into the i* Framework , 2010, CAiSE.

[5]  Oscar Pastor,et al.  Linking Goal-Oriented Requirements and Model-Driven Development , 2010, Intentional Perspectives on Information Systems Engineering.

[6]  Oscar Pastor,et al.  From i* Requirements Models to Conceptual Models of a Model Driven Development Process , 2009, PoEM.

[7]  Daniel Amyot,et al.  A Lightweight GRL Profile for i* Modeling , 2009, ER Workshops.

[8]  Oscar Pastor,et al.  Applying a Functional Size Measurement Procedure for Defect Detection in MDD Environments , 2009, EuroSPI.

[9]  Oscar Pastor,et al.  Using UML as a Domain-Specific Modeling Language: A Proposal for Automatic Generation of UML Profiles , 2009, CAiSE.

[10]  Xavier Franch,et al.  A Method for the Definition of Metrics over i* Models , 2009, CAiSE.

[11]  Axel van Lamsweerde,et al.  Requirements Engineering: From System Goals to UML Models to Software Specifications , 2009 .

[12]  Xavier Franch,et al.  Towards a Catalogue of Patterns for defining Metrics over i* Models , 2008, JISBD.

[13]  Oscar Pastor,et al.  Aligning Goal-Oriented Requirements Engineering and Model-Driven Development , 2009, ICEIS.

[14]  Cristina Cachero,et al.  A UML Profile for Modelling Measurable Requirements , 2008, ER Workshops.

[15]  Oscar Pastor,et al.  Improving Automatic UML2 Profile Generation for MDA Industrial Development , 2008, ER Workshops.

[16]  William C. Chu,et al.  A Requirement Tool to Support Model-Based Requirement Engineering , 2008, 2008 32nd Annual IEEE International Computer Software and Applications Conference.

[17]  Márcia Lucena,et al.  Towards a unified metamodel for i* , 2008, 2008 Second International Conference on Research Challenges in Information Science.

[18]  Alain Abran,et al.  A framework for the design and verification of software measurement methods , 2008, J. Syst. Softw..

[19]  Aniruddha S. Gokhale,et al.  Domain-Specific Modeling , 2008, Handbook of Dynamic System Modeling.

[20]  Oscar Pastor,et al.  Model-driven architecture in practice - a software production environment based on conceptual modeling , 2007 .

[21]  Peri L. Tarr,et al.  Model-driven development : The good , the bad , and the ugly & , 2006 .

[22]  Paolo Giorgini,et al.  Goal-oriented requirement analysis for data warehouse design , 2005, DOLAP '05.

[23]  Frédéric Jouault,et al.  Transforming Models with ATL , 2005, MoDELS.

[24]  Mario Piattini,et al.  A Survey of Metrics for UML Class Diagrams , 2005, J. Object Technol..

[25]  Claude Y. Laporte,et al.  The Evolution Path for Industrial Software Quality Evaluation Methods Applying ISO/IEC 9126:2001 Quality Model: Example of MITRE’s SQAE Method , 2005, Software Quality Journal.

[26]  Tong Yi,et al.  A comparison of metrics for UML class diagrams , 2004, SOEN.

[27]  Lidia Fuentes-Fernández,et al.  An Introduction to UML Profiles , 2004 .

[28]  Bran Selic,et al.  The Pragmatics of Model-Driven Development , 2003, IEEE Softw..

[29]  Axel van Lamsweerde,et al.  Deriving operational software specifications from system goals , 2002, SIGSOFT '02/FSE-10.

[30]  Steven Kelly,et al.  Domain-Specific Modelling for Cross-Platform Product Families , 2002, ER.

[31]  Stuart Kent,et al.  Model Driven Engineering , 2002, IFM.

[32]  Axel van Lamsweerde,et al.  Goal-Oriented Requirements Engineering: A Guided Tour , 2001, RE.

[33]  Daniel Gross,et al.  From Non-Functional Requirements to Design through Patterns , 2001, Requirements Engineering.

[34]  Claes Wohlin,et al.  Experimentation in software engineering: an introduction , 2000 .

[35]  Colette Rolland,et al.  Guiding Goal Modeling Using Scenarios , 1998, IEEE Trans. Software Eng..

[36]  Eric S. K. Yu,et al.  Towards modelling and reasoning support for early-phase requirements engineering , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[37]  H. D. Rombach,et al.  The Goal Question Metric Approach , 1994 .

[38]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[39]  Victor R. Basili,et al.  The TAME Project: Towards Improvement-Oriented Software Environments , 1988, IEEE Trans. Software Eng..