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.
Concise Guide to Software Verification : From Model Checking to Annotation Checking / / Marieke Huisman and Anton Wijs
| Concise Guide to Software Verification : From Model Checking to Annotation Checking / / Marieke Huisman and Anton Wijs |
| Autore | Huisman Marieke |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] |
| Descrizione fisica | 1 online resource (IX, 248 p. 146 illus., 127 illus. in color.) |
| Disciplina | 005.14 |
| Collana | Texts in Computer Science Series |
| Soggetto topico | Computer software - Verification |
| ISBN | 3-031-30167-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction -- 2. Background on First-Order Logic and Set Theory -- 3. System Modelling -- 4. Crash Course on Temporal Logic and its Verification -- 5. Software Analysis -- 6. Crash Course on Design by Contract Specifications -- 7. Run-time checking of Design by Contract Specifications -- 8. Static Checking of Design by Contract Specification -- 9. Abstract Specifications. |
| Record Nr. | UNINA-9910735783103321 |
Huisman Marieke
|
||
| Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Concise Guide to Software Verification : From Model Checking to Annotation Checking / / Marieke Huisman and Anton Wijs
| Concise Guide to Software Verification : From Model Checking to Annotation Checking / / Marieke Huisman and Anton Wijs |
| Autore | Huisman Marieke |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] |
| Descrizione fisica | 1 online resource (IX, 248 p. 146 illus., 127 illus. in color.) |
| Disciplina | 005.14 |
| Collana | Texts in Computer Science Series |
| Soggetto topico | Computer software - Verification |
| ISBN | 3-031-30167-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction -- 2. Background on First-Order Logic and Set Theory -- 3. System Modelling -- 4. Crash Course on Temporal Logic and its Verification -- 5. Software Analysis -- 6. Crash Course on Design by Contract Specifications -- 7. Run-time checking of Design by Contract Specifications -- 8. Static Checking of Design by Contract Specification -- 9. Abstract Specifications. |
| Record Nr. | UNISA-996547964503316 |
|
Huisman Marieke
|
||
| Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Techniques for Distributed Objects, Components, and Systems [[electronic resource] ] : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings / / edited by Marieke Huisman, António Ravara
| Formal Techniques for Distributed Objects, Components, and Systems [[electronic resource] ] : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings / / edited by Marieke Huisman, António Ravara |
| Autore | Huisman Marieke |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (233 pages) |
| Disciplina | 004.0151 |
| Altri autori (Persone) | RavaraAntónio |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Software Engineering |
| ISBN | 3-031-35355-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Concurrent programming -- Security -- Probabilities, time and other resources -- Model-based testing and petri nets. |
| Record Nr. | UNISA-996538666803316 |
|
Huisman Marieke
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings / / edited by Marieke Huisman, António Ravara
| Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings / / edited by Marieke Huisman, António Ravara |
| Autore | Huisman Marieke |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (233 pages) |
| Disciplina | 004.0151 |
| Altri autori (Persone) | RavaraAntónio |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Software Engineering |
| ISBN | 3-031-35355-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Concurrent programming -- Security -- Probabilities, time and other resources -- Model-based testing and petri nets. |
| Record Nr. | UNINA-9910731482203321 |
|
Huisman Marieke
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems
| Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems |
| Autore | Huisman Marieke |
| Pubbl/distr/stampa | [Place of publication not identified], : Association for Computing Machinery, 2009 |
| Descrizione fisica | 1 online resource (42 p.;) |
| Collana | ACM Conferences |
| Soggetto topico | Information Technology - Computer Science (Hardware & Networks) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | SAVCBS '09 |
| Record Nr. | UNINA-9910375809003321 |
|
Huisman Marieke
|
||
| [Place of publication not identified], : Association for Computing Machinery, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||