Introduction to Bidirectional Transformations, Bidirectional Transformations, Lecture Notes in Computer Science, vol.9715, pp.1-28, 2018. ,
SysML-Sec: A SysML Environment for the Design and Development of Secure Embedded Systems, Proc. Conf. System Engineering, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-02288385
Orthographic Software Modeling: A Practical Approach to View-Based Development ,
, Proc. Int. Conf. Evaluation of Novel Approaches to Software Engineering, vol.69, pp.206-219, 2010.
Fundamental realization strategies for multi-view specification environments, Proc. Int. Enterprise Distributed Object Computing Conf, pp.40-49, 2015. ,
From Contract Drafting to Software Specification: Linguistic Sources of Ambiguity -a Handbook, Online, 2003. ,
Introduction to Graphics Communications for Engineers, Basic Engineering Series and Tools, 2008. ,
MDA components: Challenges and Opportunities, Proc. Work. Metamodelling for MDA, pp.23-41, 2003. ,
A feature-based survey of model view approaches, Proc. Int. Conf. Model Driven Engineering Languages and Systems, pp.211-211, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01590674
, C3B Interoperability Profiles Capability Team: NATO Interoperability Standards and Profiles. Allied Data Publication, vol.34, p.12, 2019.
Planar geometric projections and viewing transformations, ACM Comput. Surv, vol.10, issue.4, pp.465-502, 1978. ,
BPMN 2.0: The state of support and implementation, Future Generation Computer Systems, vol.80, pp.250-262, 2018. ,
Papyrus: A UML2 Tool for Domainspecific Language Modeling, Proc. Model-based Engineering of Embedded Real-time Systems, Lecture Notes in Computer Science (LNCS), vol.6100, pp.361-368, 2010. ,
On the quest for flexible modelling, 2018. ,
Successful Common Criteria Evaluations: A Practical Guide for Vendors, Createspace, 2010. ,
, ISO: Technical drawings -Projection methods -Part 2: Orthographic representations. Standard ISO 5456-2:1996(en), International Organization for Standardization, 1996.
Understanding Ambiguity in Requirements Engineering, Engineering and Managing Software Requirements, pp.245-266, 2005. ,
System level security modeling using attack trees, Proc. Conf. Computer, Control and Communication, pp.1-6, 2009. ,
Facet-oriented modelling: Open objects for model-driven engineering, Proc. Int. Conf. Software Language Engineering, pp.147-159, 2018. ,
Experience Report on the Development of a Specialized Multiview Multi-stakeholder Model-based Engineering Framework, Proc. Int. Work. Domain-Specific Modeling, pp.50-59, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02398053
,
Processaware model-driven development environments, Proc. Int. Conf. Model Driven Engineering Languages and Systems, 2017. ,
, Microsoft: The MVVM Pattern, 2012.
, International Organization for Standardization, OMG: Object Constraint Language (OCL). Standard ISO/IEC 19507:2012(E), 2012.
, Standard, Object Management Group (OMG, OMG: OMG Systems Modeling Language (OMG SysML TM ), 2012.
, Standard, Object Management Group (OMG, OMG: Business Process Model and Notation (BPMN), 2014.
, OMG: MDA Guide revision 2.0. OMG Document ormsc/2014-06-01, Object Management Group (OMG), 2014.
Attack trees, Dr Dobb's Journal, vol.24, issue.12, 1999. ,
A Journey through the Land of Model-View-Design Patterns, Proc. Conf. Software Architecture, pp.21-30, 2014. ,
,
, The Common Criteria Recognition Agreement Members: Common Criteria for Information Technology Security Evaluation, 2006.
, The Eclipse Foundation: Eclipse: The Platform for Open Innovation and Collaboration, 2019.
, The Eclipse Foundation: Papyrus: Modeling environment, 2019.
Art & design glossary: Third angle projection, 2018. ,
, Rennes Cedex Publisher Inria Domaine de Voluceau -Rocquencourt BP 105 -78153 Le Chesnay Cedex inria.fr ISSN