Lecture Notes in Computer Science

6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings

By: Jim Davies (Editor), Wolfram Schulte (Editor), Mike Barnett (Editor)

Write A Review

Paperback | 28 October 2004

At a Glance

Paperback
520 Pages

Dimensions(cm)
24.13 x 15.88 x 3.18

Paperback

$169.00

or 4 interest-free payments of $42.25 with

Ships in 5 to 7 business days

Formal engineering methods are changing the way that software systems are - veloped.Withlanguageandtoolsupport,theyarebeingusedforautomaticcode generation, and for the automatic abstraction and checking of implementations. In the future, they will be used at every stage of development: requirements, speci?cation, design, implementation, testing, and documentation. The ICFEM series of conferences aims to bring together those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to attend,andtohelpadvancethestateoftheart.Authorsarestronglyencouraged to make their ideas as accessible as possible, and there is a clear emphasis upon work that promises to bring practical, tangible bene?t: reports of case studies should have a conceptual message, theory papers should have a clear link to application, and papers describing tools should have an account of results. ICFEM 2004 was the sixth conference in the series, and the ?rst to be held in North America. Previous conferences were held in Singapore, China, UK, A- tralia, and Japan. The Programme Committee received 110 papers and selected 30forpresentation.The?nalversionsofthosepapersareincludedhere,together with 2-page abstracts for the 5 accepted tutorials, and shorter abstracts for the 4 invited talks.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Mathematics Programming & Scripting Languages Computer Science Computer Architecture & Logic Design Compilers & Interpreters

Model-based development : combining engineering approaches and formal techniques	p. 1
Tutorial on the RAISE language, method and tools	p. 3
Model-based testing with spec#	p. 5
Formal engineering for industrial software development - an introduction to the SOFL specification language and method	p. 7
Tutorial : software model checking	p. 9
Engineering quality software	p. 11
When can formal methods make a real difference?	p. 12
On the adoption of formal methods by industry : the ACL2 experience	p. 13
A CLP approach to modelling systems	p. 14
Multi-prover verification of C programs	p. 15
Memory-model-sensitive data race analysis	p. 30
Formal models for Web navigations with session control and browser cache	p. 46
Managing verification activities using SVM	p. 61
A general model for reachability testing of concurrent programs	p. 76
A knowledge based analysis of cache coherence	p. 99
A propositional logic-based method for verification of feature models	p. 115
Deriving probabilistic semantics via the 'weakest completion'	p. 131
CSP representation of game semantics for second-order idealized algol	p. 146
An equational calculus for alloy	p. 162
Guiding spin simulation	p. 176
Linear inequality LTL ( iLTL) : a model checker for discrete time Markov chains	p. 194
Software model checking using linear constraints	p. 209
Counterexample guided abstraction refinement via program execution	p. 224
Faster analysis of formal specifications	p. 239
Bridging refinement of interface automata to forward simulation of I/O automata	p. 259
Learning to verify safety properties	p. 274
Automatic extraction of object-oriented observer abstractions from unit-test executions	p. 290
A specification-based approach to testing polymorphic attributes	p. 306
From Circus to JCSP	p. 320
An approach to preserve protocol consistency and executability across updates	p. 341
A formal monitoring-based framework for software development and analysis	p. 357
Verifying a file system implementation	p. 373
Verifying the on-line help system of SIEMENS magnetic resonance tomographs	p. 391
Implementing dynamic aggregations of abstract machines in the B method	p. 403
Formal proof from UML models	p. 418
Interactive verification of UML state machines	p. 434
Refinement of actions for real-time concurrent systems with causal ambiguity	p. 449
From durational specifications to TLA designs of timed automata	p. 464
Timed patterns : TCOZ to timed automata	p. 483
Table of Contents provided by Blackwell. All Rights Reserved.

Lecture Notes in Computer Science

6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Compilers & Interpreters

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-Solving Approach

C# Programming in easy steps

Master C# fundamentals!

Bad Programming Practices 101

Become a Better Coder by Learning How (Not) to Program

Applied Mathematics with F#

NUnit Pocket Reference

Pocket Reference (O'Reilly)

Pragmatic Programmers

Pragmatic Programmers

Metaprogramming Elixir

Write Less Code, Get More Done (and Have Fun!)

Modern Systems Programming with Scala Native

Write Lean, High-Performance Code Without the Jvm

Programming Languages and Systems

35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11â"16, 2026, Proceedings, Part II

Programming Languages and Systems

35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11â"16, 2026, Proceedings, Part I

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-Solving Approach

Compilers

Principles, Techniques, and Tools

Compilers: Pearson New International Edition 2ed

Principles, Techniques, and Tools

Advanced Asic Chip Synthesis : Using Synopsis Design Compiler and Primetime

International Perspectives on Science, Culture and Society

The Art of Automatic Memory Management

Practical Marko

Progressive HTML Rendering and Micro Front-Ends

Compilers

A Practical Approach

Definitive ANTLR 4 Reference

2nd Edition

C++ Programming in easy steps: 6th Edition

Updated for the GNU C Compiler and Visual Studio 2022

Computer Science Logic

14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings

A Retargetable C Compiler

Design and Implementation

Optimizing Compilers for Modern Architectures

A Dependence-Based Approach

Complete Reference

The Complete Reference

Rewriting Techniques and Applications

13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings

This product is categorised by