B. Nuseibeh and S. Easterbrook, Requirements Engineering: A Roadmap. in The Future of Software Engineering (joint event of ICSE'00). 2000. Limerick, Ireland. 2. The_Sandish_Group, Chaos Standish Group Internal Report, The Standish Group. 3. META_Group, Research on Requirements Realization and Relevance. 2003. 4. Easterbrook, S. and B. Nuseibeh, Using Viewpoints for inconsistency management. Software Engineering Journal, pp.31-43, 1995.

D. C. Schmidt, Guest Editor's Introduction: Model-Driven Engineering, Computer, vol.39, issue.2, pp.25-31, 2003.
DOI : 10.1109/MC.2006.58

D. Lugato, Automated Functionnal Test Case Synthesis from THALES industrial Requirements, RTAS'04, 2004.

C. Nebut, Automatic Test Generation: A Use Case Driven Approach Model Driven Requirements Engineering. 2006 [cited; Available from, IEEE Transactions on Software Engineering, p.11, 2006.

P. Muller, Model-Driven Analysis and Synthesis of Concrete Syntax. in MoDELS'06 12. Kermeta. The KerMeta Project Home Page Available from, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00795597

P. Muller, F. Fleurey, and J. Jézéquel, Weaving executability into object-oriented meta-languages. in MoDELS'05, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00795095

M. Ainsworth, Viewpoint Specification and Z. Information and Software Technology, pp.43-51, 1994.

P. Zave and M. Jackson, Conjunction as Composition. Transaction on Software Engineering and Methodology, pp.379-411, 1993.

H. W. Nissen, Managing multiple requirements perspectives with metamodels, IEEE Software, vol.13, issue.2, pp.37-48, 1996.
DOI : 10.1109/52.506461

S. Konrad and B. H. Cheng, Automated Analysis of Natural Language Properties for UML Models. in MoDeVa 05 workshop in conjunction with MoDELS'05, 2005.

. Corbett, Patterns in Property Specifications for Finite-State Verification, ICSE'99 (Int. Conf. Software Engineering), 1999.