On Requirements Specification Products and Processes

  • Luc Goffinet
  • Marc Lejoly

Student thesis: Master typesMaster en sciences informatiques

Résumé

A great deal of research is currently carried on to introduce formal methods further in the software development process. But the use of formal specifications also involves the creation of automated tools to help managing them. Such tools require formal models to capture the semantics of their tasks. One of these tools deals with the gradual building of formal specifications from informal requirements. This is the field addressed by our work. It studies the processes underlying the gradual building of formal specifications, and sketches a model for representing such processes. Thus it provides a theoretical background for the formalization of the specification method that guides the specification process of a system. This has been done in two stages. The former consists in the study of a few formal languages based on an analysis of their expressive and deductive power. It makes up the PRODUCT LEVEL of this work. The latter is composed of a study of the specification method, followed in the solving of some case studies in some formal languages, and of an attempt at the modelling of this method. This makes up the PROCESS LEVEL of this work.
la date de réponse1989
langue originaleAnglais
L'institution diplômante
  • Universite de Namur
SuperviseurA Van Lamsweerde (Promoteur)

Contient cette citation

'