Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

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

Wat mensen zeggen - Een review schrijven

We hebben geen reviews gevonden op de gebruikelijke plaatsen.

Inhoudsopgave

DomainSpecific Languages with Scala
1
Formal Verification of Programs Computing the FloatingPoint Average
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
Author Index
434
Copyright

Overige edities - Alles weergeven

Veelvoorkomende woorden en zinsdelen

Bibliografische gegevens