Verwandte Artikel zu Systems, Models and Measures: Formal Approaches to...

Systems, Models and Measures: Formal Approaches to Computing and Information Technology - Hardcover

 
9780387197531: Systems, Models and Measures: Formal Approaches to Computing and Information Technology
Hardcover
ISBN 10: 0387197532 ISBN 13: 9780387197531

Inhaltsangabe

Systems, Models and Measures seeks to bridge the gap between the 'classical' and the newer technologies by constructing a systematic measurement framework for both. The authors use their experience as consultants in systems, software and quality engineering to take the subject from concept and theory, via strategy and procedure, to tools and applications. The book clarifies the key notions of system, model, measurement, product, process, specification and design. Practical examples demonstrate the 'architecture' of measurement schemes, extending them to object-oriented and subjective measurement. A detailed case study provides a measurement strategy for formal specifications, including Prolog, Z and VDM. The reader will be able to formulate problems in measurable terms, appraise and compare formal specifications, assess and enhance existing measurement practices, and devise measurement schemes for describing objective characteristics and expressing value judgements.

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

Sprache
Englisch
ISBN 10 
0387197532
ISBN 13 
9780387197531
Einband
Gebundene Ausgabe
Kontakt zum Hersteller
Springer-Verlag GmbH
customerservice@springernature.com

Tiergartenstraße 17
Heidelberg
Baden-Württemberg
69121
Deutschland