Franklin

Formal Methods and Software Engineering [electronic resource] : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings / edited by Jin Song Dong, Jim Woodcock.

Edition:
1st ed. 2003.
Publication:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
Series:
Computer Science (Springer-11645)
Lecture notes in computer science 0302-9743 ; 2885
Lecture Notes in Computer Science, 0302-9743 ; 2885
Format/Description:
Book
1 online resource (XI, 682 pages)
Subjects:
Software engineering.
Programming languages (Electronic computers)
Computer logic.
Logic, Symbolic and mathematical.
Local subjects:
Software Engineering/Programming and Operating Systems.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
System Details:
text file PDF
Summary:
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.
Contents:
Invited Talks
Programs as Paths: An Approach to Timing Constraint Analysis
Model Based Code Verification
Adding Formalism to Methods or Where and When Will Industry Use Formal Reasoning?
Testing and Validation
Using Formal Methods to Serialize Synchronization Events
An AMBA-ARM7 Formal Verification Platform
Formalization, Testing and Execution of a Use Case Diagram
Service-Based Systems Engineering: Consistent Combination of Services
State Diagrams
Using State Diagrams to Describe Concurrent Behaviour
The Equivalence of Statecharts
Generic Interacting State Machines and Their Instantiation with Dynamic Features
PVS/HOL
Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language
Formalising an Integrated Language in PVS
Refinement
Modeling SystemC Fixed-Point Arithmetic in HOL
Adding Action Refinement to Stochastic True Concurrency Models
Incremental Derivation of Abstraction Relations for Data Refinement
Comparison of Data and Process Refinement
Compilation by Refinement for a Practical Assembly Language
Hybrid Systems
Java Card Code Generation from B Specifications
Efficient Path Finding with the Sweep-Line Method Using External Storage
Formal Development of a Distributed Logging Mechanism Supporting Disconnected Updates
Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures
Z/Object-Z
A Z Based Approach to Verifying Security Protocols
A Refinement Tool for Z
The Common Semantic Constructs of XML Family
Petri Nets
Controller Synthesis for Object Petri Nets
Towards a Workflow Model of Real-Time Cooperative Systems
New Developments in Closed-Form Computation for GSPN Aggregation
Timed Automata
On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata
Analyzing the Redesign of a Distributed Lift System in UPPAAL
Verification of Timeliness QoS Properties in Multimedia Systems
System Modeling and Checking
A Calculus for Set-Based Program Development
Compositional Verification of a Switch Fabric from Nortel Networks
Constraint-Based Model Checking of Data-Independent Systems
A Formal Model for the Block Device Subsystem of the Linux Kernel
Semantics and Synthesis
A Mathematical Framework for Safecharts
A Relational Model for Formal Object-Oriented Requirement Analysis in UML
From Specification to Hardware Device: A Synthesis Algorithm.
Contributor:
Dong, Jin Song. editor., Editor,
Woodcock, Jim, editor., Editor,
SpringerLink (Online service)
Contained In:
Springer eBooks
Other format:
Printed edition:
Printed edition:
ISBN:
978-3-540-39893-6
9783540398936
Publisher Number:
10.1007/b94115 doi
Access Restriction:
Restricted for use by site license.
Loading...
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy