Modeling in Event-B -System and Software Engineering, Fig. 15. Preview of the SysML/KAOS Domain Model Parser Tool, 2010. ,
Building traceable Event-B models from requirements, Sci. Comput. Program, vol.111, pp.318-338, 2015. ,
Derivation of Event-B Models from OWL Ontologies, MATEC Web Conf, vol.76, p.4008, 2016. ,
Compositionality: Ontology and mereology of domains, Essays in Honor of Willem-Paul de Roever, vol.5930, pp.22-59, 2010. ,
The landing gear system case study, ABZ, 2014. ,
, ClearSy: Atelier B: B System, 2014.
The Object-Z specification language, Softwaretechnik-Trends, vol.21, issue.1, 2001. ,
Z approach to semantic web, Formal Methods and Software Engineering -ICFEM, vol.2495, pp.156-167, 2002. ,
Une extension SysML pour l'ingénierie des exigences dirigée par les buts, 28e Congrès INFORSID, pp.277-292, 2010. ,
, Reference description of the DAML+ OIL ontology markup language, 2001.
Requirements Engineering -From System Goals to UML Models to Software Specifications, Jetbrains: Jetbrains mps, 2009. ,
On the use of domain and system knowledge modeling in goal-based Event-B specifications, ISoLA 2016, pp.325-339 ,
URL : https://hal.archives-ouvertes.fr/hal-01425977
A goal-based approach to guide the design of an abstract Event-B specification, ICECCS 2011, vol.16, pp.139-148, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01224640
A mapping from normative requirements to Event-B to facilitate verified data-centric business process management, CEE-SET LNCS, vol.7054, pp.136-149, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-01527384
In: Encyclopedia of Social Network Analysis and Mining, pp.2374-2378, 2014. ,