Systems, Models and Measures (Formal Approaches to Computing and Information Technology (FACIT)) - Softcover

Kaposi, Agnes; Myers, Margaret

 
9783540197539: Systems, Models and Measures (Formal Approaches to Computing and Information Technology (FACIT))
Softcover
ISBN 10: 3540197532 ISBN 13: 9783540197539
Publisher: Springer, 1993

Synopsis

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.

"synopsis" may belong to another edition of this title.

Synopsis

This volume seeks to bridge the gap between classical and 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.

"About this title" may belong to another edition of this title.

Publisher
Springer
Publication date
1993
Language
English
ISBN 10 
3540197532
ISBN 13 
9783540197539
Binding
Paperback
Edition number
1
Number of pages
350

Other Popular Editions of the Same Title

9781447119784: Systems, Models and Measures

Featured Edition

ISBN 10:  1447119789 ISBN 13:  9781447119784
Publisher: Springer, 2011
Softcover