Dorian Petit

Dorian Petit

Polytechnique Hauts-de-France (Université de Valenciennes) - Valenciennes / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 5770961
Polytechnic University of Hauts-de-France
person_outline Dorian Petit's MOST POPULAR ARTICLES
1-) A first attempt to combine SysML requirements diagrams and BR Laleau, F Semmak, A Matoussi, D Petit, A Hammad, B TatibouetInnovations in Systems and Software Engineering 6 (1), 47-54, 2010942010
2-) BRILLANT: An open source and XML-based platform for rigourous software developmentS Colin, D Petit, J Rocheteau, R Marcano, G Mariano, V PoirriezSoftware Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE …, 2005162005
3-) The B method and the component-based approachD Petit, V Poirriez, G MarianoJournal of Integrated Design & Process Science 8 (1), 65-76, 2004132004
4-) Génération automatique de composants logiciels sûrs à partir de spécifications formelles BD Petit132003
5-) Automatic Annotated Code Generation from B Formal SpecificationsD Petit, G Mariano, V Poirriez, JL BoulangerSymposium on Formal Methods for Railway Operation and Control Systems, 37-44, 200392003