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.
Tests and proofs : second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings / / Bernhard Beckert, Reiner Hähnle (editors)
| Tests and proofs : second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings / / Bernhard Beckert, Reiner Hähnle (editors) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (X, 193 p.) |
| Disciplina | 005.1/4 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer software - Testing
Computer software - Reliability Computer software - Quality control |
| ISBN | 3-540-79124-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- The First Thirty Years: Experience with Software Verification -- Vacuity in Testing -- What Can Fault Prediction Do for YOU? -- Research Papers -- Equivalence Checking for a Finite Higher Order ?-Calculus -- Finding Counter Examples in Induction Proofs -- A Logic-Based Approach to Combinatorial Testing with Constraints -- Functional Testing in the Focal Environment -- Bounded Relational Analysis of Free Data Types -- Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model -- Pex–White Box Test Generation for .NET -- Non-termination Checking for Imperative Programs -- Tutorials -- Parameterized Unit Testing with Pex -- Integrating Verification and Testing of Object-Oriented Software. |
| Record Nr. | UNINA-9910484766803321 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Tests and proofs : second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings / / Bernhard Beckert, Reiner Hähnle (editors)
| Tests and proofs : second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings / / Bernhard Beckert, Reiner Hähnle (editors) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (X, 193 p.) |
| Disciplina | 005.1/4 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer software - Testing
Computer software - Reliability Computer software - Quality control |
| ISBN | 3-540-79124-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- The First Thirty Years: Experience with Software Verification -- Vacuity in Testing -- What Can Fault Prediction Do for YOU? -- Research Papers -- Equivalence Checking for a Finite Higher Order ?-Calculus -- Finding Counter Examples in Induction Proofs -- A Logic-Based Approach to Combinatorial Testing with Constraints -- Functional Testing in the Focal Environment -- Bounded Relational Analysis of Free Data Types -- Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model -- Pex–White Box Test Generation for .NET -- Non-termination Checking for Imperative Programs -- Tutorials -- Parameterized Unit Testing with Pex -- Integrating Verification and Testing of Object-Oriented Software. |
| Record Nr. | UNISA-996465334803316 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Verification of object-oriented software : the KeY approach / / Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (editors) ; foreword by K. Rustan M. Leino
| Verification of object-oriented software : the KeY approach / / Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (editors) ; foreword by K. Rustan M. Leino |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer-Verlag, , [2007] |
| Descrizione fisica | 1 online resource (668 p.) |
| Disciplina | 005.14 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computer software - Verification
Object-oriented methods (Computer science) Java (Computer program language) |
| ISBN | 3-540-69061-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A New Look at Formal Methods for Software Construction -- A New Look at Formal Methods for Software Construction -- I: Foundations -- First-Order Logic -- Dynamic Logic -- Construction of Proofs -- II: Expressing and Formalising Requirements -- Formal Specification -- Pattern-Driven Formal Specification -- Natural Language Specifications -- Proof Obligations -- From Sequential Java to Java Card -- III: Using the KeY System -- Using KeY -- Proving by Induction -- Java Integers -- Proof Reuse -- IV: Case Studies -- The Demoney Case Study -- The Schorr-Waite-Algorithm -- Appendices -- Predefined Operators in Java Card DL -- The KeY Syntax. |
| Record Nr. | UNINA-9910483428903321 |
| Berlin, Heidelberg : , : Springer-Verlag, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Verification of object-oriented software : the KeY approach / / Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (editors) ; foreword by K. Rustan M. Leino
| Verification of object-oriented software : the KeY approach / / Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (editors) ; foreword by K. Rustan M. Leino |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer-Verlag, , [2007] |
| Descrizione fisica | 1 online resource (668 p.) |
| Disciplina | 005.14 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computer software - Verification
Object-oriented methods (Computer science) Java (Computer program language) |
| ISBN | 3-540-69061-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A New Look at Formal Methods for Software Construction -- A New Look at Formal Methods for Software Construction -- I: Foundations -- First-Order Logic -- Dynamic Logic -- Construction of Proofs -- II: Expressing and Formalising Requirements -- Formal Specification -- Pattern-Driven Formal Specification -- Natural Language Specifications -- Proof Obligations -- From Sequential Java to Java Card -- III: Using the KeY System -- Using KeY -- Proving by Induction -- Java Integers -- Proof Reuse -- IV: Case Studies -- The Demoney Case Study -- The Schorr-Waite-Algorithm -- Appendices -- Predefined Operators in Java Card DL -- The KeY Syntax. |
| Record Nr. | UNISA-996465586403316 |
| Berlin, Heidelberg : , : Springer-Verlag, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||