Z User Workshop, York 1991 by J E Nicholls
In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists. For example, consider the equation x = x + 1 defined over the real numbers; there is no value of x which satisfies it. Similarly it is possible to specify objects using the formal specification language Z [3,4], which can not possibly exist. Such specifications are called inconsistent and can arise in a number of ways. Example 1 The following Z specification of a functionf, from integers to integers "f x : ~ 1 x ~ O· fx = x + 1 (i) "f x : ~ 1 x ~ O· fx = x + 2 (ii) is inconsistent, because axiom (i) gives f 0 = 1, while axiom (ii) gives f 0 = 2. This contradicts the fact that f was declared as a function, that is, f must have a unique result when applied to an argument. Hence no suchfexists. Furthermore, iff 0 = 1 andfO = 2 then 1 = 2 can be deduced! From 1 = 2 anything can be deduced, thus showing the danger of an inconsistent specification. Note that all examples and proofs start with the word Example or Proof and end with the symbol.1.-
Database Programming Languages (DBPL-4)
-
Designing Correct Circuits
-
Object Orientation in Z
-
Building Interactive Systems
-
Logic Program Synthesis and Transformation
-
AI and Cognitive Science ’91
-
Specifications of Database Systems
-
Software Re-use, Utrecht 1989
-
Women into Computing
-
Z User Workshop, Cambridge 1994
-
7th UK Computer and Telecommunications Performance Engineering Workshop
-
Deontic Logic, Agency and Normative Systems
-
Active and Real-Time Database Systems (ARTDB-95)
-
Hypermedia Design
-
Advances in Databases and Information Systems
-
4th Refinement Workshop
-
AI and Cognitive Science ’90
-
Music Education: An Artificial Intelligence Approach
-
Code Generation — Concepts, Tools, Techniques
-
Modelling Database Dynamics
-
Semantics for Concurrency
-
Z User Workshop, Oxford 1990
-
Theory and Formal Methods 1993
-
5th Refinement Workshop
-
Z User Workshop, London 1992
-
Functional Programming, Glasgow 1990
-
Declarative Programming, Sasbachwalden 1991
-
Neural Computation and Psychology
-
Specification and Verification of Concurrent Systems
-
Formal Methods for Trustworthy Computer Systems (FM89)
-
First International Workshop on Larch
-
ALPUK91
-
Functional Programming, Glasgow 1994
-
Interfaces to Database Systems (IDS92)
-
Security and Persistence
-
Formal Aspects of Measurement
-
Z User Workshop
-
Formal Methods in Databases and Software Engineering
-
Functional Programming, Glasgow 1991
-
Persistent Object Systems
-
NAPAW 92
-
Incompleteness and Uncertainty in Information Systems
-
AI and Cognitive Science ’89
-
IV Higher Order Workshop, Banff 1990
-
AI and Cognitive Science ’92
-
Rules in Database Systems
| SKU | Unavailable |
| ISBN 13 | 9783540197805 |
| ISBN 10 | 354019780X |
| Title | Z User Workshop, York 1991 |
| Author | J E Nicholls |
| Series | Workshops In Computing |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 1992-08-06 |
| Number of pages | 408 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |