Message from the Conference Chairs

Message from the Program Chairs (PDF)

pp. xi

Conference Committee (PDF)

pp. xii

Program Committee (PDF)

pp. xiii

Steering Committee (PDF)

pp. xv

Additional Reviewers (PDF)

pp. xvi

Keynote I

Model Checking Value-Passing Processes (Abstract)

Huimin Lin

pp. 3

PDF

Session 1A: Formal Methods I

Using TCOZ for Modeling Web Caching (Abstract)

Henry Novianus Palit

pp. 13

PDF

Session 1B: Tools and Environments

Formalization and 'Literate' Programming (Abstract)

Hugh Anderson

pp. 39

PDF

A Run-Time Deadlock Detector for Concurrent Java Programs (Abstract)

pp. 45

PDF

XML Rule Based Source Code Generator for UML CASE Tool (Abstract)

Dong Hyuk Park

Soo Dong Kim

pp. 53

PDF

Session 2A: Reactive and Real-Time Embedded Systems

Automatic Translation of a Timed Process Algebra into Dynamic State Graphs (Abstract)

pp. 63

PDF

Formal Verification of Embedded Real-Time Software in Component-Based Application Frameworks (Abstract)

pp. 71

PDF

Component Identification Method with Coupling and Cohesion (Abstract)

pp. 79

PDF

Session 2B: System Modeling and Design Methodology

The Canonical Functional Design Based on the Domination-Relationship among Data (Abstract)

Sukhamay Kundu

pp. 89

PDF

Aspect-Oriented Implementation of Software Health Indicators (Abstract)

pp. 97

PDF

Specification of Distributed Systems with a Combination of Graphica and Formal Languages (Abstract)

pp. 105

PDF

Session 3A: Software Architecture and Framework

Architectural Design for Evolution by Analyzing Requirements on Quality Attributes (Abstract)

pp. 111

PDF

A Formal Framework to Build Software Agents (Abstract)

Manas Ranjan Patra

Hrushikesha Mohanty

pp. 119

PDF

Trading-Assisting Service Discovery Architecture (Abstract)

Twittie Senivongse

Worawut Suphasanthitikul

pp. 127

PDF

Session 3B: Requirements Engineering

Using Default Reasoning to Discover Inconsistencies in Natural Language Requirements (Abstract)

pp. 133

PDF

A Model for Navigating Interview Processes in Requirements Elicitation (Abstract)

pp. 141

PDF

An Empirical Study of Requirements Engineering in Distributed Software Projects: Is Distance Negotiation More Effective? (Abstract)

Daniela Damian

pp. 149

PDF

Keynote II

Formalizing Models and Meta-models for System Development (Abstract)

pp. 155

PDF

Session 4A: Formal Methods II

Operational Semantics for Verilog (Abstract)

Jordan Dimitrov

pp. 161

PDF

Formal Specification of Mixed Components with Korrigan (Abstract)

pp. 169

PDF

Deriving Operational Semantics from Denotational Semantics for Verilog (Abstract)

pp. 177

PDF

Session 4B: Software Management and Planning

Scheduling Software Projects to Minimize the Development Time and Cost with a Given Staff (Abstract)

Frank Padberg

pp. 187

PDF

Improving the Testing Process by Program Static Analysis (Abstract)

Nahomi Kikuchi

Tohru Kikuno

pp. 195

PDF

Tailoring and Verifying Software Process (Abstract)

pp. 202

PDF

Session 5A: Software Testing Techniques

A Rigorous Method for Testing Real-Time Reactive Systems (Abstract)

V.S. Alagar

M. Zheng

pp. 213

PDF

The Design and Implementation of Automata-based Testing Environment for Java Multi-thread Programs (Abstract)

pp. 221

PDF

An Effective Testing Technique for Component Composition in EJBs (Abstract)

Hoijin Yoon

Byoungju Choi

pp. 229

PDF

On Path-Wise Automatic Generation of Test Data for Both White-Box and Black-Box Testing (Abstract)

Jin-Hui Shan

Ji Wang

Zhi-Chang Qi

pp. 237

PDF

Session 5B: Object-Oriented Analysis and Design

