Cantitate/Preț
Produs

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

Autor Agnes Kaposi, Margaret Myers
en Limba Engleză Paperback – dec 1993
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.
Citește tot Restrânge

Din seria Formal Approaches to Computing and Information Technology (FACIT)

Preț: 39161 lei

Nou

Puncte Express: 587

Preț estimativ în valută:
7495 7804$ 6334£

Carte tipărită la comandă

Livrare economică 07-21 martie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540197539
ISBN-10: 3540197532
Pagini: 356
Ilustrații: XV, 335 p. 135 illus.
Dimensiuni: 155 x 235 x 19 mm
Greutate: 0.5 kg
Ediția:1st Edition.
Editura: SPRINGER LONDON
Colecția Springer
Seria Formal Approaches to Computing and Information Technology (FACIT)

Locul publicării:London, United Kingdom

Public țintă

Research

Cuprins

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.