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.
Integrated Formal Methods [[electronic resource] ] : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings / / edited by Eerke Boiten, John Derrick, Graeme Smith
| Integrated Formal Methods [[electronic resource] ] : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings / / edited by Eerke Boiten, John Derrick, Graeme Smith |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 548 p.) |
| Disciplina | 005.1015113 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Computer logic Computer programming Software engineering Programming languages (Electronic computers) Theory of Computation Logics and Meanings of Programs Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters |
| ISBN |
1-280-30726-9
9786610307265 3-540-24756-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft -- Design Verification for Control Engineering -- Integrating Model Checking and Theorem Proving in a Reflective Functional Language -- Tutorial -- A Tutorial Introduction to Designs in Unifying Theories of Programming -- Contributed Papers -- An Integration of Program Analysis and Automated Theorem Proving -- Verifying Controlled Components -- Efficient CSP Z Data Abstraction -- State/Event-Based Software Model Checking -- Formalising Behaviour Trees with CSP -- Generating MSCs from an Integrated Formal Specification Language -- UML to B: Formal Verification of Object-Oriented Models -- Software Verification with Integrated Data Type Refinement for Integer Arithmetic -- Constituent Elements of a Correctness-Preserving UML Design Approach -- Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption -- Linking CSP-OZ with UML and Java: A Case Study -- Object-Oriented Modelling with High-Level Modular Petri Nets -- Specification and Verification of Synchronizing Concurrent Objects -- Understanding Object-Z Operations as Generalised Substitutions -- Embeddings of Hybrid Automata in Process Algebra -- An Optimal Approach to Hardware/Software Partitioning for Synchronous Model -- A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models -- Integrating Temporal Logics -- Integration of Specification Languages Using Viewpoints -- Integrating Formal Methods by Unifying Abstractions -- Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors -- Using UML Sequence Diagrams as the Basis for a Formal Test Description Language -- Viewpoint-Based Testing of Concurrent Components -- A Method for Compiling and Executing Expressive Assertions. |
| Record Nr. | UNISA-996465536103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Integrated Formal Methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings / / edited by Eerke Boiten, John Derrick, Graeme Smith
| Integrated Formal Methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings / / edited by Eerke Boiten, John Derrick, Graeme Smith |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 548 p.) |
| Disciplina | 005.1015113 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Computer logic Computer programming Software engineering Programming languages (Electronic computers) Theory of Computation Logics and Meanings of Programs Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters |
| ISBN |
1-280-30726-9
9786610307265 3-540-24756-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft -- Design Verification for Control Engineering -- Integrating Model Checking and Theorem Proving in a Reflective Functional Language -- Tutorial -- A Tutorial Introduction to Designs in Unifying Theories of Programming -- Contributed Papers -- An Integration of Program Analysis and Automated Theorem Proving -- Verifying Controlled Components -- Efficient CSP Z Data Abstraction -- State/Event-Based Software Model Checking -- Formalising Behaviour Trees with CSP -- Generating MSCs from an Integrated Formal Specification Language -- UML to B: Formal Verification of Object-Oriented Models -- Software Verification with Integrated Data Type Refinement for Integer Arithmetic -- Constituent Elements of a Correctness-Preserving UML Design Approach -- Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption -- Linking CSP-OZ with UML and Java: A Case Study -- Object-Oriented Modelling with High-Level Modular Petri Nets -- Specification and Verification of Synchronizing Concurrent Objects -- Understanding Object-Z Operations as Generalised Substitutions -- Embeddings of Hybrid Automata in Process Algebra -- An Optimal Approach to Hardware/Software Partitioning for Synchronous Model -- A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models -- Integrating Temporal Logics -- Integration of Specification Languages Using Viewpoints -- Integrating Formal Methods by Unifying Abstractions -- Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors -- Using UML Sequence Diagrams as the Basis for a Formal Test Description Language -- Viewpoint-Based Testing of Concurrent Components -- A Method for Compiling and Executing Expressive Assertions. |
| Record Nr. | UNINA-9910144204403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Refinement : Semantics, Languages and Applications / / by John Derrick, Eerke Boiten
| Refinement : Semantics, Languages and Applications / / by John Derrick, Eerke Boiten |
| Autore | Derrick John |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIX, 269 p. 39 illus.) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Computer logic Software Engineering Logics and Meanings of Programs |
| ISBN | 3-319-92711-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Semantics -- Labeled Transition Systems and their Refinement -- Automata - introducing simulations -- Simple State Based Refinement -- A Relational View of Refinement -- Perspicuity, Divergence, and Internal Operations -- Refinement in Specification Languages -- State-based Languages: Z and B -- State-based Languages: Event-B and ASM -- Relating Notions of Refinement -- Relational Concurrent Refinement -- Relating Data Refinement and Failures-divergences Refinement -- Process data types - a fully general model of concurrent refinement. |
| Record Nr. | UNINA-9910299349203321 |
Derrick John
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||