Systems Engineering Vision 2020, 2007. ,
, Systems and software engineering -System life cycle processes, vol.2008, p.5, 2008.
, Survey of Model-Based Systems Engineering ( MBSE ) Methodologies 2 . Differentiating Methodologies from Processes , Methods , and Lifecycle Models, vol.25, pp.1-70, 2008.
System Engineering Book of Knowledge ,
Model Driven Engineering, Integr. Form. Methods, pp.286-298, 2002. ,
A light-weight annotation-based solution to design Domain Specific Graphical Modeling Languages, Proceedings of Modelling Foundations and Applications -9th European Conference, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00856982
EMF: Eclipse Modeling Framework, p.744, 2008. ,
TOPCASED Combining Formal Methods with ModelDriven Engineering, IEEE/ACM Int. Conf. Autom. Softw. Eng, 2006. ,
Model driven language engineering with Kermeta, Lecture Notes in Computer Science, vol.6491, pp.201-221, 2011. ,
Executable UML: A Foundation for Model-Driven Architecture, p.416, 2002. ,
A Design Pattern for Executable DSML, The 19th Asia-Pacific Software Engineering Conference (APSEC), pp.282-287, 2012. ,
URL : https://hal.archives-ouvertes.fr/inria-00540648
Systems Engineering Fundamentals, Def. Acquis, 2001. ,
Approche de métamodélisation pour la simulation et la vérification de modèle --Application à l'ingénierie des procédés, Phd -INPT, 2008. ,
ATL: a QVT-like transformation language, Companion to 21st ACM SIGPLA, pp.719-720, 2006. ,
MOF Core specification ,
OCL : Object Constraint Language, 2014. ,
EFFBDs Verification: Model checking in Systems Engineering, 2009. ,
Verification, validation, qualification and certification of enterprise models: Statements and opportunities, Comput. Ind, pp.711-721, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00353776
Systems Engineering Handbook: A Guide for System Life Cycle Processes and Activities, 2011. ,
, Systems Engineering Methods, 1967.
xFFBD: towards a formal yet functional modeling language for system designers, 22nd Annual INCOSE International Symposium, 2012. ,
A PropertyDriven Approach to Formal Verification of Process Models, Enterprise Information Systems, pp.286-300, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00369884
, Specification language GRAFCET for sequential function charts, IEC, vol.60848, 2000.
A roadmap for formal property verification, 2010. ,
UPSL-SE: A model verification framework for Systems Engineering, Comput. Ind, vol.64, issue.5, pp.581-597, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00804265