On the Implementation of Catalysis Frameworks in COM (Abstract)

Shui Ming Ho

Kung-Kiu Lau

pp. 243

PDF

A Requirements Description Metamodel for Use Cases (Abstract)

pp. 251

PDF

Formal Object-Oriented Analysis and Design of an Online Ticketing System (Abstract)

pp. 259

PDF

Applying Mutation Analysis for Object-Oriented Programs Using a Reflective Approach (Abstract)

Philippe Chevalley

pp. 267

PDF

null

Session 6A: Software Maintenance

A Slicing Method for Object-Oriented Programs Using Lightweight Dynamic Information (Abstract)

pp. 273

PDF

Expert Maintainers' Strategies and Needs when Understanding Software: A Case Study Approach (Abstract)

Christos Tjortjis

Paul Layzell

pp. 281

PDF

Session 6B: Formal Methods III

The Steam Boiler in a Unified Theory of Z and CSP (Abstract)

Jim Woodcock

Ana Cavalcanti

pp. 291

PDF

Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language (Abstract)

pp. 299

PDF

Keynote III

Orchestrating Computations on the World-Wide Web (Abstract)

Jayadev Misra

Harrick Vin

pp. 305

PDF

Session 7A: Formal Methods IV

Partitioning Program into Hardware and Software (Abstract)

Shengchao Qin

Jifeng He

pp. 309

PDF

A Probabilistic Approach to Automatic Verification of Concurrent Systems (Abstract)

Enrio Tronci

Giuseppe Della Penna

Benedetto Intrigila

Marisa Venturini Zilli

pp. 317

PDF

A Theory of Combinational Programs (Abstract)

Van Dung Tran

Jifeng He

pp. 325

PDF

Session 7B: Software Architecture and Framework

Quality Requirement Elicitation for the Architecture Evaluation of Process Computer Systems (Abstract)

pp. 335

PDF

Architectural Issues in Mobile Augmented Reality Systems: A Prototyping Case Study (Abstract)

pp. 341

PDF

Development of Session Management Mechanism for Cellular Phone with WWW Connection (Abstract)

pp. 345

PDF

Keynote IV

Cost Analysis of Games, Using Program Logic (Abstract)

Carroll Morgan

Annabelle McIver

pp. 351

PDF

Session 8A: Formal Methods V

Compilation of Specifications (Abstract)

C.J. Fidge

pp. 355

PDF

Model Checking UML Statecharts (Abstract)

Wei Dong

Ji Wang

Xuan Qi

Zhi-Chang Qi

pp. 363

PDF

Automatic Synthesis of the DC Specifications of Lip Synchronisation Protocol (Abstract)

pp. 371

PDF

Session 8B: Reengineering and Reverse Engineering

Identifying Candidate Objects Using Hierarchical Clustering Analysis (Abstract)

Somsak Phattarsukol

Pornsiri Muenchaisri

pp. 381

PDF

A Framework for Migrating Procedural Code to Object-Oriented Platforms (Abstract)

Ying Zou

Kostas Kontogiannis

pp. 390

PDF

An Automatic Restructuring Approach Preserving the Behavior of Object-Oriented Designs (Abstract)

Byungjeong Lee

Chisu Wu

pp. 400

PDF

Session 9A: Component-Based Design Techniques/Empirical Studies

A Component-Based Framework and Reusability in Garment (Abstract)

Naixiao Zhang

Ying Liu

pp. 411

PDF

Component Metrics to Measure Component Quality (Abstract)

pp. 419

PDF

Knowledge Scouts: Reducing Communication Barriers in a Distributed Software Development Project (Abstract)

pp. 427

PDF

Framework for Third Party Testing of Component Software (Abstract)

pp. 431

PDF

Session 9B: Formal Methods VI

Z User Studio: An Integrated Support Tool for Z Specifications (Abstract)

Li LI

pp. 437

PDF

Model Checking Object-Z Classes: Some Experiments with FDR (Abstract)

Geoff Kassel

Graeme Smith

pp. 445

PDF

An XML/XSL Approach to Visualize and Animate TCOZ (Abstract)

pp. 453

PDF

Author Index (PDF)

pp. 0461