A Theory and Practice of Program Development (Formal Approaches to Computing and Information Technology (FACIT)) - Softcover

Andrews, Derek

 
9783540761624: A Theory and Practice of Program Development (Formal Approaches to Computing and Information Technology (FACIT))
Softcover
ISBN 10: 3540761624 ISBN 13: 9783540761624
Verlag: Springer-Verlag Berlin Heidelberg, 1997

Inhaltsangabe

A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies and transformations used are justified and explained ma thematically. The approach provides the formal semantics of a simple, but powerful, wide-spectrum programming language and gives a formal definition of both algorithmic and data refinement. Unlike other texts, it covers both the theory and practice of program development. Although based on VDM-SL, no knowledge of this language is assumed, thus making it widely accessible. A Theory and Practice of Program Development is intended for 3rd/4th year undergraduate and postgraduate students taking formal methods and software engineering; software developers involved in the production of provably correct computer systems and reusa ble design and the problems of reusable code.

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

Verlag
Springer-Verlag Berlin Heidelberg
Erscheinungsdatum
1997
Sprache
Englisch
ISBN 10 
3540761624
ISBN 13 
9783540761624
Einband
Taschenbuch
Auflage
1
Anzahl der Seiten
424
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland

Weitere beliebte Ausgaben desselben Titels

9781447109884: A Theory and Practice of Program Development

Vorgestellte Ausgabe

ISBN 10:  1447109880 ISBN 13:  9781447109884
Verlag: Springer, 2011
Softcover