Formal Methods and Software Engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings - Zhiming Liu

Instant online reading.
Don't wait for delivery!
Go digital and save!

Formal Methods and Software Engineering

8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings

By: Zhiming Liu (Editor), Jifeng He (Editor)

Write A Review

Paperback | 24 October 2006

At a Glance

Paperback
796 Pages

Dimensions(cm)
23.39 x 15.6 x 4.01

Paperback

$169.00

or 4 interest-free payments of $42.25 with

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The 38 revised full papers presented together with three keynote talks were carefully reviewed and selected from 108 submissions. The papers address all current issues in formal methods and their applications in software engineering.

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 Programming & Scripting Languages Computer Science Computer Architecture & Logic Design Compilers & Interpreters

Keynote Talks
Program Verification Through Computer Algebra	p. 1
JML's Rich, Inherited Specifications for Behavioral Subtypes	p. 2
Three Perspectives in Formal Engineering	p. 35
Specification and Verification
A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces	p. 55
Applying Timed Interval Calculus to Simulink Diagrams	p. 74
Reducing Model Checking of the Few to the One	p. 94
Induction-Guided Falsification	p. 114
Verifying [chi] Models of Industrial Systems with Spin	p. 132
Stateful Dynamic Partial-Order Reduction	p. 149
Internetware and Web-Based Systems
User-Defined Atomicity Constraint: A More Flexible Transaction Model for Reliable Service Composition	p. 168
Environment Ontology-Based Capability Specification for Web Service Discovery	p. 185
Scenario-Based Component Behavior Derivation	p. 206
Verification of Computation Orchestration Via Timed Automata	p. 226
Towards the Semantics for Web Service Choreography Description Language	p. 246
Type Checking Choreography Description Language	p. 264
Concurrent, Communicating, Timing and Probabilistic Systems
Formalising Progress Properties of Non-blocking Programs	p. 284
Towards a Fully Generic Theory of Data	p. 304
Verifying Statemate Statecharts Using CSP and FDR	p. 324
A Reasoning Method for Timed CSP Based on Constraint Solving	p. 342
Mapping RT-LOTOS Specifications into Time Petri Nets	p. 360
Reasoning Algebraically About Probabilistic Loops	p. 380
Object and Component Orientation
Formal Verification of the Heap Manager of an Operating System Using Separation Logic	p. 400
A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs	p. 420
Model Checking Dynamic UML Consistency	p. 440
Testing and Model Checking
Conditions for Avoiding Controllability Problems in Distributed Testing	p. 460
Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm	p. 478
Checking the Conformance of Java Classes Against Algebraic Specifications	p. 494
Incremental Slicing	p. 514
Assume-Guarantee Software Verification Based on Game Semantics	p. 529
Optimized Execution of Deterministic Blocks in Java PathFinder	p. 549
Tools
A Tool for a Formal Pattern Modeling Language	p. 568
An Open Extensible Tool Environment for Event-B	p. 588
Tool for Translating Simulink Models into Input Language of a Model Checker	p. 606
Fault-Tolerance and Security
Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices	p. 621
A Language for Modeling Network Availability	p. 639
Multi-process Systems Analysis Using Event B: Application to Group Communication Systems	p. 660
Specification and Refinement
Issues in Implementing a Model Checker for Z	p. 678
Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking	p. 697
Discovering Likely Method Specifications	p. 717
Time Aware Modelling and Analysis of Multiclocked VLSI Systems	p. 737
SALT-Structured Assertion Language for Temporal Logic	p. 757
Author Index	p. 777
Table of Contents provided by Ingram. All Rights Reserved.

Formal Methods and Software Engineering

8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, 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)

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

Modern Systems Programming with Scala Native

Write Lean, High-Performance Code Without the Jvm

Metaprogramming Elixir

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

Pragmatic Programmers

Pragmatic Programmers

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

International Perspectives on Science, Culture and Society

The Art of Automatic Memory Management

Advanced Asic Chip Synthesis : Using Synopsis Design Compiler and Primetime

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

Artificial Intelligence Through Search

Diverse Ser.

Foundation of Software Science and Computation Structures

Third International Conference, FOSSACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25-April 2, 2000, Proceedings

Compiler Construction

9th International Conference, CC 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 Proceedings

Parallel Image Processing

Distributed Virtual Worlds

Foundations and Implementation Techniques Using Vrml, Java, and CORBA

This product is categorised by