Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Contributions aux approches formelles de développement de logiciels : Intégration de méthodes formelles et analyse multifacette

Abstract : We present a collection of works dedicated to formal method integration. After general investigation on formal method integration we consider the specific case of Petri nets and B method. A part of the work is devoted to the contribution to the B method. We deal with the composition of B abstract systems, and a method for the specification of multi-process systems with dynamic architecture. Works on multi-faceted analysis is then considered with the proposition of a multiparadigm specification algebra. The presentation of practical tools is then considered with the introduction of the Natif/ORYX and the Atacora frameworks. Natif/Oryx is devoted to the generation of generic specification/programming environments ; Atacora is devoted to the translation between specification languages.
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

Cited literature [163 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00481602
Contributor : Christian Attiogbe <>
Submitted on : Friday, May 7, 2010 - 12:06:08 AM
Last modification on : Thursday, February 7, 2019 - 3:46:06 PM
Long-term archiving on: : Thursday, September 16, 2010 - 1:08:07 PM

Identifiers

  • HAL Id : tel-00481602, version 1

Citation

Christian Attiogbé. Contributions aux approches formelles de développement de logiciels : Intégration de méthodes formelles et analyse multifacette. Génie logiciel [cs.SE]. Université de Nantes, 2007. ⟨tel-00481602⟩

Share

Metrics

Record views

371

Files downloads

2540