Publications
Publications
|
|
Formal Modelling of Information System Evolution using B33RD INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS DEVELOPMENT (ISD2025 BELGRADE, SERBIA), Faculty of Organizational Sciences, University of Belgrade, Sep 2025, Belgrade (Serbia), Serbia |
|
|
A Description of Rules through Occurring/Synthetic CardinalitiesSeventh International Conference on Enity-Relationship Approach: A Bridge to the User, Nov 1988, Roma, Italy. pp.365-380, ⟨10.5555/647512.726834⟩ |
|
|
From Research to Teaching Formal Methods: The B Method - TFM-B'2009Journées Scientifiques de l'Université de Nantes, Université de Nantes, pp.134, 2009, 2-9512461-0-2 |
|
|
From Research to Teaching Formal Methods: The B Method (TFM-B'2008)The B Method: from Research to Teaching, Jun 2008, Nantes (France), France. Université de Nantes, pp.163, 2008, 978-2-9512461-2-9 |
From Research to Teaching Formal Methods: The B Method (TFM-B'2008)Université de Nantes, pp.147, 2008 |
20 - GlossarySoftware Specification Methods: an Overview Using a Case Study, ISTE, Hermes Science Publishing, pp.n.a., 2006 |
|
19 - A Comparison of the Specification MethodsSoftware Specification Methods: an Overview Using a Case Study, ISTE, Hermes Science Publishing, pp.n.a., 2006 |