ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings. 1st ed. 1995
- 種類:
- 電子ブック
- 責任表示:
- edited by Jonathan P. Bowen, Michael G. Hinchey
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
- 著者名:
- シリーズ名:
- Lecture Notes in Computer Science ; 967
- ISBN:
- 9783540447825 [3540447822]
- 注記:
- Language-free mathematical methods for software design extended abstract -- A formal approach to software design: The Clepsydra methodology -- Refining database systems -- Structuring a Z specification to provide a formal framework for autonomous agent systems -- On the use of formal specifications in the design and simulation of artificial neural networks -- Structuring specification in Z to build a unifying framework for hypertext systems -- Mechanizing formal methods: Opportunities and challenges -- An algebraic proof in VDM ? -- Testing as abstraction -- Improving software tests using Z Specifications -- Compilation of Z specifications into C for automatic test result evaluation -- Equal rights for schemas in Z -- Structuring Z specifications: Some choices -- Experiments with the Z interchange format and SGML -- The future of industrial formal methods -- Specifications and their use in defining subtypes -- How firing conditions help inheritance -- Extending W for Object-Z -- A formal semantics for a langu
This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used "formal method" both in industry and application, the volume is of high relevance for the whole formal methods community. - ローカル注記:
- 岐阜大学構成員専用E-BOOKS (Gifu University members only)
類似資料:
Springer Berlin Heidelberg : Imprint: Springer | |
Springer Berlin Heidelberg : Imprint: Springer | |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |