Lecture Notes in Computer Science
© 2003
ZB 2003: Formal Specification and Development in Z and B
Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
Editors: Bert, D., Bowen, J.P., King, S., Waldén, M. (Eds.)
Free PreviewBuy this book
- Table of contents (31 chapters)
-
-
Alloy: A Logical Modelling Language
Pages 1-1
-
An Outline Pattern Language for Z: Five Illustrations and Two Tables
Pages 2-19
-
Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z
Pages 20-39
-
Reuse of Specification Patterns with the B Method
Pages 40-57
-
Composing Specifications Using Communication
Pages 58-78
-
Table of contents (31 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- ZB 2003: Formal Specification and Development in Z and B
- Book Subtitle
- Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
- Editors
-
- Didier Bert
- Jonathan P. Bowen
- Steve King
- Marina Waldén
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- 2651
- Copyright
- 2003
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-44880-8
- DOI
- 10.1007/3-540-44880-2
- Softcover ISBN
- 978-3-540-40253-4
- Series ISSN
- 0302-9743
- Edition Number
- 1
- Number of Pages
- XIV, 554
- Topics
