Cargando…

Formal Methods and Software Engineering 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings /

This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Groves, Lindsay (Editor ), Sun, Jing (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edición:1st ed. 2013.
Colección:Programming and Software Engineering, 8144
Temas:
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-3-642-41202-8
003 DE-He213
005 20220311224620.0
007 cr nn 008mamaa
008 131021s2013 gw | s |||| 0|eng d
020 |a 9783642412028  |9 978-3-642-41202-8 
024 7 |a 10.1007/978-3-642-41202-8  |2 doi 
050 4 |a QA76.758 
072 7 |a UMZ  |2 bicssc 
072 7 |a COM051230  |2 bisacsh 
072 7 |a UMZ  |2 thema 
082 0 4 |a 005.1  |2 23 
245 1 0 |a Formal Methods and Software Engineering  |h [electronic resource] :  |b 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings /  |c edited by Lindsay Groves, Jing Sun. 
250 |a 1st ed. 2013. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2013. 
300 |a XVIII, 466 p. 136 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Programming and Software Engineering,  |x 2945-9168 ;  |v 8144 
505 0 |a Keynote -- Lattices of Information for Security: Deterministic, Demonic, Probabilistic -- Specification -- Algebraic Laws for Process Subtyping -- Boundness Issues in CCSL Specifications -- Mining Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification -- Formally Verified System Initialisation -- Verifying an Aircraft Proximity Characterization Method in Coq -- Testing -- Assisting Specification Refinement by Random Testing -- Generation of Checking Sequences Using Identification Sets -- The Circus Testing Theory Revisited in Isabelle/HOL -- Timed Systems -- A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification -- Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts -- Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction -- Concurrency -- A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems -- A UTP Semantics for Communicating Processes with Shared Variables -- Verification of Static and Dynamic Barrier Synchronization Using- Bounded Permissions -- SysML/MDD -- Formal Models of SysML Blocks -- Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML -- Translation from Workflow Nets to MSVL -- Verification -- Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems -- Verification of Functional and Non-functional Requirements of Web Service Composition -- vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems -- Application -- Formal Kinematic Analysis of the Two-Link Planar Manipulator -- Formal Modelling of Resilient Data Storage in Cloud -- Linking Operational Semantics and Algebraic Semantics for Wireless Networks -- Static Analysis -- Automated Specification Discovery via User-Defined Predicates -- Path-Sensitive Data Flow Analysis Simplified -- Reconstructing Paths for Reachable Code -- The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software. 
520 |a This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88 submissions. The topics covered are abstraction and refinement, formal specification and modeling, program analysis, software verification, formal methods for software safety, security, reliability and dependability, tool development, integration and experiments involving verified systems, formal methods used in certifying products under international standards, and formal model-based development and code generation. 
650 0 |a Software engineering. 
650 0 |a Computer programming. 
650 0 |a Compilers (Computer programs). 
650 0 |a Algorithms. 
650 0 |a Machine theory. 
650 0 |a Computer networks . 
650 1 4 |a Software Engineering. 
650 2 4 |a Programming Techniques. 
650 2 4 |a Compilers and Interpreters. 
650 2 4 |a Algorithms. 
650 2 4 |a Formal Languages and Automata Theory. 
650 2 4 |a Computer Communication Networks. 
700 1 |a Groves, Lindsay.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Sun, Jing.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783642412035 
776 0 8 |i Printed edition:  |z 9783642412011 
830 0 |a Programming and Software Engineering,  |x 2945-9168 ;  |v 8144 
856 4 0 |u https://doi.uam.elogim.com/10.1007/978-3-642-41202-8  |z Texto Completo 
912 |a ZDB-2-SCS 
912 |a ZDB-2-SXCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (SpringerNature-11645) 
950 |a Computer Science (R0) (SpringerNature-43710)