+612 9045 4394
 
CHECKOUT
Integrated Formal Methods : 4th International Conference, Ifm 2004, Canterbury, UK, April 4-7, 2004, Proceedings :  4th International Conference, Ifm 2004, Canterbury, UK, April 4-7, 2004, Proceedings - Eerke A. Boiten

Integrated Formal Methods : 4th International Conference, Ifm 2004, Canterbury, UK, April 4-7, 2004, Proceedings

4th International Conference, Ifm 2004, Canterbury, UK, April 4-7, 2004, Proceedings

By: Eerke A. Boiten (Editor), John Derrick (Editor), Graeme Smith (Editor)

Paperback

Published: January 2008
Ships: 5 to 9 business days
5 to 9 business days
$169.73
or 4 easy payments of $42.43 with Learn more

This book constitutes the refereed proceedings of the 4th International Conference on Integrated Formal Methods, IFM 2004, held in Canterbury, UK, in April 2004. The 24 revised full papers presented together with 3 invited papers and one invited tutorial chapter were carefully reviewed and selected from 65 submissions. The papers are devoted to automating program analysis, state/event-based verification, formalizing graphical notions, refinement, object-orientation, hybrid and timed automata, integration frameworks, verifying interactive systems, and testing and assertions.

SLAM and Static Driver Verifier : technology transfer of formal methods inside Microsoftp. 1
Design verification for control engineeringp. 21
Integrating model checking and theorem proving in a reflective functional languagep. 36
A tutorial introduction to designs in unifying theories of programmingp. 40
An integration of program analysis and automated theorem provingp. 67
Verifying controlled componentsp. 87
Efficient CSP[subscript Z] data abstractionp. 108
State/event-based software model checkingp. 128
Formalising behaviour trees with CSPp. 148
Generating MSCs from an integrated formal specification languagep. 168
UML to B : formal verification of object-oriented modelsp. 187
Software verification with integrated data type refinement for integer arithmeticp. 207
Constituent elements of a correctness-preserving UML design approachp. 227
Relating data independent trace checks in CSP with UNITY reachability under a normality assumptionp. 247
Linking CSP-OZ with UML and Java : a case studyp. 267
Object-oriented modelling with high-level modular Petri netsp. 287
Specification and verification of synchronizing concurrent objectsp. 307
Understanding object-z operations as generalised substitutionsp. 328
Embeddings of hybrid automata in process algebrap. 343
An optimal approach to hardware/software partitioning for synchronous modelp. 363
A many-valued logic with imperative semantics for incremental specification of timed modelsp. 382
Integrating temporal logicsp. 402
Integration of specification languages using viewpointsp. 421
Integrating formal methods by unifying abstractionsp. 441
Formally justifying user-centred design rules : a case study on post-completion errorsp. 461
Using UML sequence diagrams as the basis for a formal test description languagep. 481
Viewpoint-based testing of concurrent componentsp. 501
A method for compiling and executing expressive assertionsp. 521
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540213772
ISBN-10: 3540213775
Series: Lecture Notes in Computer Science
Audience: Professional
Format: Paperback
Language: English
Number Of Pages: 548
Published: January 2008
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.5 x 15.5  x 2.9
Weight (kg): 1.71