Opening book details…
Can I read Systems, Models and Measures (Formal Approaches to Computing and Information Technology (FACIT)) on EtoBox?
Systems, Models and Measures (Formal Approaches to Computing and Information Technology (FACIT)) by Agnes Kaposi, Margaret Myers (auth.) is a nonfiction available to read on EtoBox.
What is Systems, Models and Measures (Formal Approaches to Computing and Information Technology (FACIT)) about?
**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.
Who reads Systems, Models and Measures (Formal Approaches to Computing and Information Technology (FACIT))?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Agnes Kaposi, Margaret Myers (auth.)
- Publisher
- Springer-Verlag London
- Published
- 1994
- Language
- EN
- ISBN
- 9783540197539
- Category
- nonfiction
- Subjects
- Management, Engineering, Computer Science
More by Agnes Kaposi, Margaret Myers (auth.)
Browse all works by Agnes Kaposi, Margaret Myers (auth.)
Similar books
- A Theory and Practice of Program Development (Formal Approaches to Computing and Information Technology (FACIT)) — Derek Andrews BSc, MSc (auth.) (1997)
- Notations for Software Design (Formal Approaches to Computing and Information Technology (FACIT)) — Loe M. G. Feijs, Hans B. M. Jonkers, Cornelis A. Middelburg (auth.) (1994)
- Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT)) — Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (1999)
- Proof In Vdm: Case Studies (formal Approaches To Computing And Information Technology (facit)) — John Fitzgerald, Cliff Jones (auth.), J. C. Bicarregui BSc, MSc, PhD (1998)
- High-integrity System Specification And Design (formal Approaches To Computing And Information Technology (facit)) — Jonathan P. Bowen BA, MA, Michael G. Hinchey BSc, MSc, PhD (auth.) (1999)
- Program Development by Refinement: Case Studies Using the B Method (Formal Approaches to Computing and Information Technology (FACIT)) — Ken A. Robinson (auth.), Emil Sekerinski, Kaisa Sere (1999)
