Specification and development of interactive systems: focus on streams, interfaces and refinement
Auteur :
Broy, Manfred
Éditeur :
Broy, ManfredStolen, Ketil,
ISBN :
9780387950730
Date de publication :
27 avr. 2001
Dimensions :
23,4 x 15,6 x 2,2 cm
Poids :
747 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
USA
Presents a mathematical and logical approach to program and software development suitable for large, distributed systems. Emphasizing on modular system development, and systems engineering, this book explains how software systems can be developed in a systematic way based on mathematical and scientific principles and using well defined interfaces.