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 |
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 Software and Communication Systems [[electronic resource] ] : 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009, Proceedings / / edited by Manuel Nunez, Paul Baker, Mercedes G. Merayo |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XII, 247 p.) |
Disciplina | 621.382028/7 |
Collana | Computer Communication Networks and Telecommunications |
Soggetto topico |
Software engineering
Computer simulation Computer programming Computer logic Programming languages (Electronic computers) Software Engineering Software Engineering/Programming and Operating Systems Simulation and Modeling Programming Techniques Logics and Meanings of Programs Programming Languages, Compilers, Interpreters |
ISBN | 3-642-05031-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Regular Papers -- Testing Real-Time Systems Using TINA -- A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems -- Testing k-Safe Petri Nets -- Implementing MSC Tests with Quiescence Observation -- Testing Timed Finite State Machines with Guaranteed Fault Coverage -- Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs -- Interaction Coverage Meets Path Coverage by SMT Constraint Solving -- Automatic Testing of Access Control for Security Properties -- Generating Reduced Tests for FSMs with Extra States -- An Approach for Test Selection for EFSMs Using a Theorem Prover -- TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks -- Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models -- Analyzing Response Inconsistencies in Test Suites -- Short Papers -- Model-Based Testing of Web Applications Using NModel -- Observability and Controllability Issues in Conformance Testing of Web Service Compositions -- Towards Automatic Generation of a Coherent TTCN-3 Template Framework -- OConGraX – Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems -- Debugging into Examples -- Structural Analysis of Large TTCN-3 Projects. |
Record Nr. | UNISA-996465889103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Testing Software and Systems [[electronic resource] ] : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings / / edited by Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert Hierons |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XII, 171 p. 45 illus.) |
Disciplina | 004.620287 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Artificial intelligence Computer organization Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Artificial Intelligence Computer Systems Organization and Communication Networks |
ISBN | 3-319-99927-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466435703316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Testing Software and Systems : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings / / edited by Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert Hierons |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XII, 171 p. 45 illus.) |
Disciplina | 004.620287 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Artificial intelligence Computer organization Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Artificial Intelligence Computer Systems Organization and Communication Networks |
ISBN | 3-319-99927-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910349409703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Testing Software and Systems [[electronic resource] ] : 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings / / edited by Mercedes G. Merayo, Edgardo Montes de Oca |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XIV, 211 p. 63 illus.) |
Disciplina | 005.14 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer communication systems Programming languages (Electronic computers) Special purpose computers Computer logic Management information systems Computer science Software Engineering Computer Communication Networks Programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems Logics and Meanings of Programs Management of Computing and Information Systems |
ISBN | 3-662-44857-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Testing Methodologies -- A Framework for Genetic Test-Case Generation for WS-BPEL Compositions -- Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints -- Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences -- Plan It! Automated Security Testing Based on Planning -- Minimum Number of Test Paths for Prime Path and Other Structural Coverage Criteria -- Tools and Frameworks -- An Approach to Derive Usage Models Variants for Model-Based Testing -- AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems -- Well-Defined Coverage Metrics for the Glass Box Test -- Industrial Experiences -- Cutting Time-to-Market by Adopting Automated Regression Testing in a Simulated Environment -- Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study -- What Characterizes a Good Software Tester? – A Survey in Four Norwegian Companies -- Short Contributions -- A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems -- Towards Testing Self-organizing, Adaptive Systems -- Design of Prioritized N-Wise Testing -- Change Detection System for the Maintenance of Automated Testing -- On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment -- Search-Based Testing for Embedded Telecom Software with Complex Input Structures. |
Record Nr. | UNISA-996199679903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Testing Software and Systems : 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings / / edited by Mercedes G. Merayo, Edgardo Montes de Oca |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XIV, 211 p. 63 illus.) |
Disciplina | 005.14 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer communication systems Programming languages (Electronic computers) Special purpose computers Computer logic Management information systems Computer science Software Engineering Computer Communication Networks Programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems Logics and Meanings of Programs Management of Computing and Information Systems |
ISBN | 3-662-44857-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Testing Methodologies -- A Framework for Genetic Test-Case Generation for WS-BPEL Compositions -- Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints -- Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences -- Plan It! Automated Security Testing Based on Planning -- Minimum Number of Test Paths for Prime Path and Other Structural Coverage Criteria -- Tools and Frameworks -- An Approach to Derive Usage Models Variants for Model-Based Testing -- AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems -- Well-Defined Coverage Metrics for the Glass Box Test -- Industrial Experiences -- Cutting Time-to-Market by Adopting Automated Regression Testing in a Simulated Environment -- Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study -- What Characterizes a Good Software Tester? – A Survey in Four Norwegian Companies -- Short Contributions -- A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems -- Towards Testing Self-organizing, Adaptive Systems -- Design of Prioritized N-Wise Testing -- Change Detection System for the Maintenance of Automated Testing -- On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment -- Search-Based Testing for Embedded Telecom Software with Complex Input Structures. |
Record Nr. | UNINA-9910483161503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|