Vai al contenuto principale della pagina

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



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: 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 Visualizza cluster
Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Edizione: 1st ed. 2013.
Descrizione fisica: 1 online resource (XVIII, 321 p. 113 illus.)
Disciplina: 005.1
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
Persona (resp. second.): HieronsRobert M
MerayoMercedes G
BravettiMario
Note generali: Bibliographic Level Mode of Issuance: Monograph
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.
Sommario/riassunto: 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.
Titolo autorizzato: Software Engineering and Formal Methods  Visualizza cluster
ISBN: 3-642-40561-4
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910483973103321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilitĂ  qui
Serie: Programming and Software Engineering ; ; 8137