Doctoral Thesis
previous document  unige:73318  next document
add to browser collection
Title

Stepwise Refinement of Formal Specifications Based on Logical Formulae: from COOPN/2 Specifications to Java Programs. Swiss Federal Institute of Technology, EPFL, Lausanne

Author
Director
Strohmeier, Alfred
Defense Thèse de doctorat : EPFL - 1999/03/12
Abstract One of the steps making it possible to increase the quality and the reliability of the software executing on distributed systems consists of the use of methods of software engineering that are known as formal. The majority of the formal methods currently existing correspond in fact more to formal specifications languages than to methods themselves. This is due to the fact that the two fundamental aspects which are: the logic of use of the language and the coverage of the software life cycle are not, for the majority, defined. The development by stepwise refinement is one of the means making it possible to define these two aspects. This thesis aims to the definition of the concepts of refinement and implementation of model-oriented formal specifications. It brings a methodological base making it possible to use such a specifications language during a development by stepwise refinements and during the implementation stage. This thesis defines...
Identifiers
Full text
Citation
(ISO format)
DI MARZO SERUGENDO, Giovanna. Stepwise Refinement of Formal Specifications Based on Logical Formulae: from COOPN/2 Specifications to Java Programs. Swiss Federal Institute of Technology, EPFL, Lausanne. Thèse de doctorat : EPFL. 1999. https://archive-ouverte.unige.ch/unige:73318

248 hits

34 downloads

Update

Deposited on : 2015-06-23

Export document
Format :
Citation style :