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

or

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

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.

More in Compilers & Interpreters

Java in Two Semesters : Includes JavaFX - Aaron Kans

$15.19

20%
OFF

Flex & Bison

O'Reilly Ser.

Multi-Item Pack

RRP $57.00

$45.60

20%
OFF

Pragmatic Programmers : Pragmatic Programmers - Terence Parr

$15.75

51%
OFF

Modern Systems Programming with Scala Native

Write Lean, High-Performance Code Without the Jvm

Paperback

RRP $87.35

$41.75

52%
OFF

Clean Ruby : A Guide to Crafting Better Code for Rubyists - Carleton DiLeo

$276.75

Compilers: Pearson New International Edition 2ed : Principles, Techniques, and Tools - Alfred Aho

$69.75

C++ Programming in easy steps: 6th Edition

Updated for the GNU C Compiler and Visual Studio 2022

Paperback

RRP $29.99

$28.75

Crafting Interpreters

Paperback

RRP $87.99

$75.75

14%
OFF

Exploring Rego

Declarative policy for the modern cloud

Paperback

RRP $66.00

$59.75

Pro Spring Boot 4 : An Authoritative Guide with Best Practices - DaShaun Carter

$147.99

11%
OFF

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

Hardcover

RRP $200.00

$176.75

12%
OFF

Programming Language Fundamentals by Example

Hardcover

RRP $196.00

$172.99

12%
OFF

Programmer''s Companion to Algorithm Analysis

Paperback

RRP $162.00

$144.75

11%
OFF

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

Java in Two Semesters

Includes JavaFX

Applied Mathematics with F#

NUnit Pocket Reference

Pocket Reference (O'Reilly)

Flex & Bison

O'Reilly Ser.

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

Clean Ruby

A Guide to Crafting Better Code for Rubyists

Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems

8th International Workshop, EXTRAAMAS 2026, Paphos, Cyprus, May 25-26, 2026, Revised Selected Papers

Advanced Asic Chip Synthesis : Using Synopsis Design Compiler and Primetime

Compilers

Principles, Techniques, and Tools

Compilers: Pearson New International Edition 2ed

Principles, Techniques, and Tools

Practical Marko

Progressive HTML Rendering and Micro Front-Ends

Bad Programming Practices 101

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

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

Crafting Interpreters

Exploring Rego

Declarative policy for the modern cloud

Pro Spring Boot 4

An Authoritative Guide with Best Practices

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

Programming Language Fundamentals by Example

Programmer''s Companion to Algorithm Analysis

This product is categorised by