Skip to Main content Skip to Navigation

Articulation entre activités formelles et activités semi-formelles dans le développement de logiciels

Imen Sayar 1 
1 DEDALE - Development of specifications
LORIA - FM - Department of Formal Methods
Abstract : The development of correct formal specifications for systems and software begins with the analysis and understanding of client requirements. Between these requirements described in natural language and their specification defined in a specific formal language, a gap exists and makes the task of development more and more difficult to accomplish. We are facing two different worlds. This thesis aims to clarify and establish interactions between these two worlds and to evolve them together. By interaction, we mean all the links, exchanges and activities taking place between the different documents. Among these activities, we present the validation as a rigorous process that starts from the requirements analysis and continues throughout the development of their formal specification. As development progresses, choices are made and feedbacks from verification and validation tools can detect shortcomings in requirements as well as in the specification. The evolution of the two worlds is described via the introduction of a new requirement into an existing system and through the application of development patterns. These patterns manage both the requirements and their associated formal specifications ; they are elaborated from the description of the form of the requirements in the client document. They facilitate the task of development and help to avoid the risk of oversights. Whatever the choice, the proposed approach is guided by questions accompanying the evolution of the whole system and makes it possible to detect imperfections, omissions or ambiguities in the existing.
Complete list of metadata

Cited literature [141 references]  Display  Hide  Download
Contributor : Thèses UL Connect in order to contact the contributor
Submitted on : Tuesday, May 28, 2019 - 9:41:52 AM
Last modification on : Wednesday, November 3, 2021 - 7:57:51 AM


  • HAL Id : tel-02141660, version 1


Imen Sayar. Articulation entre activités formelles et activités semi-formelles dans le développement de logiciels. Génie logiciel [cs.SE]. Université de Lorraine, 2019. Français. ⟨NNT : 2019LORR0030⟩. ⟨tel-02141660⟩



Record views


Files downloads