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.
Dependable software systems engineering / / edited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann
| Dependable software systems engineering / / edited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann |
| Pubbl/distr/stampa | Amsterdam, Netherlands : , : IOS Press, , 2017 |
| Descrizione fisica | 1 online resource (256 pages) |
| Disciplina | 005.1 |
| Collana | NATO Science for Peace and Security Series-D: Information and Communication Security |
| Soggetto topico |
Software engineering
Computer software - Reliability |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-61499-810-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910467095803321 |
| Amsterdam, Netherlands : , : IOS Press, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Dependable software systems engineering / / edited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann
| Dependable software systems engineering / / edited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann |
| Pubbl/distr/stampa | Amsterdam, Netherlands : , : IOS Press, , 2017 |
| Descrizione fisica | 1 online resource (256 pages) |
| Disciplina | 005.1 |
| Collana | NATO Science for Peace and Security Series-D: Information and Communication Security |
| Soggetto topico |
Software engineering
Computer software - Reliability |
| ISBN | 1-61499-810-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910796797803321 |
| Amsterdam, Netherlands : , : IOS Press, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Dependable software systems engineering / / edited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann
| Dependable software systems engineering / / edited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann |
| Pubbl/distr/stampa | Amsterdam, Netherlands : , : IOS Press, , 2017 |
| Descrizione fisica | 1 online resource (256 pages) |
| Disciplina | 005.1 |
| Collana | NATO Science for Peace and Security Series-D: Information and Communication Security |
| Soggetto topico |
Software engineering
Computer software - Reliability |
| ISBN | 1-61499-810-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910818306103321 |
| Amsterdam, Netherlands : , : IOS Press, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Dependable software systems engineering / / edited by Maximilian Irlbeck, Doron Peled and Alexander Pretschner
| Dependable software systems engineering / / edited by Maximilian Irlbeck, Doron Peled and Alexander Pretschner |
| Pubbl/distr/stampa | Amsterdam, Netherlands : , : IOS Press, , 2015 |
| Descrizione fisica | 1 online resource (320 p.) |
| Disciplina | 005.14 |
| Collana | NATO Science for Peace and Security Series - D: Information and Communication Security |
| Soggetto topico |
Computer software - Verification
Computer systems - Verification |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-61499-495-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""DEPENDABLE SOFTWARE SYSTEMS ENGINEERING""; ""Preface""; ""Contents""; ""Syntax-Guided Synthesis""; ""Deconstructing Dynamic Symbolic Execution""; ""From Actions, Transactions, and Processes to Services""; ""System Behaviours and Problem Frames: Concepts, Concerns and the Role of Formalisms in the Development of Cyber-physical Systems""; ""Generating Process Models in Multi-View Environments""; ""Safety and Dependability""; ""Evolving Software Ecosystems A Historical and Ecological Perspective""; ""Framing the Frame Problem""; ""From Verification to Synthesis""; ""Defect-Based Testing""
""Mechanised Theory Engineering in Isabelle""""A Theory of Networks: In the Beginning . . .""; ""Subject Index""; ""Author Index"" |
| Record Nr. | UNINA-9910460486403321 |
| Amsterdam, Netherlands : , : IOS Press, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Dependable software systems engineering / / edited by Maximilian Irlbeck, Doron Peled and Alexander Pretschner
| Dependable software systems engineering / / edited by Maximilian Irlbeck, Doron Peled and Alexander Pretschner |
| Pubbl/distr/stampa | Amsterdam, Netherlands : , : IOS Press, , 2015 |
| Descrizione fisica | 1 online resource (320 p.) |
| Disciplina | 005.14 |
| Collana | NATO Science for Peace and Security Series - D: Information and Communication Security |
| Soggetto topico |
Computer software - Verification
Computer systems - Verification |
| ISBN | 1-61499-495-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""DEPENDABLE SOFTWARE SYSTEMS ENGINEERING""; ""Preface""; ""Contents""; ""Syntax-Guided Synthesis""; ""Deconstructing Dynamic Symbolic Execution""; ""From Actions, Transactions, and Processes to Services""; ""System Behaviours and Problem Frames: Concepts, Concerns and the Role of Formalisms in the Development of Cyber-physical Systems""; ""Generating Process Models in Multi-View Environments""; ""Safety and Dependability""; ""Evolving Software Ecosystems A Historical and Ecological Perspective""; ""Framing the Frame Problem""; ""From Verification to Synthesis""; ""Defect-Based Testing""
""Mechanised Theory Engineering in Isabelle""""A Theory of Networks: In the Beginning . . .""; ""Subject Index""; ""Author Index"" |
| Record Nr. | UNINA-9910797482403321 |
| Amsterdam, Netherlands : , : IOS Press, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Dependable software systems engineering / / edited by Maximilian Irlbeck, Doron Peled and Alexander Pretschner
| Dependable software systems engineering / / edited by Maximilian Irlbeck, Doron Peled and Alexander Pretschner |
| Pubbl/distr/stampa | Amsterdam, Netherlands : , : IOS Press, , 2015 |
| Descrizione fisica | 1 online resource (320 p.) |
| Disciplina | 005.14 |
| Collana | NATO Science for Peace and Security Series - D: Information and Communication Security |
| Soggetto topico |
Computer software - Verification
Computer systems - Verification |
| ISBN | 1-61499-495-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""DEPENDABLE SOFTWARE SYSTEMS ENGINEERING""; ""Preface""; ""Contents""; ""Syntax-Guided Synthesis""; ""Deconstructing Dynamic Symbolic Execution""; ""From Actions, Transactions, and Processes to Services""; ""System Behaviours and Problem Frames: Concepts, Concerns and the Role of Formalisms in the Development of Cyber-physical Systems""; ""Generating Process Models in Multi-View Environments""; ""Safety and Dependability""; ""Evolving Software Ecosystems A Historical and Ecological Perspective""; ""Framing the Frame Problem""; ""From Verification to Synthesis""; ""Defect-Based Testing""
""Mechanised Theory Engineering in Isabelle""""A Theory of Networks: In the Beginning . . .""; ""Subject Index""; ""Author Index"" |
| Record Nr. | UNINA-9910826845203321 |
| Amsterdam, Netherlands : , : IOS Press, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering secure and dependable software systems / / edited by Alexander Pretschner, Peter Müller and Patrick Stöckle ; published in cooperation with NATO Emerging Security Challenges Division
| Engineering secure and dependable software systems / / edited by Alexander Pretschner, Peter Müller and Patrick Stöckle ; published in cooperation with NATO Emerging Security Challenges Division |
| Pubbl/distr/stampa | Amsterdam, Netherlands ; ; Berlin ; ; Washington, District of Columbia : , : IOS Press, , [2019] |
| Descrizione fisica | 1 online resource (278 pages) |
| Disciplina | 005.8 |
| Collana | NATO security through science series. D, Information and communication security |
| Soggetto topico | Computer security |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-61499-977-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910467714103321 |
| Amsterdam, Netherlands ; ; Berlin ; ; Washington, District of Columbia : , : IOS Press, , [2019] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering secure and dependable software systems / / edited by Alexander Pretschner, Peter Müller and Patrick Stöckle ; published in cooperation with NATO Emerging Security Challenges Division
| Engineering secure and dependable software systems / / edited by Alexander Pretschner, Peter Müller and Patrick Stöckle ; published in cooperation with NATO Emerging Security Challenges Division |
| Pubbl/distr/stampa | Amsterdam, Netherlands ; ; Berlin ; ; Washington, District of Columbia : , : IOS Press, , [2019] |
| Descrizione fisica | 1 online resource (278 pages) |
| Disciplina | 005.8 |
| Collana | NATO security through science series. D, Information and communication security |
| Soggetto topico | Computer security |
| ISBN | 1-61499-977-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910793876403321 |
| Amsterdam, Netherlands ; ; Berlin ; ; Washington, District of Columbia : , : IOS Press, , [2019] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering secure and dependable software systems / / edited by Alexander Pretschner, Peter Müller and Patrick Stöckle ; published in cooperation with NATO Emerging Security Challenges Division
| Engineering secure and dependable software systems / / edited by Alexander Pretschner, Peter Müller and Patrick Stöckle ; published in cooperation with NATO Emerging Security Challenges Division |
| Pubbl/distr/stampa | Amsterdam, Netherlands ; ; Berlin ; ; Washington, District of Columbia : , : IOS Press, , [2019] |
| Descrizione fisica | 1 online resource (278 pages) |
| Disciplina | 005.8 |
| Collana | NATO security through science series. D, Information and communication security |
| Soggetto topico | Computer security |
| ISBN | 1-61499-977-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910827485203321 |
| Amsterdam, Netherlands ; ; Berlin ; ; Washington, District of Columbia : , : IOS Press, , [2019] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model-Based Testing of Reactive Systems [[electronic resource] ] : Advanced Lectures / / edited by Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
| Model-Based Testing of Reactive Systems [[electronic resource] ] : Advanced Lectures / / edited by Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (VIII, 664 p.) |
| Disciplina | 005.1/4 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Testing of Finite State Machines -- I. Testing of Finite State Machines -- 1 Homing and Synchronizing Sequences -- 2 State Identification -- 3 State Verification -- 4 Conformance Testing -- II. Testing of Labeled Transition Systems -- Testing of Labeled Transition Systems -- 5 Preorder Relations -- 6 Test Generation Algorithms Based on Preorder Relations -- 7 I/O-automata Based Testing -- 8 Test Derivation from Timed Automata -- 9 Testing Theory for Probabilistic Systems -- III. Model-Based Test Case Generation -- Model-Based Test Case Generation -- 10 Methodological Issues in Model-Based Testing -- 11 Evaluating Coverage Based Testing -- 12 Technology of Test-Case Generation -- 13 Real-Time and Hybrid Systems Testing -- IV. Tools and Case Studies -- Tools and Case Studies -- 14 Tools for Test Case Generation -- 15 Case Studies -- V. Standardized Test Notation and Execution Architecture -- Standardized Test Notation and Execution Architecture -- 16 TTCN-3 -- 17 UML 2.0 Testing Profile -- VI. Beyond Testing -- Beyond Testing -- 18 Run-Time Verification -- 19 Model Checking -- VII. Appendices -- Appendices -- 20 Model-Based Testing – A Glossary -- 21 Finite State Machines -- 22 Labelled Transition Systems. |
| Record Nr. | UNISA-996466123103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
