Noch Fragen? 0800 / 33 82 637

A Theory and Practice of Program Development

Produktform: Buch / Einband - flex.(Paperback)

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. 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.weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-540-76162-4 / 978-3540761624 / 9783540761624

Verlag: Springer Berlin

Erscheinungsdatum: 04.07.1997

Seiten: 405

Auflage: 1

Zielgruppe: Research

Autor(en): Derek J. Andrews

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück