+612 9045 4394
Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings - Jin Song Dong

Formal Methods and Software Engineering

5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

By: Jin Song Dong (Editor), Jim Woodcock (Editor)

Paperback Published: 27th October 2003
ISBN: 9783540204619
Number Of Pages: 682

Share This Book:


or 4 easy payments of $48.19 with Learn more
Ships in 5 to 9 business days

This volume contains the proceedings of the 2003 International Conference on Formal Engineering Methods (ICFEM 2003). The conference was the ?fth in a series that began in 1997. ICFEM 2003 was held in Singapore during 5-7 November 2003. ICFEM 2003 aimed to bring together researchers and practitioners from - dustry, academia, and government to advance the state of the art in formal engineering methods and to encourage a wider uptake of formal methods in industry. The Program Committee received 91 submissions from more than 20 co- tries in various regions. After each paper was reviewed by at least three referees in each relevant ?eld, 34 high-quality papers were accepted based on originality, technical content, presentation and relevance to formal methods and software engineering. We wish to sincerely thank all authors who submitted their work for consideration. We would also like to thank the Program Committee members and other reviewers for their great e?orts in the reviewing and selecting process. Weareindebtedtothethreekeynotespeakers, Prof.IanHayesoftheUniv- sity of Queensland, Prof. Mathai Joseph of the Tata Research, Development and DesignCentre, andDr.ColinO'HalloranofQinetiQ, foracceptingourinvitation to address the conference.

Programs as Paths: An Approach to Timing Constraint Analysisp. 1
Model Based Code Verificationp. 16
Adding Formalism to Methods or Where and When Will Industry Use Formal Reasoning?p. 26
Using Formal Methods to Serialize Synchronization Eventsp. 34
An AMBA-ARM7 Formal Verification Platformp. 48
Formalization, Testing and Execution of a Use Case Diagramp. 68
Service-Based Systems Engineering: Consistent Combination of Servicesp. 86
Using State Diagrams to Describe Concurrent Behaviourp. 105
The Equivalence of Statechartsp. 125
Generic Interacting State Machines and Their Instantiation with Dynamic Featuresp. 144
Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Languagep. 167
Formalising an Integrated Language in PVSp. 187
Modeling SystemC Fixed-Point Arithmetic in HOLp. 206
Adding Action Refinement to Stochastic True Concurrency Modelsp. 226
Incremental Derivation of Abstraction Relations for Data Refinementp. 246
Comparison of Data and Process Refinementp. 266
Compilation by Refinement for a Practical Assembly Languagep. 286
Java Card Code Generation from B Specificationsp. 306
Efficient Path Finding with the Sweep-Line Method Using External Storagep. 319
Formal Development of a Distributed Logging Mechanism Supporting Disconnected Updatesp. 338
Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architecturesp. 359
A Z Based Approach to Verifying Security Protocolsp. 375
A Refinement Tool for Zp. 396
The Common Semantic Constructs of XML Familyp. 416
Controller Synthesis for Object Petri Netsp. 432
Towards a Workflow Model of Real-Time Cooperative Systemsp. 452
New Developments in Closed-Form Computation for GSPN Aggregationp. 471
On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automatap. 491
Analyzing the Redesign of a Distributed Lift System in UPPAALp. 504
Verification of Timeliness QoS Properties in Multimedia Systemsp. 523
A Calculus for Set-Based Program Developmentp. 541
Compositional Verification of a Switch Fabric from Nortel Networksp. 560
Constraint-Based Model Checking of Data-Independent Systemsp. 579
A Formal Model for the Block Device Subsystem of the Linux Kernelp. 599
A Mathematical Framework for Safechartsp. 620
A Relational Model for Formal Object-Oriented Requirement Analysis in UMLp. 641
From Specification to Hardware Device: A Synthesis Algorithmp. 665
Author Indexp. 683
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540204619
ISBN-10: 354020461X
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 682
Published: 27th October 2003
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 3.56
Weight (kg): 0.96