| Description |
1 online resource (x, 366 pages) : illustrations |
| Series |
Lecture notes in computer science, 0302-9743 ; 5423 |
|
Lecture notes in computer science ; 5423.
|
| Contents |
Invited Talks -- Developing Topology Discovery in Event-B -- Decomposition Structures for Event-B -- Taming the Unbounded for Hardware Synthesis -- Contributed Papers -- Verifying UML/OCL Operation Contracts -- Property Specifications for Workflow Modelling -- Formal Verification Based on Guided Random Walks -- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format -- Changing System Interfaces Consistently: A New Refinement Strategy for CSP |
| Summary |
This book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in Düsseldorf, Germany in February 2009. The 21 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers address the whole spectrum of integrated formal methods, ranging from formal and semiformal modelling notations, semantics, verification, refinement, model transformations to type systems, logics, tools and case studies |
| Bibliography |
Includes bibliographical references and index |
| Notes |
Print version record |
| Subject |
Formal methods (Computer science) -- Congresses
|
|
System design -- Congresses
|
|
Informatique.
|
|
Formal methods (Computer science)
|
|
System design
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Leuschel, Michael.
|
|
Wehrheim, Heike.
|
| ISBN |
9783642002557 |
|
3642002552 |
|
1282006770 |
|
9781282006775 |
|
