Buch, Englisch, 350 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 546 g
Reihe: Workshops in Computing
Proceedings of the Seventh Annual Z User Meeting, London 14¿15 December 1992
Buch, Englisch, 350 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 546 g
Reihe: Workshops in Computing
ISBN: 978-3-540-19818-5
Verlag: Springer
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
An International Survey of Industrial Applications of Formal Methods.- Language Issues and Reuse.- Putting Numbers into the Mathematical Toolkit.- Towards Libraries for Z.- Plain Guide to the Z Base Standard.- Reuse and Adaptation of Z Specifications.- Safety-Critical Systems and Timing.- Requirements for Defence Standard 00-55.- Formal Specification and Development of Control System Input/Output.- Preliminary Experience Using Z to Specify a Safety-Critical System.- Using Diagrams to Give a Formal Specification of Timing Constraints in Z.- Formal Methods in the Specification of Real-Time, Safety-Critical Control Systems.- Object-Oriented Systems.- Introducing Hyper-Z — A New Approach to Object Orientation in Z.- From Object-Z to C++: A Structural Mapping.- Deriving Tests for Objects Specified in Z.- Using Z in Communications Engineering.- Information Systems.- Using Formal Specification in the Acquisition of Information Systems: Educating Information Systems Professionals.- Practical Experiences of Z and SSADM.- Methods, Quality and Animation.- Support for Using Z.- Cleanroom and Z.- Animating Z Specifications in SQL*Forms3.0.- Appendices.- Select Z Bibliography.- Comp specification z and Z FORUM Frequently Asked Questions.- Author Index.