, Les points de vue offrent une structure grossière pour classer les spécifications partielles suivant des critères de classification (Qualitative) Certains de ces critères jouent le rôle de liens de traçabilité amont (REDACTOR par exemple), Nous ajoutons à chaque point de vue un modèle de traçabilité capturant les liens de traçabilité aval générés durant la composition
, Génération automatique de test pour les transformations de modèles, Publications Conférences nationales 1, 2005.
, Metamodelbased test generation for model transformations: an algorithm and a tool, Proceedings of the 17 th International Symposium on Software Reliability Engineering (ISSRE'06), 2006.
, Producing a Global Requirement Model from Multiple Requirement Specifications, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007.
DOI : 10.1109/EDOC.2007.44
URL : https://hal.archives-ouvertes.fr/inria-00477569
, Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective, Proceedings of the 15 th International Working Conference on Requirements Engineering: Fondation for Software Quality (RefsQ'09), 2009.
DOI : 10.1007/978-3-642-02050-6_8
URL : https://hal.archives-ouvertes.fr/inria-00468522
, Guest Editor's Introduction: Model-Driven Engineering, Computer, vol.39, issue.2, pp.25-31, 2006.
DOI : 10.1109/MC.2006.58
, Model-driven Development of Complex Software: A Research Roadmap, Future of Software Engineering (FOSE '07), 2007.
DOI : 10.1109/FOSE.2007.14
URL : https://hal.archives-ouvertes.fr/inria-00511368
, Model Driven Engineering. in IFM'02 (Integrated Formal Methods) Turku, Finland. 4. Nuseibeh, B. and S. Easterbrook. Requirements Engineering: A Roadmap, The Future of Software Engineering, 2000.
, Requirements engineering in the year 00, Proceedings of the 22nd international conference on Software engineering , ICSE '00, 2000.
DOI : 10.1145/337180.337184
, Classification of research efforts in requirements engineering, ACM Computing Surveys, vol.29, issue.4, pp.315-321, 1997.
DOI : 10.1145/267580.267581
, Formal methods and testing, ACM SIGSOFT Software Engineering Notes, vol.21, issue.4, p.64, 1996.
DOI : 10.1145/232069.232086
, Patterns in property specifications for finitestate verification, International Conference on Software Engineering, 1999.
, On the need for practical formal methods Facilitating the Construction of Specification Pattern-based Properties. in RE'05 (Requirements Engineering) Lamsweerde, A.v. Formal Specification: a Roadmap, Proceedings of the conference on The future of Software Engineering. 2000. 12. Brooks, F.P., No Silver Bullet: Essence and Accidents of Sotfware Engineering. IEEE Computer, pp.10-19, 1987.
, Architecturing software using a methodology for language development Domain-specific languages: an annotated bibliography, Proceedings of the 10 thInternational Symposium on Programming Language Implementation and Logic Programming, pp.170-194, 2000.
, Overview of Generative Software Development 3566: p. 326. 16 Viewpoints: A Framework for Integrating Multiple Perspectives in System Development, LECTURE NOTES IN COMPUTER SCIENCE International Journal of Software Engineering and Knowledge Engineering, issue.21, pp.31-58, 1992.
, Agent-Oriented Modelling: Software versus the World, Agent-Oriented Software Engineering AOSE-2001 Workshop Proceedings, pp.206-225
DOI : 10.1007/3-540-70657-7_14
, On the criteria to be used in decomposing systems into modules, Communications of the ACM, vol.15, issue.12, pp.1053-1058, 1972.
DOI : 10.1145/361598.361623
, Problem frames: analyzing and structuring software development problems Design Patterns: Elements of ReusableObject- Oriented Software, 1994.
, Survey of Aspect-Oriented Analysis and Design Approaches AOSD- Europe-ULANC-9, AOSD-EUROPE network of excellence Component-based software engineering: putting the pieces together Software product lines Applying Design by Contract, IEEE Computer, vol.23, issue.10, pp.25-40, 1992.
, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems, vol.8, issue.2, pp.244-263, 1986.
DOI : 10.1145/5397.5399
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.92.9102
, Toward Reference Models for Requirements Traceability Requirements traceability in model-driven development: Applying model and transformation conformance, Information Systems Frontiers, vol.27, issue.94, pp.327-342, 2001.
, Survey of Traceability Approaches in Model-Driven Engineering Sommerville, I., Integrated Requirements Engineering: A Tutorial, Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference, pp.16-23, 2005.
, Rule-based generation of requirements traceability relations, Proceedings of the ICSE Workshop on Living with Inconsistency Inconsistency handling in multiperspective specifications. Software Engineering, IEEE Transactions on, pp.105-127, 1994.
DOI : 10.1016/S0164-1212(03)00242-5
, Consistency management with repair actions Analysing refactoring dependencies using graph transformation. Software and Systems Modeling A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification Making inconsistency respectable in software development, International Conference on Software Engineering. 2003. 36. Mens, 40. Sabetzadeh, M. and S. Easterbrook, An Algebraic Framework for Merging Incomplete and Inconsistent Views International Conference on Requirements Engineering. 2005. 41. Zave, P. and M. Jackson, Conjunction as Composition. Transaction on Software Engineering and Methodology, pp.31-43, 1993.
, A Framework for Multi-Notation Requirements Specification and Analysis Theme: An Approach for Aspect-Oriented Analysis and Design Multi-Dimensional Separation of Concerns in Requirements Engineering. in RE'05 (Requirements Engineering) Modularisation and composition of aspectual requirements, Viewpoint Specification and Z. Information and Software Technology IEEE International Conference on Software Engineering ICSE'04 (Int. Conference in Software Engineering) Proceedings of the 2nd international conference on Aspect-oriented software development, pp.43-51, 1994.
, Montego Bay, Jamaica. 48. The_Standish_Group, Chaos Standish Group Internal Report The Standish Group. 49 50. OMG. UML specifications Available from Property specification patterns for finite-state verification Real-time Specification Patterns PROPEL: an approach supporting property elucidation Automated Requirements-based Generation of Test Cases for Product Families Automatic Test Generation: A Use Case Driven Approach 56. Nebut, C., et al. A Requirement-based Approach to Test Product Families Structured Analysis for Requirements definition, Automated Analysis of Natural Language Properties for UML Models. in MoDeVa 05 workshop in conjunction with MoDELS'05 International Conference on Software Engineering Proceedings of the 24th International Conference on Software Engineering ASE'03 (Automated Software Engineering). 2003. 55. Nebut, PFE'03 (Product Families Engineering). 2003. Sienna, Italy. 57. Nebut, C., et al. Requirements by contracts allow automated system testing. in ISSRE'03 (Int. Symposium on Software Reliability Engineering, pp.6-15, 1977.
, A Spiral Model of Software Development and Enhancement Kotonya, G. and I. Sommerville, Requirements engineering with viewpoints Information Modeling in the Time of the Revolution, Computer Software Engineering Journal Mylopoulos, J. Information Systems, vol.21, issue.23, pp.61-723, 1988.
, A Combined Reference Model- and View-Based Approach to System Specification, International Journal of Software Engineering and Knowledge Engineering, vol.07, issue.04, pp.457-477, 1997.
DOI : 10.1142/S0218194097000266
, Viewpoints for requirements elicitation: a practical approach Sommerville, I. and P. Sawyer, Viewpoints: principles, problems and practical approach to requirements engineering, IEEE International Conference on Requirements Engineering, pp.101-130, 1997.
, Leaving InconsistencyLiving with Inconsistency". 1997. 67. Spanoudakis, G. and A. Zisman, Inconsistency management in software engineering: Survey and open research issues, Proceedings of the ICSE'97 workshop on, pp.24-29, 2001.
, Impact analysis in the software change process: a year 2000 perspective, Proceedings of International Conference on Software Maintenance ICSM-96, pp.42-51
DOI : 10.1109/ICSM.1996.564987
, An analysis of the requirements traceability problem, Proceedings of IEEE International Conference on Requirements Engineering, pp.94-101, 1994.
DOI : 10.1109/ICRE.1994.292398
, Automating Requirements Management Software Development): p. 1-5. 71. Vessey, I, Requirements Specification: Learning Object, Process, and Data Methodologies. Communications of the ACM, p.37, 1994.
, A Discipline of Programming. 1976. 73 STATEMATE: a working environment for the development of complexreactive systems, Software Engineering IEEE Transactions on, vol.16, issue.4, pp.403-414, 1990.
, Operation Composition in Model Transformations with Complex Source Patterns N degrees of separation: multi-dimensional separation of concerns Aspect-Oriented Programming, ECOOP'97 (European Conference for Object-Oriented Programming). 1997. 77. Tzilla, Discussing aspects of AOP. Communications of the ACM, pp.44-77, 1999.
, Providing Support for Model Composition in Metamodels, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007.
DOI : 10.1109/EDOC.2007.55
URL : https://hal.archives-ouvertes.fr/inria-00180463
, Early Aspects: A Model for Aspect-Oriented Requirements Engineering. in RE'02 (Requirements Engineering). 2002. Essen, Germany. 80 Early-AIM: An Approach for Identifying Aspects in Requirements From goals to aspects: discovering aspects from requirements goal models, Proc. RE, pp.38-47, 2004.
, Separation of Crosscutting Concerns from Requirements to Design: Adapting an Use Case Driven Approach, in Early Aspects Workshop: Aspect-Oriented Requirements Engineering and Architecture Design in conjunction with AOSD'04 Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation Hints on Test Data Selection : Help For The Practicing Programmer, IEEE Computer, vol.83, issue.114, pp.34-41, 1978.
, Domain Descriptions SDL: formal object-oriented language for communicating systems Automatic verification of finite-state concurrent systems using temporal logic specifications. in Transactions on Programming Languages and Systems The temporal logic of reactive and concurrent systems Cecil: a sequencing constraint language for automatic static analysis generation IF-2.0: A validation environment for component-based real-time systems Techniques for automatic verification of real-time systems Quantitative temporal reasoning. Real-Time Systems Knowledge Representation as the Basis for Requirements Specifications Capturing more knowledge in the requirements specification, Second IEEE International Symposium on Requirements Engineering Conference on Computer Aided Verification. 2002. 91 International Conference on Software Engineering. 1982. 95. J. Mylopoulos, A.B., M. Jarke and M. Koubarakis, Telos: Representing knowledge about information systems, and J.M. Zeippen, On the Use of a Formal RE Language. Proceedings ofthe Third IEEE International Symposium on Requirements Engineering, pp.331-352, 1985.
, Goal-directed requirements acquisition, Science of Computer Programming, vol.20, issue.1-2, pp.3-50, 1993.
DOI : 10.1016/0167-6423(93)90021-G
URL : http://doi.org/10.1016/0167-6423(93)90021-g
, Managing conflicts in goal-driven requirements engineering, IEEE Transactions on Software Engineering, vol.24, issue.11, p.24, 1998.
DOI : 10.1109/32.730542
, Integrating Obstacles in Goal-Driven Requirements Engineering Design Patterns: Elements of Reusable Object-Oriented Software. Professional Computing, IEEE COMPUTER SOCIETY, vol.100, 1995.
, A graphical interval logic for specifying concurrent systems, ACM Transactions on Software Engineering and Methodology, vol.3, issue.2, pp.131-165, 1994.
DOI : 10.1145/192218.192226
, Using integer programming to verify general safety and liveness properties. in Formal Methods in System Design Specifying real-time properties with metric temporal logic. Real-Time Systems, pp.255-299, 1990.
, A graphical environment for the design of concurrent real-time systems, Managing Conflicts in Goal-Driven Requirements Engineering. IEEE Transactions on Software Engineering, pp.31-79, 1997.
DOI : 10.1145/237432.237438
, An overview of uml consistency management 107. OMG. UML 2.0 Object Constraint Language (OCL) Final Adopted specification Available from: http://www.omg.org/cgi-bin/doc?, Kronos: A Model-Checking Tool for Real-Time Systems. LECTURE NOTES IN COMPUTER SCIENCE, pp.298-302, 1998.
, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, pp.495-499, 1999.
DOI : 10.1109/32.588521
, A platform for combining deductive with algorithmic verification, LECTURE NOTES IN COMPUTER SCIENCE, pp.184-195, 1996.
DOI : 10.1007/3-540-61474-5_68
, 40-44): p. 2. 113 Verification support for workflow design with UML activity graphs, Model Checking UML State Machines and Collaborations. in Workshop on Software Model Checking in connection with CAV '01 Mise en oeuvre d'unités de preuve pour la vérification formelle de modèles». Ingénierie Dirigée par les Modèles (IDM'07) McUmber, W.E. and B.H.C. Cheng. A General Framework for Formalizing UML with Formal Languages, p.116, 2000.
, Toolkit for Conceptual Modeling (TCM): User's Guide and Reference Formalizing and Integrating the Dynamic Model within OMT Core Meta-Modelling Semantics of UML: The pUML Approach Action Spécifique CNRS sur l'Ingénierie Dirigée par les Modèles The pragmatics of Model-Driven Development, MULTIGRAPH: An Architecture for Model-Integrated Computing. Proceedings of the IEEE ICECCS'95, pp.140-155, 1995.
, 125. OMG. Object Management Group Available from: http://www.omg.org;. 126. OMG. Model Driven Architecture Available from: http://www.omg.org/mda/. 127. Harel, D. and B. Rumpe, Modeling languages: Syntax, semantics and all that stuff-part I: The basic stuff. in the Belfer Institute of The Z notation: a reference manual Towards Modelling and Reasoning Support for Early-Phase Requirements Engineering Brottier, E., et al. Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool. in ISSRE'06, Software factories: assembling applications with patterns International Symposium on Requirements Engineering. 131. Charlet, J., B. Bachimont, and R. Troncy, Ontologies pour le web sémantique. Web sémantique : Action spécifique 32 CNRS/STIC, 2003. 132. OMG, Meta-Object Facility (MOF) Model driven architecture: Principles and practice. Software and Systems Modeling, pp.314-327, 1992.
, Making Inconsistency Respectable: Part 2-Meta-level handling of inconsistency Managing Multiple Requirements Perspectives with Metamodels, LECTURE NOTES IN COMPUTER SCIENCE IEEE Software, vol.135, issue.2, pp.129-129, 1993.
, Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff Helsen, Feature-based survey of model transformation approaches, Barriers to Systematic Model Transformation Testing. Communications of the ACM IBM Systems Journal, vol.137, issue.3, pp.45-621, 2000.
, Classification of Model Transformation Approaches Practical declarative model transformation with Tefkat 3844: p. 139. 141. Jouault, F. and I. Kurtev, Transforming models with ATL 3844: p. 128. 142. OMG. MOF 2.0 Q/V/T OMG Revised submission Available from: http://www.omg.org/cgi-bin/doc?ad/05-03-02. 143. France_Télécom. SmartQVT -A QVT Implementation Available from: http://smartqvt.elibel.tm.fr Merging models with the epsilon merging language (EML), Proceedings of the 2nd OOPSLA Workshop on Generative Techniques in the Context of the Model Driven Architecture 215. 145. Muller, P.A., F. Fleurey, and J.M. Jézéquel, Weaving executability into object-oriented metalanguages . Proceedings of MODELS/UML, pp.264-278, 2003.
, The UML as a formal modeling notation, Computer Standards & Interfaces, vol.19, issue.7, pp.325-334, 1997.
DOI : 10.1016/S0920-5489(98)00020-8
, Introduction to HOL, 1993.
DOI : 10.1109/hol.1991.596265
, A System of Specification Patterns A general framework for formalizing UML with formal languages Early-AIM: an approach for identifying aspects in requirements Automated Functionnal Test Case Synthesis from THALES industrial Requirements Available from Traon, Model-driven Engineering for Requirements Analysis, Eclipse modeling framework. 2003: Pearson Education. 155 EDOC (Entreprise Distributed Object Computing Conference). 2007: Annapolis. 156. Maiden, N.A.M., CREWS-SAVRE: Scenarios for Acquiring and Validating Requirements. Automated Software Engineering 157. Maiden, N.A.M., et al., CREWS-SAVRE: Systematic Scenario Generation and Use International Conference on Requirements Engineering. 1998. 158. OMG. Unified Modeling Language: Superstructure Version 2.0, pp.419-446, 1997.
, The meaning of requirements, Annals of Software Engineering, vol.3, pp.5-21, 1997.
DOI : 10.1023/A:1018990005598
, Model-Driven Analysis and Synthesis of Concrete Syntax. in MoDELS'06, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00795597
, Writing effective use cases, 2001.
, Research directions in requirements engineering. in FOSE '07 : Future of software engineering Code Generation from UML Models with Semantic Variation Points, et al. Génération automatique de test pour les transformations de modèles. in IDM'05 (Ingénierie Dirigée par les Modèles, p.54, 1997.
, Composition patterns: an approach to designing reusable, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001, 2001.
DOI : 10.1109/ICSE.2001.919076
, Towards a Standard Design Language for AOSD. in AOSD'02 (Aspect-Oriented Software Development) Enschede, The Netherlands. 169 Degrees of separation: Multi-Dimensional Separation of Concerns Enterprise Architecture: A Framework Supporting System Quality Analysis. in IEEE International Enterprise Distributed Object Computing Conference (EDOC). 2007. 172. Etien, A., L'ingénierie de l'alignement : Concepts, Modèles et Processus. La méthode ACEM pour la correction et l'évolution d'un système d'information aux processus d'entreprise, IEEE International Conference of Software Engineering Centre de recherche en informatique (CRI). 173. Zave, P., A Compositional Approach to Multiparadigm Programming. IEEE Software, 1989.
, Requirements Engineering: Processes and Techniques Software Engineering Economics Use Cases based Requirements Validation with Scenarios, Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE'05, pp.465-466, 1981.
, Coupling Use Cases and Class Models as a Means for Validation and Verification of Requirements Specifications Supporting use case based requirements engineering. Information and Software Technology CREWS-SAVRE: systematic scenario generation and use. 1998. 181. Some, S. An environment for use cases based requirements engineering On the state of the art in requirements-based validation and test of software, ): p. 17. 179. Somé, S.S. IEEE Recommended Practice for Software Requirements Specifications. IEEE Std, pp.43-58, 1993.
, A reference model for requirements and specifications, IEEE Software, vol.17, issue.3, pp.37-43, 2000.
, Deriving specifications from requirements, Proceedings of the 17th international conference on Software engineering , ICSE '95, pp.15-24, 1995.
DOI : 10.1145/225014.225016
, Composing Features by Managing Inconsistent Requirements, Ninth International Conference on Feature Interactions in Software and Communication Systems (ICFI). 2007. 188. OMG, XML Metadata Interchange (XMI) Specification. Version. 1.2: p. OMG document, pp.2-3
, An analysis of the requirements traceability problem, Proceedings of IEEE International Conference on Requirements Engineering, 1994.
DOI : 10.1109/ICRE.1994.292398