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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
E-Business : State of the Art of ICT Based Challenges and Solutions / / edited by Dragan Perakovic |
Pubbl/distr/stampa | Rijeka, Croatia : , : IntechOpen, , 2017 |
Descrizione fisica | 1 online resource (108 pages) : illustrations |
Disciplina | 004.21 |
Soggetto topico | Computer systems - Verification |
ISBN |
953-51-4123-6
953-51-2884-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
E-Business
E-Business - State of the Art of ICT Based Challenges and Solutions |
Record Nr. | UNINA-9910169203903321 |
Rijeka, Croatia : , : IntechOpen, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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-9910827692703321 |
Amsterdam ; ; Washington, D. C. : , : IOS Press, , [2013] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Hardware and software, verification and testing : second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, revised selected papers / / Eyal Bin, Avi Ziv, Shmuel Ur (editors) |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2007] |
Descrizione fisica | 1 online resource (XII, 235 p.) |
Disciplina | 004 |
Collana | Lecture notes in computer science |
Soggetto topico |
Computer systems - Verification
Computer software - Verification Computer programs - Verification Integrated circuits - Verification |
ISBN |
1-280-86571-7
9786610865710 3-540-70889-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Hardware Verification Track -- Model Checking PSL Using HOL and SMV -- Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation -- Extracting a Simplified View of Design Functionality Based on Vector Simulation -- Automatic Fault Localization for Property Checking -- Verification of Data Paths Using Unbounded Integers: Automata Strike Back -- Tools Track -- Smart-Lint: Improving the Verification Flow -- Model-Driven Development with the jABC -- Detecting Design Flaws in UML State Charts for Embedded Software -- A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques -- An Open Source Simulation Model of Software Development and Testing -- Software Testing Track -- ExpliSAT: Guiding SAT-Based Software Verification with Explicit States -- Evolutionary Testing: A Case Study -- A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs -- Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise -- Testing the Machine in the World -- Choosing a Test Modeling Language: A Survey -- Making Model-Based Testing More Agile: A Use Case Driven Approach. |
Record Nr. | UNISA-996465851903316 |
Berlin ; ; Heidelberg : , : Springer, , [2007] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Hardware and software, verification and testing : second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, revised selected papers / / Eyal Bin, Avi Ziv, Shmuel Ur (editors) |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2007] |
Descrizione fisica | 1 online resource (XII, 235 p.) |
Disciplina | 004 |
Collana | Lecture notes in computer science |
Soggetto topico |
Computer systems - Verification
Computer software - Verification Computer programs - Verification Integrated circuits - Verification |
ISBN |
1-280-86571-7
9786610865710 3-540-70889-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Hardware Verification Track -- Model Checking PSL Using HOL and SMV -- Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation -- Extracting a Simplified View of Design Functionality Based on Vector Simulation -- Automatic Fault Localization for Property Checking -- Verification of Data Paths Using Unbounded Integers: Automata Strike Back -- Tools Track -- Smart-Lint: Improving the Verification Flow -- Model-Driven Development with the jABC -- Detecting Design Flaws in UML State Charts for Embedded Software -- A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques -- An Open Source Simulation Model of Software Development and Testing -- Software Testing Track -- ExpliSAT: Guiding SAT-Based Software Verification with Explicit States -- Evolutionary Testing: A Case Study -- A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs -- Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise -- Testing the Machine in the World -- Choosing a Test Modeling Language: A Survey -- Making Model-Based Testing More Agile: A Use Case Driven Approach. |
Record Nr. | UNINA-9910767528503321 |
Berlin ; ; Heidelberg : , : Springer, , [2007] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Model checking and artificial intelligence : 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, revised selected and invited papers / / Stefan Edelkamp, Alessio Lomuscio (editors) |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2007] |
Descrizione fisica | 1 online resource (IX, 185 p.) |
Disciplina | 006.3 |
Collana | Lecture notes in computer science. Lecture notes in artificial intelligence |
Soggetto topico |
Computer systems - Verification
Computer software - Verification Artificial intelligence |
ISBN | 3-540-74128-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis -- Verifying Space and Time Requirements for Resource-Bounded Agents -- Automated Creation of Pattern Database Search Heuristics -- Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL -- Real-Time Model Checking on Secondary Storage -- Checking Liveness Properties of Concurrent Systems by Reinforcement Learning -- Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation -- Symbolic Model Checking of Logics with Actions -- A Framework for Model Checking Institutions -- SAT-Based Verification of Security Protocols Via Translation to Networks of Automata -- Distributed Extended Beam Search for Quantitative Model Checking. |
Record Nr. | UNISA-996465861703316 |
Berlin ; ; Heidelberg : , : Springer, , [2007] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|