4
2
1
|
|
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
Communication dans un congrès
hal-05317325
v1
|
|
|
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⟩
Communication dans un congrès
hal-04941650
v1
|
|
|
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
Proceedings/Recueil des communications
hal-04914102
v1
|
|
|
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
Proceedings/Recueil des communications
hal-04975370
v1
|
From Research to Teaching Formal Methods: The B Method (TFM-B'2008)Université de Nantes, pp.147, 2008
Ouvrages
hal-00483735
v1
|
20 - GlossarySoftware Specification Methods: an Overview Using a Case Study, ISTE, Hermes Science Publishing, pp.n.a., 2006
Chapitre d'ouvrage
hal-00342085
v1
|
|
19 - A Comparison of the Specification MethodsSoftware Specification Methods: an Overview Using a Case Study, ISTE, Hermes Science Publishing, pp.n.a., 2006
Chapitre d'ouvrage
hal-00342080
v1
|