Systems, Models and Measures
Seiten
1993
|
1st Edition.
Springer Berlin (Verlag)
978-3-540-19753-9 (ISBN)
Springer Berlin (Verlag)
978-3-540-19753-9 (ISBN)
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 is for all those concerned with managerial and technical decision-making, system and software procurement and development, the creation and enforcement of standards, measurement, and the philosophy of science.
1.- 1 Introduction.- 2 Systems and Models.- 3 Measures.- 4 Models of Specification and Design.- 5 Measures of Specification and Design.- 6 Constructing a Measurement Scheme.- 2.- 7 A Formal Specification Medium.- 8 Models and Measures of Structure.- 9 Models and Measures of Data.- 10 An Experiment in Measuring Specifications.- Appendix: Prolog code and measures of the specifications.
Erscheint lt. Verlag | 1.12.1993 |
---|---|
Reihe/Serie | Formal Approaches to Computing and Information Technology (FACIT) |
Zusatzinfo | XV, 335 p. 135 illus. |
Verlagsort | London |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 600 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Betriebssysteme / Server |
Informatik ► Software Entwicklung ► User Interfaces (HCI) | |
Mathematik / Informatik ► Mathematik ► Finanz- / Wirtschaftsmathematik | |
Technik ► Elektrotechnik / Energietechnik | |
Wirtschaft ► Betriebswirtschaft / Management ► Unternehmensführung / Management | |
Schlagworte | Design • language • Logic • Model • Modeling • Modelling • Software • System • Technology |
ISBN-10 | 3-540-19753-2 / 3540197532 |
ISBN-13 | 978-3-540-19753-9 / 9783540197539 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Aus- und Weiterbildung zum UXQB® Certified Professional for Usability …
Buch | Hardcover (2023)
dpunkt (Verlag)
36,90 €
Aus- und Weiterbildung nach iSAQB-Standard zum Certified Professional …
Buch | Hardcover (2023)
dpunkt Verlag
34,90 €
Wissensverarbeitung - Neuronale Netze
Buch | Hardcover (2023)
Carl Hanser (Verlag)
34,99 €