Opening book details…
Can I read Notations for Software Design (Formal Approaches to Computing and Information Technology (FACIT)) on EtoBox?
Notations for Software Design (Formal Approaches to Computing and Information Technology (FACIT)) by Loe M. G. Feijs, Hans B. M. Jonkers, Cornelis A. Middelburg (auth.) is a nonfiction available to read on EtoBox.
What is Notations for Software Design (Formal Approaches to Computing and Information Technology (FACIT)) about?
**Notations for Software Design** aims to explain formal specification and design to practitioners in software development, and to set out the ingredients of a sound software design process. It examines COLD-1, which is currently being implemented by Philips in many of its business centres. The fact that it is a wide-spectrum language which supports many styles of specification makes it an excellent basis for the volume. It also examines some widely-used informal techniques, such as Venn diagrams and Petri nets, thus creating a strong link between current and future practice. Rather than proposing new pictorial notations the authors place existing ones into a coherent framework, and explain practical ways of exploiting them in conjunction with COLD-1.
Who reads Notations for Software Design (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
- Loe M. G. Feijs, Hans B. M. Jonkers, Cornelis A. Middelburg (auth.)
- Publisher
- Springer-Verlag London
- Published
- 1994
- Language
- EN
- ISBN
- 9783540199021
- Category
- nonfiction
- Subjects
- Computer Science, Engineering, Mathematics
More by Loe M. G. Feijs, Hans B. M. Jonkers, Cornelis A. Middelburg (auth.)
Browse all works by Loe M. G. Feijs, Hans B. M. Jonkers, Cornelis A. Middelburg (auth.)
Similar books
- Constructing Correct Software (Formal Approaches to Computing and Information Technology (FACIT)) — D. John Cooke (2005)
- A Theory and Practice of Program Development (Formal Approaches to Computing and Information Technology (FACIT)) — Andrews, Derek J., (1997)
- 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)
- Formal Object-oriented Development (formal Approaches To Computing And Information Technology (facit)) — Kevin Lano BSc, MSc, PhD (auth.) (1995)
- Systems, Models and Measures (Formal Approaches to Computing and Information Technology (FACIT)) — Agnes Kaposi, Margaret Myers (auth.) (1994)
- 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)
