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.
Formal Approaches to Software Testing and Runtime Verification [[electronic resource] ] : First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers / / edited by Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff
| Formal Approaches to Software Testing and Runtime Verification [[electronic resource] ] : First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers / / edited by Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (VIII, 255 p.) |
| Disciplina | 005.131 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Management information systems Computer science Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Management of Computing and Information Systems |
| Soggetto non controllato |
Software testing
Runtime verification FATES RV |
| ISBN | 3-540-49703-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Multi-paradigmatic Model-Based Testing -- Aspects for Trace Monitoring -- Regular Papers -- A Symbolic Framework for Model-Based Testing -- A Test Calculus Framework Applied to Network Security Policies -- Hybrid Input-Output Conformance and Test Generation -- Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement -- Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems -- Model-Based Testing of Thin-Client Web Applications -- Synthesis of Scenario Based Test Cases from B Models -- State-Identification Problems for Finite-State Transducers -- Deterministic Dynamic Monitors for Linear-Time Assertions -- Robustness of Temporal Logic Specifications -- Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets -- Dynamic Architecture Extraction -- Safety Property Driven Test Generation from JML Specifications -- Online Testing with Reinforcement Learning. |
| Record Nr. | UNISA-996466092003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Testing Software and Systems [[electronic resource] ] : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings / / edited by Burkhart Wolff, Fatiha Zaidi
| Testing Software and Systems [[electronic resource] ] : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings / / edited by Burkhart Wolff, Fatiha Zaidi |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (X, 226 p. 75 illus.) |
| Disciplina | 005.14 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Mathematical logic Computer programming Computers Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Techniques Models and Principles |
| Soggetto genere / forma |
Kongress2010.Natal (Rio Grande do Norte)
Kongress2011.Paris |
| ISBN | 3-642-24580-3 |
| Classificazione |
DAT 330f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466031303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Tests and Proofs [[electronic resource] ] : 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings / / edited by Catherine Dubois, Burkhart Wolff
| Tests and Proofs [[electronic resource] ] : 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings / / edited by Catherine Dubois, Burkhart Wolff |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIV, 185 p. 48 illus.) |
| Disciplina | 004 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Data protection Computer science Machine theory Computers Professions Software Engineering Compilers and Interpreters Data and Information Security Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory The Computing Profession |
| ISBN | 3-319-92994-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tests from Witnesses: Execution-Based Validation of Verification Results -- An Approximation-based Approach for the Random Exploration of large models -- Static and Dynamic Verification of Relational Properties on Self-Composed C Code -- Under-Approximation Generation Driven by Relevance Predicates and variants -- Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties -- Tactic Program-based Testing and Bounded Verification in Isabelle/HOL -- Verification Coverage for Combining Test and Proof -- Detection of Security Vulnerabilities in C Code using Runtime Verification: an Experience Report -- Formalizing (Web) Standards: An Application of Test and Proof. |
| Record Nr. | UNISA-996465804603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Tests and Proofs : 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings / / edited by Catherine Dubois, Burkhart Wolff
| Tests and Proofs : 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings / / edited by Catherine Dubois, Burkhart Wolff |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIV, 185 p. 48 illus.) |
| Disciplina | 004 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Data protection Computer science Machine theory Computers Professions Software Engineering Compilers and Interpreters Data and Information Security Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory The Computing Profession |
| ISBN | 3-319-92994-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tests from Witnesses: Execution-Based Validation of Verification Results -- An Approximation-based Approach for the Random Exploration of large models -- Static and Dynamic Verification of Relational Properties on Self-Composed C Code -- Under-Approximation Generation Driven by Relevance Predicates and variants -- Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties -- Tactic Program-based Testing and Bounded Verification in Isabelle/HOL -- Verification Coverage for Combining Test and Proof -- Detection of Security Vulnerabilities in C Code using Runtime Verification: an Experience Report -- Formalizing (Web) Standards: An Application of Test and Proof. |
| Record Nr. | UNINA-9910349435403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Tests and Proofs [[electronic resource] ] : 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings / / edited by Martin Gogolla, Burkhart Wolff
| Tests and Proofs [[electronic resource] ] : 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings / / edited by Martin Gogolla, Burkhart Wolff |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (X, 205 p. 48 illus., 20 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Computer logic Mathematical logic Programming languages (Electronic computers) Software Engineering Programming Techniques Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters |
| ISBN | 3-642-21768-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465429203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theorem Proving in Higher Order Logics [[electronic resource] ] : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings / / edited by David Basin, Burkhart Wolff
| Theorem Proving in Higher Order Logics [[electronic resource] ] : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings / / edited by David Basin, Burkhart Wolff |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (X, 366 p.) |
| Disciplina | 006.333 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Philosophy
Mathematical logic Logic design Software engineering Computer logic Artificial intelligence Philosophy, general Mathematical Logic and Formal Languages Logic Design Software Engineering Logics and Meanings of Programs Artificial Intelligence |
| ISBN | 3-540-45130-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk I -- Click’n Prove: Interactive Proofs within Set Theory -- Hardware and Assembler Languages -- Formal Specification and Verification of ARM6 -- A Programming Logic for Java Bytecode Programs -- Verified Bytecode Subroutines -- Proof Automation I -- Complete Integer Decision Procedures as Derived Rules in HOL -- Changing Data Representation within the Coq System -- Applications of Polytypism in Theorem Proving -- Proof Automation II -- A Coverage Checking Algorithm for LF -- Automatic Generation of Generalization Lemmas for Proving Properties of Tail-Recursive Definitions -- Tool Combination -- Embedding of Systems of Affine Recurrence Equations in Coq -- Programming a Symbolic Model Checker in a Fully Expansive Theorem Prover -- Combining Testing and Proving in Dependent Type Theory -- Invited Talk II -- Reasoning about Proof Search Specifications: An Abstract -- Logic Extensions -- Program Extraction from Large Proof Developments -- First Order Logic with Domain Conditions -- Extending Higher-Order Unification to Support Proof Irrelevance -- Advances in Theorem Prover Technology -- Inductive Invariants for Nested Recursion -- Implementing Modules in the Coq System -- MetaPRL – A Modular Logical Environment -- Mathematical Theories -- Proving Pearl: Knuth’s Algorithm for Prime Numbers -- Formalizing Hilbert’s Grundlagen in Isabelle/Isar -- Security -- Using Coq to Verify Java CardTM Applet Isolation Properties -- Verifying Second-Level Security Protocols. |
| Record Nr. | UNISA-996465962103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings / / edited by David Basin, Burkhart Wolff
| Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings / / edited by David Basin, Burkhart Wolff |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (X, 366 p.) |
| Disciplina | 006.333 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Philosophy
Logic, Symbolic and mathematical Logic design Software engineering Computer logic Artificial intelligence Philosophy, general Mathematical Logic and Formal Languages Logic Design Software Engineering Logics and Meanings of Programs Artificial Intelligence |
| ISBN | 3-540-45130-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk I -- Click’n Prove: Interactive Proofs within Set Theory -- Hardware and Assembler Languages -- Formal Specification and Verification of ARM6 -- A Programming Logic for Java Bytecode Programs -- Verified Bytecode Subroutines -- Proof Automation I -- Complete Integer Decision Procedures as Derived Rules in HOL -- Changing Data Representation within the Coq System -- Applications of Polytypism in Theorem Proving -- Proof Automation II -- A Coverage Checking Algorithm for LF -- Automatic Generation of Generalization Lemmas for Proving Properties of Tail-Recursive Definitions -- Tool Combination -- Embedding of Systems of Affine Recurrence Equations in Coq -- Programming a Symbolic Model Checker in a Fully Expansive Theorem Prover -- Combining Testing and Proving in Dependent Type Theory -- Invited Talk II -- Reasoning about Proof Search Specifications: An Abstract -- Logic Extensions -- Program Extraction from Large Proof Developments -- First Order Logic with Domain Conditions -- Extending Higher-Order Unification to Support Proof Irrelevance -- Advances in Theorem Prover Technology -- Inductive Invariants for Nested Recursion -- Implementing Modules in the Coq System -- MetaPRL – A Modular Logical Environment -- Mathematical Theories -- Proving Pearl: Knuth’s Algorithm for Prime Numbers -- Formalizing Hilbert’s Grundlagen in Isabelle/Isar -- Security -- Using Coq to Verify Java CardTM Applet Isolation Properties -- Verifying Second-Level Security Protocols. |
| Record Nr. | UNINA-9910144027503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Unifying theories of programming : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012 : revised selected papers / / Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.)
| Unifying theories of programming : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012 : revised selected papers / / Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.) |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Heidelberg, : Springer, 2013 |
| Descrizione fisica | 1 online resource (VIII, 249 p. 4 illus.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
WolffBurkhart
GaudelM.-C (Marie-Claude) FeliachiAbderrahmane |
| Collana |
Lecture notes in computer science
LNCS sublibrary |
| Soggetto topico | Computer programming |
| ISBN | 3-642-35705-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Unifying Theories of Undefinedness in UTP -- Unifying Theories of Programming with Monads -- Circus Time with Reactive Designs -- Algebra Unifies Operational Calculi -- A Probabilistic Theory of Designs Based on Distributions -- The Logic of U•(TP)2 -- Conscriptions: A New Relational Model for Sequential Computations -- Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude -- Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions -- Higher-Order UTP for a Theory of Methods -- Denotational Semantics for a Probabilistic Timed Shared-Variable Language. |
| Record Nr. | UNINA-9910484369203321 |
| Heidelberg, : Springer, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||