Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, ProceedingsMichael Butler, Sylvain Conchon, Fatiha Zaïdi Springer, 30 nov 2015 - 436 pagina's This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support. |
Inhoudsopgave
1 | |
17 | |
Formalization and Verification of Declarative Cloud Orchestration | 33 |
Consistency Verification of Specification Rules | 50 |
Applying Automata Learning to Embedded Control Software | 67 |
Deciding on the World of Partial Information | 84 |
Supporting Requirements Analysis Using PatternBased Formal Specification Construction | 100 |
Dependency Analysis of Functional Specifications with Algebraic Data Structures | 116 |
A Logical Approach for Behavioural Composition of ScenarioBased Models | 252 |
Formal Analysis of Power Electronic Systems | 270 |
Practical Analysis Framework for Component Systems with Dynamic Reconfigurations | 287 |
Reliability Centered Maintenance via Fault Tree Analysis Tool Paper | 304 |
B for Modeling Secure Information Systems | 312 |
Enhanced Distributed Behavioral Cartography of Parametric Timed Automata | 319 |
A Recursive Probabilistic Temporal Logic | 336 |
Specifying Compatible Sharing in Data Structures | 349 |
A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing | 134 |
Mastering the Visualization of Larger State Spaces with Projection Diagrams | 153 |
RefinementBased Verification of the FreeRTOS Scheduler in VCC | 170 |
Model Checking COSIII Multitask System with TMSVL | 187 |
A Predictability Algorithm for Distributed Discrete Event Systems | 201 |
HistoryBased Specification and Verification of Scalable Concurrent and Distributed Systems | 217 |
Regression Verification for Programmable Logic Controller Software | 234 |
DeltaOriented FSMBased Testing | 366 |
An Interactive Theorem Prover for Hybrid Systems | 382 |
Continuation Semantics for Concurrency with Multiple Channels Communication | 400 |
SysML Blocks Adaptation | 417 |
434 | |
Overige edities - Alles bekijken
Formal Methods and Software Engineering: 17th International Conference on ... Michael Butler,Sylvain Conchon,Fatiha Zaïdi Geen voorbeeld beschikbaar - 2015 |
Formal Methods and Software Engineering: 17th International Conference on ... Michael Butler,Sylvain Conchon,Fatiha Zaïdi Geen voorbeeld beschikbaar - 2015 |
Veelvoorkomende woorden en zinsdelen
abstract adapter algorithm analysis annotations ANTLR application approach automata automated behavior block called class invariants components composition computation concurrent configuration constraints construct core model corresponding DC-DC converter defined Definition denote domain elements embedding example execution expression finite floating-point formal formal verification formula FreeRTOS function Heidelberg ICFEM IEEE implementation input interaction interface internal invariants Isabelle/HOL Java KMTS Kripke Kripke structures label language Lemma LNCS logic Mealy machine method model checking model-based testing Modelica node operation operational semantics output parameter pattern postcondition power electronic predicate proof properties prove real-time reconfiguration relation represents result rules satisfy Scala scheduler Sect semantics sequence diagrams simulation specification Springer subdomain subset synchronization SysML SysML model task temporal logic Theorem tion TMSVL tool transition variables