Buch, Englisch, 408 Seiten, Paperback, Format (B × H): 170 mm x 242 mm, Gewicht: 709 g
Reihe: Workshops in Computing
Proceedings of the Sixth Annual Z User Meeting, York 16¿17 December 1991
Buch, Englisch, 408 Seiten, Paperback, Format (B × H): 170 mm x 242 mm, Gewicht: 709 g
Reihe: Workshops in Computing
ISBN: 978-3-540-19780-5
Verlag: Springer
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
Theoretical Foundations.- On Recursive Free Types in Z.- On Free Type Definitions in Z.- Z and Hoare Logics.- W: A Logic for Z.- Scope of Use.- The Use of Z.- Extending the Useful Application Domain for Formal Methods.- Domains of Application for Formal Methods.- Z—, an Executable Subset of Z.- Special Applications.- Engineering Human-Error Tolerant Software.- Techniques for Partial Specification and Specification of Switching Systems.- Tools.- Z and Eves.- zedB: A Proof Tool for Z Built on B.- Structured Methods and Object-Oriented Approaches.- A Method for the Specification of Relational Database Applications.- Structured Analysis’ A Draft Method for Writing Z Specifications.- Enhancing the Structure of Z Specifications.- ZOOM Workshop Report.- Bibliography etc.- Select Z Bibliography and Frequently Asked Questions.- Author Index.