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 Methods and Testing [[electronic resource] ] : An Outcome of the FORTEST Network. Revised Selected Papers / / edited by Robert M. Hierons, Jonathan P. Bowen, Mark Harman
| Formal Methods and Testing [[electronic resource] ] : An Outcome of the FORTEST Network. Revised Selected Papers / / edited by Robert M. Hierons, Jonathan P. Bowen, Mark Harman |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XIII, 367 p.) |
| Disciplina | 005.1/4 |
| 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 |
| ISBN | 3-540-78917-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model Based Testing with Labelled Transition Systems -- Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer -- Testing Real-Time Systems Using UPPAAL -- Coverage Criteria for State Based Specifications -- Testing in the Distributed Test Architecture -- Testing from X-Machine Specifications -- Testing Data Types Implementations from Algebraic Specifications -- From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria -- Comparing the Effectiveness of Testing Techniques -- The Test Technology TTCN-3 -- Testability Transformation – Program Transformation to Improve Testability -- Modelling the Effects of Combining Diverse Software Fault Detection Techniques. |
| Record Nr. | UNISA-996465921203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal methods and testing : an outcome of the FORTEST network : revised selected papers / / Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.)
| Formal methods and testing : an outcome of the FORTEST network : revised selected papers / / Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2008 |
| Descrizione fisica | 1 online resource (XIII, 367 p.) |
| Disciplina | 005.1/4 |
| Altri autori (Persone) |
HieronsRobert M
BowenJ. P <1956-> (Jonathan Peter) HarmanMark |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
| Soggetto topico |
Formal methods (Computer science)
Computer software - Testing |
| ISBN | 3-540-78917-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model Based Testing with Labelled Transition Systems -- Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer -- Testing Real-Time Systems Using UPPAAL -- Coverage Criteria for State Based Specifications -- Testing in the Distributed Test Architecture -- Testing from X-Machine Specifications -- Testing Data Types Implementations from Algebraic Specifications -- From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria -- Comparing the Effectiveness of Testing Techniques -- The Test Technology TTCN-3 -- Testability Transformation – Program Transformation to Improve Testability -- Modelling the Effects of Combining Diverse Software Fault Detection Techniques. |
| Record Nr. | UNINA-9910484972603321 |
| Berlin ; ; New York, : Springer, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Engineering and Formal Methods [[electronic resource] ] : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings / / edited by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti
| Software Engineering and Formal Methods [[electronic resource] ] : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings / / edited by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVIII, 321 p. 113 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Mathematical logic Computer communication systems Computer programming Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Computer Communication Networks Programming Techniques |
| ISBN | 3-642-40561-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Verifying MARTE/CCSL Mode Behaviors Using UPPAAL -- A Transformation Approach for Multiform Time Requirements -- Real-Time Migration Properties of rTiMoVerified in Uppaal -- Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP -- From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models -- Model Checking of Security-Critical Applications in a Model-Driven Approach -- Lifting Verification Results for Preemption Statements -- Rule-Level Verification of Graph Transformations for Invariants Based on Edges’ Transitive Closure -- Sound Symbolic Linking in the Presence of Preprocessing -- Inferring Physical Units in B Models -- A Tool for Behaviour-Based Discovery of Approximately Matching Web Services -- A Type System for Components -- Early Fault Detection in DSLs Using SMT Solving and Automated Debugging -- Static Detection of Implementation Errors Using Formal Code Specification -- Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting -- {log} as a Test Case Generator for the Test Template Framework -- Zero Overhead Runtime Monitoring -- Run-Time Verification of Coboxes -- Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning -- Program Transformation Based on Symbolic Execution and Deduction -- Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems. |
| Record Nr. | UNISA-996466061003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings / / edited by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti
| Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings / / edited by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVIII, 321 p. 113 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Mathematical logic Computer communication systems Computer programming Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Computer Communication Networks Programming Techniques |
| ISBN | 3-642-40561-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Verifying MARTE/CCSL Mode Behaviors Using UPPAAL -- A Transformation Approach for Multiform Time Requirements -- Real-Time Migration Properties of rTiMoVerified in Uppaal -- Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP -- From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models -- Model Checking of Security-Critical Applications in a Model-Driven Approach -- Lifting Verification Results for Preemption Statements -- Rule-Level Verification of Graph Transformations for Invariants Based on Edges’ Transitive Closure -- Sound Symbolic Linking in the Presence of Preprocessing -- Inferring Physical Units in B Models -- A Tool for Behaviour-Based Discovery of Approximately Matching Web Services -- A Type System for Components -- Early Fault Detection in DSLs Using SMT Solving and Automated Debugging -- Static Detection of Implementation Errors Using Formal Code Specification -- Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting -- {log} as a Test Case Generator for the Test Template Framework -- Zero Overhead Runtime Monitoring -- Run-Time Verification of Coboxes -- Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning -- Program Transformation Based on Symbolic Execution and Deduction -- Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems. |
| Record Nr. | UNINA-9910483973103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Testing of Communicating Systems [[electronic resource] ] : 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings / / edited by Roland Groz, Robert M. Hierons
| Testing of Communicating Systems [[electronic resource] ] : 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings / / edited by Roland Groz, Robert M. Hierons |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 226 p.) |
| Disciplina | 621.382 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer communication systems Software Engineering Computer Communication Networks |
| ISBN |
1-280-30706-4
9786610307067 3-540-24704-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Implementation of an Open Source Toolset for CCM Components and Systems Testing -- A Multi-service and Multi-protocol Validation Platform – Experimentation Results -- From Design to Test with UML -- BCMP Performance Test with TTCN-3 Mobile Node Emulator -- FSM Based Interoperability Testing Methods for Multi Stimuli Model -- On Testing Partially Specified IOTS through Lossless Queues -- Testing Multi Input/Output Transition System with All-Observer -- Soip Over Satellite Testing – TIM Experience -- Generation of Optimized Testsuites for UML Statecharts with Time -- Communication Patterns for Expressing Real-Time Requirements Using MSC and Their Application to Testing -- From Safety Verification to Safety Testing -- Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols -- Mutation Testing Applied to Validate SDL Specifications -- Execution of External Applications using TTCN-3. |
| Record Nr. | UNISA-996465409903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Testing of Communicating Systems : 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings / / edited by Roland Groz, Robert M. Hierons
| Testing of Communicating Systems : 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings / / edited by Roland Groz, Robert M. Hierons |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 226 p.) |
| Disciplina | 621.382 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer networks Software Engineering Computer Communication Networks |
| ISBN |
1-280-30706-4
9786610307067 3-540-24704-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Implementation of an Open Source Toolset for CCM Components and Systems Testing -- A Multi-service and Multi-protocol Validation Platform – Experimentation Results -- From Design to Test with UML -- BCMP Performance Test with TTCN-3 Mobile Node Emulator -- FSM Based Interoperability Testing Methods for Multi Stimuli Model -- On Testing Partially Specified IOTS through Lossless Queues -- Testing Multi Input/Output Transition System with All-Observer -- Soip Over Satellite Testing – TIM Experience -- Generation of Optimized Testsuites for UML Statecharts with Time -- Communication Patterns for Expressing Real-Time Requirements Using MSC and Their Application to Testing -- From Safety Verification to Safety Testing -- Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols -- Mutation Testing Applied to Validate SDL Specifications -- Execution of External Applications using TTCN-3. |
| Record Nr. | UNINA-9910144206003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||