8. ICFEM 2006:
Gary T. Leavens
: JML's Rich, Inherited Specifications for Behavioral Subtypes.
Specification and Verification
: Verifying chi Models of Industrial Systems with Spin.
Internetware and Web-Based Systems
, Jun Wei
, Tao Huang
: User-Defined Atomicity Constraint: A More Flexible Transaction Model for Reliable Service Composition.
Concurrent, Communicating, Timing and Probabilistic Systems
Object and Component Orientation
Testing and Model Checking
Fault-Tolerance and Security
, Luke Wildman
: Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices.
: Multi-process Systems Analysis Using Event B: Application to Group Communication Systems.
Specification and Refinement