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

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

Inhaltsangabe

Updated proceedings of a workshop on the title subject held at York, England, January 1988. Explores the management of complex, large-scale industrial software systems through the use of a hierarchy of specifications, each progressively more detailed. Centers around the major problems of consistency, of proceeding from a high to a low level of specificity, and verification of the proper route. The 11 papers are research oriented, but should be understandable to most practitioners working with formal methods. Topics include interactive and shared systems, process refinement, data reification, program construction, and several case studies. Of interest to software researchers and those wishing to apply refinement techniques to an industrial situation. No index. Annotation copyright Book News, Inc. Portland, Or.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Architectural Press
Erscheinungsdatum
1989
Sprache
Englisch
ISBN 10 
0408039817
ISBN 13 
9780408039819
Einband
Gebundene Ausgabe
Anzahl der Seiten
217
Herausgeber
McDermid John A., Workshop On The Theory And Practice Of Refinement
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar