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 $79.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

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 Software Engineering

Fundamentals of Software Architecture

A Modern Engineering Approach

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

The Essence of Software Engineering

Semantics With Applications

Advanced Topics in Computer Science

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Design Patterns

Elements of Reusable Object-Oriented Software

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

The Devops Handbook: 2nd Edition

How to Create World-Class Agility, Reliability, & Security in Technology

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Clean Architecture

A Craftsman's Guide to Software Structure and Design

User Story Mapping

Discover the Whote Story, Build the Right Product

Object-Oriented and Classical Software Engineering - Global Edition

8th Edition

Git : Pocket Guide

A Working Introduction

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Hacking For Dummies

For Dummies (Computer/Tech)

Developing Graphics Frameworks with Java and OpenGL

The Engineering Leader

Strategies for Scaling Teams and Yourself

Technology Strategy Patterns

Analyzing and Communicating Architectural Decisions

Mastering API Architecture

Defining, Connecting, and Securing Distributed Systems and Microservices

Learning Modern C++ for Finance

Foundations for Quantitative Programming

This product is categorised by