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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Groves, Lindsay (Επιμελητής έκδοσης), Sun, Jing (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Σειρά: Lecture Notes in Computer Science, 8144
• Θέματα: Computer science.; Computer communication systems.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Algorithms.; Mathematical logic.; Computer Science.; Software Engineering.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Algorithm Analysis and Problem Complexity.; Mathematical Logic and Formal Languages.; Computer Communication Networks.

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...

Πίνακας περιεχομένων:

• 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.