Artículos relacionados a "Systems, Models and Measures" (Formal Approaches...

"Systems, Models and Measures" (Formal Approaches to Computing and Information Technology (FACIT)) - Tapa blanda

Kaposi, Agnes

 
9783540197539: "Systems, Models and Measures" (Formal Approaches to Computing and Information Technology (FACIT))
Tapa blanda
ISBN 10: 3540197532 ISBN 13: 9783540197539
Editorial: Springer, 2013

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2013
Idioma
Inglés
ISBN 10 
3540197532
ISBN 13 
9783540197539
Encuadernación
Tapa blanda
Número de edición
1
Número de páginas
356
Contacto del fabricante
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Alemania