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 metadatas

Cited literature [121 references]  Display  Hide  Download

https://hal.univ-lorraine.fr/tel-02141660
Contributor : Thèses Ul <>
Submitted on : Tuesday, May 28, 2019 - 9:41:52 AM
Last modification on : Wednesday, May 29, 2019 - 1:35:44 AM

Identifiers

  • HAL Id : tel-02141660, version 1

Citation

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⟩

Share

Metrics

Record views

98

Files downloads

37