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 | ||
| ||
Il controllo di qualità del software / Marco Maiocchi
| Il controllo di qualità del software / Marco Maiocchi |
| Autore | Maiocchi, Marco |
| Pubbl/distr/stampa | Milano : F. Angeli, c1988 |
| Descrizione fisica | 290 p. : ill. ; 22 cm |
| Disciplina | 005.14 |
| Collana | Collana dei Quaderni di informatica ; 16 |
| Soggetto topico | Computer software - Quality control |
| ISBN | 882042794X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991003294739707536 |
|
Maiocchi, Marco
|
||
| Milano : F. Angeli, c1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Create an enterprise-level test automation framework with appium : using Spring-Boot, Gradle, Junit, ALM integration, and custom reports with TDD and BDD support / / Koushik Das
| Create an enterprise-level test automation framework with appium : using Spring-Boot, Gradle, Junit, ALM integration, and custom reports with TDD and BDD support / / Koushik Das |
| Autore | Das Koushik |
| Pubbl/distr/stampa | New York : , : Apress L. P., , [2022] |
| Descrizione fisica | 1 online resource (xv, 400 pages) : illustrations |
| Disciplina | 005.14 |
| Soggetto topico |
Application software - Testing - Automation
Mobile apps - Testing - Automation |
| ISBN | 1-4842-8197-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part 1: Setting up Chapter 1: Automation Framework Overview Chapter 2: Creating the Wireframes with Spring-Boot Chapter 3: Configuring Gradle Chapter 4: Creating the Properties Files Chapter 5: Creating Android, iOS and Web Drivers On Demand Chapter 6: Enhancing Framework Common Mobile Actions Part 2: Build on the Framework Chapter 7: Creating Page Objects Chapter 8: Writing Your First Test Suite Chapter 9: Importing Test Data From Excel, XML or Other Formats Chapter 10: Adding BDD Capabilities with Cucumber Chapter 11: Adding Allure Reporting for TDD a nd BDDChapter 12: Making Extent Report Better and Workable wit h JUnitChapter 13: Creating a PDF Report with Scre enshotsChapter 14: Enhancing Framework Screenshots Chapter 15: Testing Multiple Apps and Versions in Same Test Suite Chapter 16: Running Scripts or Batch Files From Test Suite Part 3: Advanced Topics Chapter 17: API Testing Chapter 18: Advanced Topic I Adding Device Management Functions Chapter 19: Advanced Topic 2 Integrating with HP ALM Chapter 20: Advanced Topic 3 Adding Localization Testing Capabilities Chapter 21: Advanced Topic 4 Implementing Parallel Test Execution Chapter 22: Other Utilities Appendix A Appendix B |
| Record Nr. | UNINA-9910586595303321 |
|
Das Koushik
|
||
| New York : , : Apress L. P., , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Deductive software verification : future perspectives : reflections on the occasion of 20 years of KeY / / Wolfgang Ahrendt [and four others] (editors)
| Deductive software verification : future perspectives : reflections on the occasion of 20 years of KeY / / Wolfgang Ahrendt [and four others] (editors) |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2020] |
| Descrizione fisica | 1 online resource (XII, 339 p. 93 illus., 39 illus. in color.) |
| Disciplina | 005.14 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Computer software - Verification |
| ISBN | 3-030-64354-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | History -- A Short History of KeY -- Verification Tools -- A Retrospective on Developing Hybrid System Provers in the KeYmaera Family – A Tale of Three Provers -- Improving Performance of the VerCors Program Verifier -- Contracts -- Behavioral Contracts for Cooperative Scheduling -- Using Abstract Contracts for Verifying Evolving Features and Their Interactions -- Constraint-based Contract Inference for Deductive Verification -- From Explicit to Implicit Dynamic Frames in Concurrent Reasoning for Java -- Feasibility and Usability -- A Tutorial on Verifying LinkedList Using KeY -- The VerifyThis Collaborative Long Term Challenge -- Usability Recommendations for User Guidance in Deductive Program Verification -- Integration of Verification Techniques -- Integration of Static and Dynamic Analysis Techniques for Checking Noninterference -- SymPaths: Symbolic Execution Meets Partial Order Reduction. |
| Record Nr. | UNINA-9910447250003321 |
| Cham, Switzerland : , : Springer, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Deductive software verification : future perspectives : reflections on the occasion of 20 years of KeY / / Wolfgang Ahrendt [and four others] (editors)
| Deductive software verification : future perspectives : reflections on the occasion of 20 years of KeY / / Wolfgang Ahrendt [and four others] (editors) |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2020] |
| Descrizione fisica | 1 online resource (XII, 339 p. 93 illus., 39 illus. in color.) |
| Disciplina | 005.14 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Computer software - Verification |
| ISBN | 3-030-64354-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | History -- A Short History of KeY -- Verification Tools -- A Retrospective on Developing Hybrid System Provers in the KeYmaera Family – A Tale of Three Provers -- Improving Performance of the VerCors Program Verifier -- Contracts -- Behavioral Contracts for Cooperative Scheduling -- Using Abstract Contracts for Verifying Evolving Features and Their Interactions -- Constraint-based Contract Inference for Deductive Verification -- From Explicit to Implicit Dynamic Frames in Concurrent Reasoning for Java -- Feasibility and Usability -- A Tutorial on Verifying LinkedList Using KeY -- The VerifyThis Collaborative Long Term Challenge -- Usability Recommendations for User Guidance in Deductive Program Verification -- Integration of Verification Techniques -- Integration of Static and Dynamic Analysis Techniques for Checking Noninterference -- SymPaths: Symbolic Execution Meets Partial Order Reduction. |
| Record Nr. | UNISA-996418222603316 |
| Cham, Switzerland : , : Springer, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Deductive Software Verification – The KeY Book [[electronic resource] ] : From Theory to Practice / / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich
| Deductive Software Verification – The KeY Book [[electronic resource] ] : From Theory to Practice / / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXXII, 702 p. 110 illus.) |
| Disciplina | 005.14 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Mathematical logic Programming languages (Electronic computers) Artificial intelligence Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Artificial Intelligence |
| ISBN | 3-319-49812-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foundations -- Specification and Verification -- From Verification to Analysis -- The KeY System in Action -- Case Studies. |
| Record Nr. | UNINA-9910483880903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Deductive Software Verification – The KeY Book [[electronic resource] ] : From Theory to Practice / / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich
| Deductive Software Verification – The KeY Book [[electronic resource] ] : From Theory to Practice / / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXXII, 702 p. 110 illus.) |
| Disciplina | 005.14 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Mathematical logic Programming languages (Electronic computers) Artificial intelligence Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Artificial Intelligence |
| ISBN | 3-319-49812-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foundations -- Specification and Verification -- From Verification to Analysis -- The KeY System in Action -- Case Studies. |
| Record Nr. | UNISA-996465509803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 | ||
| ||
