This book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, UK in April 2005. The 25 revised full papers presented together with extended abstracts of 2 invited papers were carefully reviewed and selected for inclusion in the book. The papers document the recent advances for the Z formal specification notation and for the B method, ranging from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.
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 B-method, originally devised by J.-R. Abrial [1], is a theory and methodology for formal development of computer systems. Read the first page Key Phrases - Capitalized Phrases (CAPs): (learn more)
Lecture Notes, Status Word, Springer-Verlag Berlin Heidelberg, Cambridge University Press, Carroll Morgan, Formal Aspects of Computing, Prentice Hall, Springer Verlag, Globus Toolkit, Server Operation, Reference Manual, Computer Society Press, Initialize Transaction, University of York, Engaged Trans, Kluwer Academic Publishers, Thai Son Hoang, Conventional Keys, Discrete Outputs, Ken Robinson, Joakim von Wright, Unanalysed Constructs, Common Criteria, Complete Transaction, Eerke Boiten New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
The B-method, originally devised by J.-R. Abrial [1], is a theory and methodology for formal development of computer systems. Read the first page Key Phrases - Capitalized Phrases (CAPs): (learn more)
Lecture Notes, Status Word, Springer-Verlag Berlin Heidelberg, Cambridge University Press, Carroll Morgan, Formal Aspects of Computing, Prentice Hall, Springer Verlag, Globus Toolkit, Server Operation, Reference Manual, Computer Society Press, Initialize Transaction, University of York, Engaged Trans, Kluwer Academic Publishers, Thai Son Hoang, Conventional Keys, Discrete Outputs, Ken Robinson, Joakim von Wright, Unanalysed Constructs, Common Criteria, Complete Transaction, Eerke Boiten 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 55
books:
See all 55 books this book cites
- The Object-Z Specification Language (Advances in Formal Methods) by Graeme Smith on 5 pages
- Computer Science by Richard Jones on 4 pages
- The B-Book: Assigning Programs to Meanings by J. R. Abrial on 4 pages
- Programming from Specifications (Prentice Hall International Series in Computer Science) by Carroll Morgan in Front Matter, page 372, and page 413
- Computer Programming: Special English Series (Special English: Collier-Macmillan English programme) by Philip Robinson on page 170, page 372, and page 373
See all 55 books this book cites
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. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
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 > Hardware > Microprocessors & System Design
- 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 > Science & Math > Mathematics
