Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Zum'98 : the z formal specification notation : 11th international conference of z users, berlin, germany, september 24-26, 1998 : proceedings / / edited by Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey
| Zum'98 : the z formal specification notation : 11th international conference of z users, berlin, germany, september 24-26, 1998 : proceedings / / edited by Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [1998] |
| Descrizione fisica | 1 online resource (XVI, 424 p.) |
| Disciplina | 005.133 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Z (Computer program language) |
| ISBN | 3-540-49676-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Industrial Issues -- Industrial Requirements for the Efficient Development of Reliable Embedded Systems -- Concurrency -- How to Combine Z with a Process Algebra -- The Specification and Refinement of an Environmental Model -- Formal Derivation of Finite State Machines for Class Testing -- Tools -- Using B to Specify, Verify and Design Hardware Circuits -- Z on the Web Using Java -- Visualizing Z Notation in HTML Documents -- Z and HOL -- On the Semantic Relation of Z and HOL -- HOL-Z in the UniForM-Workbench – A Case Study in Tool Integration for Z -- Safety-Critical and Real-Time Systems -- Designing a Requirements Specification Language for Reactive Systems -- Analyzing a Real-Time Program with Z -- Semantic Theory -- Recursive Definitions in Z -- A Logic for the Schema Calculus -- Theory and Standards -- Combining Specification Techniques for Processes, Data and Time -- Innovations in the Notation of Standard Z -- Reasoning and Consistency Issues -- Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space -- Inconsistency and Undefinedness in Z – A Practical Guide -- Refinement -- Compositional Specification of Controllers for Batch Process Operations -- Testing Refinements by Refining Tests -- More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement -- Object Orientation -- Network Topology and a Case Study in TCOZ -- Object-Oriented Specification of Hybrid Systems Using UML h and ZimOO -- Translating the OMT Dynamic Model into Object-Z -- Appendices -- Select Z Bibliography -- Comp.specification.z and Z FORUM Frequently Asked Questions. |
| Record Nr. | UNISA-996466141203316 |
| Berlin, Germany : , : Springer, , [1998] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Zum'98 : the z formal specification notation : 11th international conference of z users, berlin, germany, september 24-26, 1998 : proceedings / / edited by Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey
| Zum'98 : the z formal specification notation : 11th international conference of z users, berlin, germany, september 24-26, 1998 : proceedings / / edited by Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [1998] |
| Descrizione fisica | 1 online resource (XVI, 424 p.) |
| Disciplina | 005.133 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Z (Computer program language) |
| ISBN | 3-540-49676-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Industrial Issues -- Industrial Requirements for the Efficient Development of Reliable Embedded Systems -- Concurrency -- How to Combine Z with a Process Algebra -- The Specification and Refinement of an Environmental Model -- Formal Derivation of Finite State Machines for Class Testing -- Tools -- Using B to Specify, Verify and Design Hardware Circuits -- Z on the Web Using Java -- Visualizing Z Notation in HTML Documents -- Z and HOL -- On the Semantic Relation of Z and HOL -- HOL-Z in the UniForM-Workbench – A Case Study in Tool Integration for Z -- Safety-Critical and Real-Time Systems -- Designing a Requirements Specification Language for Reactive Systems -- Analyzing a Real-Time Program with Z -- Semantic Theory -- Recursive Definitions in Z -- A Logic for the Schema Calculus -- Theory and Standards -- Combining Specification Techniques for Processes, Data and Time -- Innovations in the Notation of Standard Z -- Reasoning and Consistency Issues -- Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space -- Inconsistency and Undefinedness in Z – A Practical Guide -- Refinement -- Compositional Specification of Controllers for Batch Process Operations -- Testing Refinements by Refining Tests -- More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement -- Object Orientation -- Network Topology and a Case Study in TCOZ -- Object-Oriented Specification of Hybrid Systems Using UML h and ZimOO -- Translating the OMT Dynamic Model into Object-Z -- Appendices -- Select Z Bibliography -- Comp.specification.z and Z FORUM Frequently Asked Questions. |
| Record Nr. | UNINA-9910768472503321 |
| Berlin, Germany : , : Springer, , [1998] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||