Skip to Main content Skip to Navigation
Theses

Génération automatique de composants logiciels sûrs à partir de spécifications formelles B

Abstract : These works are related to the study of the code generation from B formal specifications. The main aspect that should be studied in the code generation is the modularity of the B language. We have expressed the B modularity with an Harper-Lillibridge-Leroy module system (an ML-like module system). This modelisation clarifies some aspects of the B modularity and gives us a representation of the B modules that are used during the phase of code generation. This new module system for the B language allows us to tackle a software production technique: the components based approach. This technique is often used conjointly with the design by contracts technique. Our code generation process allows to blend the design by contracts approach, the component based approach and the B method. We can take advantage of the three approaches to develop software.
Document type :
Theses
Complete list of metadata

https://hal-uphf.archives-ouvertes.fr/tel-03420740
Contributor : Marie Zoia Connect in order to contact the contributor
Submitted on : Tuesday, November 9, 2021 - 1:40:53 PM
Last modification on : Tuesday, November 23, 2021 - 9:44:22 AM

File

2003VALE0039_PETIT_DORIAN.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-03420740, version 1

Citation

Dorian Petit. Génération automatique de composants logiciels sûrs à partir de spécifications formelles B. Informatique [cs]. Université de Valenciennes et du Hainaut-Cambrésis, 2003. Français. ⟨NNT : 2003VALE0039⟩. ⟨tel-03420740⟩

Share

Metrics

Record views

10

Files downloads

3