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.
Engineering dependable software systems / / edited by Manfred Broy, Doron Peled and Georg Kalus
| Engineering dependable software systems / / edited by Manfred Broy, Doron Peled and Georg Kalus |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, D. C. : , : IOS Press, , [2013] |
| Descrizione fisica | 1 online resource (376 p.) |
| Disciplina | 005.1/4 |
| Altri autori (Persone) |
BroyM. <1949->
KalusGeorg PeledDoron <1962-> |
| Collana | NATO science for peace and security series. Sub-series D, Information and communication security |
| Soggetto topico |
Computer software - Verification
Computer systems - Verification |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-61499-207-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
ENGINEERING DEPENDABLE SOFTWARE SYSTEMS; Preface; Contents; A Logical Approach to Systems Engineering Artifacts and Traceability: From Requirements to Functional and Architectural Views; Mastering System Analysis and Design through Abstraction and Refinement; Data Abstraction in VCC; Families of software systems: a model checking approach; A Tutorial on Runtime Verification; Model Checking Meets Probability: A Gentle Introduction; Risk-driven Engineering of Requirements for Dependable Systems; Model-Based Verication, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
Model-Driven Engineering and Model Transformation: for Fun and ProfitSymbolic Execution and Software Testing; Model Checking Basics; Subject Index; Author Index |
| Record Nr. | UNINA-9910453713003321 |
| Amsterdam ; ; Washington, D. C. : , : IOS Press, , [2013] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering dependable software systems / / edited by Manfred Broy, Doron Peled and Georg Kalus
| Engineering dependable software systems / / edited by Manfred Broy, Doron Peled and Georg Kalus |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, D. C. : , : IOS Press, , [2013] |
| Descrizione fisica | 1 online resource (376 p.) |
| Disciplina | 005.1/4 |
| Altri autori (Persone) |
BroyM. <1949->
KalusGeorg PeledDoron <1962-> |
| Collana | NATO science for peace and security series. Sub-series D, Information and communication security |
| Soggetto topico |
Computer software - Verification
Computer systems - Verification |
| ISBN | 1-61499-207-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
ENGINEERING DEPENDABLE SOFTWARE SYSTEMS; Preface; Contents; A Logical Approach to Systems Engineering Artifacts and Traceability: From Requirements to Functional and Architectural Views; Mastering System Analysis and Design through Abstraction and Refinement; Data Abstraction in VCC; Families of software systems: a model checking approach; A Tutorial on Runtime Verification; Model Checking Meets Probability: A Gentle Introduction; Risk-driven Engineering of Requirements for Dependable Systems; Model-Based Verication, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
Model-Driven Engineering and Model Transformation: for Fun and ProfitSymbolic Execution and Software Testing; Model Checking Basics; Subject Index; Author Index |
| Record Nr. | UNINA-9910790875303321 |
| Amsterdam ; ; Washington, D. C. : , : IOS Press, , [2013] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering dependable software systems / / edited by Manfred Broy, Doron Peled and Georg Kalus
| Engineering dependable software systems / / edited by Manfred Broy, Doron Peled and Georg Kalus |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, D. C. : , : IOS Press, , [2013] |
| Descrizione fisica | 1 online resource (376 p.) |
| Disciplina | 005.1/4 |
| Altri autori (Persone) |
BroyM. <1949->
KalusGeorg PeledDoron <1962-> |
| Collana | NATO science for peace and security series. Sub-series D, Information and communication security |
| Soggetto topico |
Computer software - Verification
Computer systems - Verification |
| ISBN | 1-61499-207-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
ENGINEERING DEPENDABLE SOFTWARE SYSTEMS; Preface; Contents; A Logical Approach to Systems Engineering Artifacts and Traceability: From Requirements to Functional and Architectural Views; Mastering System Analysis and Design through Abstraction and Refinement; Data Abstraction in VCC; Families of software systems: a model checking approach; A Tutorial on Runtime Verification; Model Checking Meets Probability: A Gentle Introduction; Risk-driven Engineering of Requirements for Dependable Systems; Model-Based Verication, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
Model-Driven Engineering and Model Transformation: for Fun and ProfitSymbolic Execution and Software Testing; Model Checking Basics; Subject Index; Author Index |
| Record Nr. | UNINA-9910827692703321 |
| Amsterdam ; ; Washington, D. C. : , : IOS Press, , [2013] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||