Description |
1 online resource (xviii, 321 pages) : illustrations |
Series |
Lecture notes in computer science, 0302-9743 ; 8137 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 8137. 0302-9743
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
Contents |
Real-Time Systems. Verifying MARTE/CCSL Mode Behaviors Using UPPAAL / Jagadish Suryadevara [and others] -- A Transformation Approach for Multiform Time Requirements / Nadia Menad, Philippe Dhaussy -- Real-Time Migration Properties of rTiMo Verified in Uppaal / Bogdan Aman, Gabriel Ciobanu -- Verification 1. A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP / Marcel Vinicius Medeiros Oliveira, Ivan Soares De Medeiros Júnior, Jim Woodcock -- From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models / Radosław Klimek -- Model Checking of Security-Critical Applications in a Model-Driven Approach / Marian Borek [and others] -- Verification 2. Lifting Verification Results for Preemption Statements / Manuel Gesell, Andreas Morgenstern, Klaus Schneider -- Rule-Level Verification of Graph Transformations for Invariants Based on Edges' Transitive Closure / Christian Percebois, Martin Strecker, Hanh Nhi Tran -- Sound Symbolic Linking in the Presence of Preprocessing / Gijs Vanspauwen, Bart Jacobs -- Types and Inference. Inferring Physical Units in B Models / Sebastian Krings, Michael Leuschel -- A Tool for Behaviour-Based Discovery of Approximately Matching Web Services / Mahdi Sargolzaei [and others] -- A Type System for Components / Ornela Dardha, Elena Giachino, Michaël Lienhardt -- Static Analysis. Early Fault Detection in DSLs Using SMT Solving and Automated Debugging / Sarmen Keshishzadeh, Arjan J. Mooij, Mohammad Reza Mousavi -- Static Detection of Implementation Errors Using Formal Code Specification / Iman Saleh [and others] -- Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting / Thi Mai Thuong Tran, Martin Steffen, Hoang Truong -- Testing and Runtime Verification. {log} as a Test Case Generator for the Test Template Framework / Maximiliano Cristiá, Gianfranco Rossi, Claudia Frydman -- Zero Overhead Runtime Monitoring / Daniel Wonisch, Alexander Schremmer, Heike Wehrheim -- Run-Time Verification of Coboxes / Frank S. de Boer, Stijn de Gouw, Peter Y.H. Wong -- Synthesis and Transformation. Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning / Amel Bennaceur, Chris Chilton, Malte Isberner, Bengt Jonsson -- Program Transformation Based on Symbolic Execution and Deduction / Ran Ji, Reiner Hähnle, Richard Bubel -- Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems / Yunja Choi |
Summary |
This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation |
Notes |
International conference proceedings |
Bibliography |
Includes bibliographical references and author index |
Notes |
Online resource; title from PDF title page (SpringerLink, viewed September 24, 2013) |
Subject |
Software engineering -- Congresses
|
|
Formal methods (Computer science) -- Congresses
|
|
Software
|
|
software.
|
|
Formal methods (Computer science)
|
|
Software engineering
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Hierons, Robert M., editor
|
|
Merayo, M. G. (Mercedes G.), editor.
|
|
Bravetti, Mario, editor
|
ISBN |
9783642405617 |
|
3642405614 |
|
3642405606 |
|
9783642405600 |
|