Refinement in Z and Object-Z: Foundations and Advanced Applications - Image 1

£75.25

Springer Refinement in Z and Object-Z: Foundations and Advanced Applications

Name: Refinement in Z and Object-Z: Foundations and Advanced Applications
Brand: Springer
Price: 75.25 GBP
Availability: InStock

Introduction to Programming

It has never been this cheap. We have no record of a lower price.

£75 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 60 days • 60 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 60 days • 1 price levels

Days at Price

Price Analysis

Most common price: £75 (60 days, 100.0%)

Price range: £75 - £75

Price levels: 1 different prices over 60 days

Description

Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different application areas. It covers four main themes: Data refinement and its application to Z Generalisations of refinement that change the interface and atomicity of operations Refinement in Object-Z Modelling state and behaviour by combining Object-Z with CSP Refinement in Z and Object-Z: Foundations and Advanced Applications provides an invaluable overview of recent research for academic and industrial researchers, lecturers teaching formal specification and development, industrial practitioners using formal methods in their work, and postgraduate and advanced undergraduate students. This second edition is a comprehensive update to the first and includes the following new material: Early chapters have been extended to also include trace refinement, based directly on partial relations rather than through totalisation Provides an updated discussion on divergence, non-atomic refinements and approximate refinement Includes a discussion of the differing semantics of operations and outputs and how they affect the abstraction of models written using Object-Z and CSP Presents a fuller account of the relationship between relational refinement and various models of refinement in CSP Bibliographic notes at the end of each chapter have been extended with the most up to date citations and research

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 1447153545
Category: Books > Subjects > Computing & Internet > Programming > Introduction to Programming
Domain: Amazon UK
Release Date: 12 September 2013
Listed Since: 23 May 2013

Barcode

No barcode data available

Springer Refinement in Z and Object-Z: Foundations and Advanced Applications

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

From Action Systems to Distributed Systems: The Refinement Approach (Chapman & Hall/Crc Computational Science)

Raffinement et Refactoring de spécifications UML: Contribution à l'ingénierie des systèmes - Raffinement et Refactoring de spécifications UML (Omn.Univ.Europ.)

Springer Program Development by Refinement - B Method Book

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Springer - Formal Methods and Models for System Design Book

Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15–16 May 1992 (Workshops in Computing)

Software Engineering with OBJ: Algebraic Specification in Action: 2 (Advances in Formal Methods, 2)

Software Engineering with OBJ: Algebraic Specification in Action: 2 (Advances in Formal Methods, 2)

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Object-Oriented Analysis and Design with Applications (Addison-Wesley Object Technology Series)

Generative Analysis: The Power of Generative AI for Object-Oriented Software Engineering with UML

Springer - Logics of Specification Languages Monograph

Tool Support for System Specification, Development and Verification (Advances in Computing Sciences)

Feature-Oriented Software Product Lines: Concepts and Implementation

Modeling Companion for Software Practitioners

Enterprise, Business-Process and Information Systems Modeling: 20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, ... in Business Information Processing, 352)

A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory

Business Standard Compliance and Requirements Validation Using Goal Models (Services and Business Process Reengineering)

Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings: 11254 (Lecture Notes in Computer Science, 11254)

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday: 13360 (Lecture Notes in Computer Science, 13360)

Domain-Specific Languages: Effective Modeling, Automation, and Reuse

Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised ... (Lecture Notes in Computer Science, 10644)