ZUM'97: The Z Formal Specification Notation [[electronic resource] ] : 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings / / edited by Jonathan P. Bowen, Michael G. Hinchey, David Till |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (X, 442 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer science—Mathematics Algorithms Computer programming Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Software Engineering Symbolic and Algebraic Manipulation Algorithm Analysis and Problem Complexity Programming Techniques |
ISBN | 3-540-68490-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Formal methods: A panacea or academic poppycock? -- An introduction to the event calculus -- Experiences with PiZA, an Animator for Z -- Automating test case generation from Z specifications with Isabelle -- The Z/EVES system -- Taking Z seriously -- A formal OO method inspired by Fusion and Object-Z -- W Reconstructed -- Using the rippling heuristic in set membership proofs -- A practical method for rigorously controllable hardware design -- Integrating VDM++ and real-time system design -- An approach to the design of distributed systems with B AMN -- Specifying reactive systems in B AMN -- An improved recipe for specifying reactive systems in Z -- A Z specification of the soft-link hypertext model -- Experience with Z developing a control program for a radiation therapy machine -- Preliminary evaluation of a formal approach to user interface specification -- Analyzing and refining an architectural style -- Weak refinement in Z -- Select Z bibliography -- Comp.specification.z and Z FORUM frequently asked questions. |
Record Nr. | UNINA-9910144925903321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
ZUM'97: The Z Formal Specification Notation [[electronic resource] ] : 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings / / edited by Jonathan P. Bowen, Michael G. Hinchey, David Till |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (X, 442 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer science—Mathematics Algorithms Computer programming Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Software Engineering Symbolic and Algebraic Manipulation Algorithm Analysis and Problem Complexity Programming Techniques |
ISBN | 3-540-68490-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Formal methods: A panacea or academic poppycock? -- An introduction to the event calculus -- Experiences with PiZA, an Animator for Z -- Automating test case generation from Z specifications with Isabelle -- The Z/EVES system -- Taking Z seriously -- A formal OO method inspired by Fusion and Object-Z -- W Reconstructed -- Using the rippling heuristic in set membership proofs -- A practical method for rigorously controllable hardware design -- Integrating VDM++ and real-time system design -- An approach to the design of distributed systems with B AMN -- Specifying reactive systems in B AMN -- An improved recipe for specifying reactive systems in Z -- A Z specification of the soft-link hypertext model -- Experience with Z developing a control program for a radiation therapy machine -- Preliminary evaluation of a formal approach to user interface specification -- Analyzing and refining an architectural style -- Weak refinement in Z -- Select Z bibliography -- Comp.specification.z and Z FORUM frequently asked questions. |
Record Nr. | UNISA-996465986603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|