Opening book details…
Can I read A Theory and Practice of Program Development (Formal Approaches to Computing and Information Technology (FACIT)) on EtoBox?
A Theory and Practice of Program Development (Formal Approaches to Computing and Information Technology (FACIT)) by Derek Andrews BSc, MSc (auth.) is a nonfiction available to read on EtoBox.
What is A Theory and Practice of Program Development (Formal Approaches to Computing and Information Technology (FACIT)) about?
**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.
Who reads A Theory and Practice of Program Development (Formal Approaches to Computing and Information Technology (FACIT))?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Derek Andrews BSc, MSc (auth.)
- Publisher
- Springer-Verlag London Limited
- Published
- 1997
- Language
- EN
- ISBN
- 9783540761624
- Category
- nonfiction
- Subjects
- Computer Science, Engineering, Mathematics
More by Derek Andrews BSc, MSc (auth.)
Browse all works by Derek Andrews BSc, MSc (auth.)
Similar books
- Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT)) — Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (1999)
- Systems, Models and Measures (Formal Approaches to Computing and Information Technology (FACIT)) — Agnes Kaposi, Margaret Myers (auth.) (1994)
- Formal Methods and Object Technology (Formal Approaches to Computing and Information Technology (FACIT)) — S. J. Goldsack BSc, PhD, FBCS, FIEE, CEng, S. J. H. Kent BSc, PhD (auth.), S. J. (1996)
- Notations for Software Design (Formal Approaches to Computing and Information Technology (FACIT)) — Loe M. G. Feijs, Hans B. M. Jonkers, Cornelis A. Middelburg (auth.) (1994)
- On The Refinement Calculus (formal Approaches To Computing And Information Technology (facit)) — Carroll Morgan (auth.), Carroll Morgan BSc, PhD, Trevor Vickers (1994)
- Proof In Vdm: Case Studies (formal Approaches To Computing And Information Technology (facit)) — John Fitzgerald, Cliff Jones (auth.), J. C. Bicarregui BSc, MSc, PhD (1998)
