The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.
ZB 2003
and over one million other books are available for Amazon Kindle.
Learn more
| |||||||||||||||
Book Description
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
The pattern catalogue uses meaningful pattern names to guide users to appropriate patterns. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
existential hiding, event ordering properties, probabilistic invariant, outline pattern language, partitioning predicates, standard variant rule, unique number allocator, gluing invariant, demonic retraction, expression transformers, backward refinement, generalised substitution language, probability prog, downward simulation, strict lifting, abstract test cases, interleaving parallel composition, timed failures, new proof obligations, proof theoretic characterisation, timewise refinement, schema disjunction, framing schema, schema calculus, formalisation approaches Key Phrases - Capitalized Phrases (CAPs): (learn more)
Prentice Hall, Springer-Verlag Berlin Heidelberg, Out Queue, Susan Stepney, Cambridge University Press, Formal Aspects of Computing, Set Target, Fiona Polack, Insulin Advisor, Internal Target, Assigning Programs, David Cooper, Ian Toyn, Bertrand Meyer, Computer Society Press, Jean-Raymond Abrial, Queues Ctrl, Springer Verlag, United Kingdom, Current Ctrl, Jim Woodcock, Slide Rule, University of Essex, Acta Informatica, Adapt Promotion New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
The pattern catalogue uses meaningful pattern names to guide users to appropriate patterns. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
existential hiding, event ordering properties, probabilistic invariant, outline pattern language, partitioning predicates, standard variant rule, unique number allocator, gluing invariant, demonic retraction, expression transformers, backward refinement, generalised substitution language, probability prog, downward simulation, strict lifting, abstract test cases, interleaving parallel composition, timed failures, new proof obligations, proof theoretic characterisation, timewise refinement, schema disjunction, framing schema, schema calculus, formalisation approaches Key Phrases - Capitalized Phrases (CAPs): (learn more)
Prentice Hall, Springer-Verlag Berlin Heidelberg, Out Queue, Susan Stepney, Cambridge University Press, Formal Aspects of Computing, Set Target, Fiona Polack, Insulin Advisor, Internal Target, Assigning Programs, David Cooper, Ian Toyn, Bertrand Meyer, Computer Society Press, Jean-Raymond Abrial, Queues Ctrl, Springer Verlag, United Kingdom, Current Ctrl, Jim Woodcock, Slide Rule, University of Essex, Acta Informatica, Adapt Promotion New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 58
books:
See all 58 books this book cites
- Computer Science by Richard Jones on 5 pages
- Programming from Specifications (Prentice Hall International Series in Computer Science) by Carroll Morgan on 4 pages
- Communicating Sequential Processes (Prentice Hall International Series in Computing Science) by C.A.R. Hoare on 4 pages
- The B-Book: Assigning Programs to Meanings by J. R. Abrial on 4 pages
- The Object-Z Specification Language (Advances in Formal Methods) by Graeme Smith on page 279, page 299, and page 358
See all 58 books this book cites
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science > Software Engineering > Methodology
- Books > Computers & Technology > Programming > Languages & Tools
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > UML
- Books > Computers & Technology > Software
- Books > Science & Math > Mathematics
