The Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems - Couverture rigide

McDermid, John A

 
9780408039819: The Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems
Couverture rigide
ISBN 10 : 0408039817 ISBN 13 : 9780408039819
Editeur : Architectural Press, 1989

Synopsis

This work is based on the proceedings of a workshop on the Theory and Practice of Refinement held at the King's Manor in York on 7th and 8th January 1988. The workshop covered industrial applications of refinement, case studies of new techniques, and the underlying theory. Although much of the material has a research orientation it should be readily understood by most formal methods practitioners. Thus the material should be of value to those wishing to apply refinement techniques in industry, as well as to researchers wishing to gain an understanding of current work in the area.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Architectural Press
Date d'édition
1989
Langue
anglais
ISBN 10 
0408039817
ISBN 13 
9780408039819
Reliure
Relié
Nombre de pages
228
Coordonnées du fabricant
non disponible
Personne responsable
non disponible