Publication 2002

article

Denis Roegel. Space geometry with MetaPost Dec 2002 TUGboat A02-R-434
Stephan Merz. On the Logic of TLA+ Oct 2003 Computers and Informatics 22 A03-R-060
Jean-Raymond Abrial, Dominique Cansell, Dominique Méry. A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol Apr 2003 Formal Aspects of Computing 14 215-227 A02-R-338

inproceedings

Olfa Mosbahi, Leila Jemni, Samir Ben Ahmed, Jacques Jaray. A Specification and Validation Technique Based on STATEMATE and FNLOG 4th International Conference on Formal Engineering Methods - ICFEM 2002, Shanghai, China Oct 2002 Chris George and Huaikou Miao 2495 Lecture Notes in Computer Science 216-220 Springer A02-R-527
Denis Roegel. METAOBJ\,: Very High-Level Objects in METAPOST 23rd Annual Meeting and Conference of the TEX Users Group - TUG 2002, Trivandrum, India Sep 2002 A02-R-433
Dominique Cansell, Dominique Méry. Integration of the proof process in the system development through refinement steps 5th Forum on Specification & Design Language - Workshop SFP in FDL'02 , Marseille, France Sep 2002 Eugenio Villar A02-R-391
Hervé Panetto, Jean-François Petin, Dominique Méry. Formalisation of enterprise modelling standards using UML and the B method 8th International Conference on Concurrent Enterprising - ICE 2002, Rome, Italie Jun 2002 93-101 A02-R-432
Dominique Cansell, Ganesh Gopalakrishnan, Mike Jones, Dominique Méry, Airy Weinzoepflen. Incremental Proof of the Producer/Consumer Property for the PCI Protocol 2nd International Conference of B and Z Users - ZB 2002, Grenoble, France Jan 2002 D. Bert, J.P. Bowen, M.C. Henson, K. Robinson 2272 Lectures Notes in Computer Science 22-41 Springer A02-R-284
Jean-Raymond Abrial, Dominique Cansell, Guy Laffitte. "Higher-Order" Mathematics in B 2nd International Conference of B and Z Users - ZB'2002, Grenoble, France Jan 2002 D. Bert, J.P. Bowen, M.C. Henson, K. Robinson 2272 Lecture Notes in Computer Science 370-393 Springer A02-R-329

techreport

Dominique Cansell, Dominique Méry. Développement de fonctions définies récursivement en B \,: Application du B événementiel Rapport de recherche Jan 2002 A02-R-347