Ebook: Systems, Models and Measures

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.

---

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.

---

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.
Content:
Front Matter....Pages i-xv
Front Matter....Pages xvii-xvii
Introduction....Pages 1-10
Systems and Models....Pages 11-46
Measures....Pages 47-96
Models of Specification and Design....Pages 97-140
Measures of Specification and Design....Pages 141-171
Constructing a Measurement Scheme....Pages 173-201
Front Matter....Pages 202-202
A Formal Specification Medium....Pages 203-224
Models and Measures of Structure....Pages 225-248
Models and Measures of Data....Pages 249-286
An Experiment in Measuring Specifications....Pages 287-311
Back Matter....Pages 312-335

---

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.
Content:
Front Matter....Pages i-xv
Front Matter....Pages xvii-xvii
Introduction....Pages 1-10
Systems and Models....Pages 11-46
Measures....Pages 47-96
Models of Specification and Design....Pages 97-140
Measures of Specification and Design....Pages 141-171
Constructing a Measurement Scheme....Pages 173-201
Front Matter....Pages 202-202
A Formal Specification Medium....Pages 203-224
Models and Measures of Structure....Pages 225-248
Models and Measures of Data....Pages 249-286
An Experiment in Measuring Specifications....Pages 287-311
Back Matter....Pages 312-335
....