CSDL - Proceedings A

Message from the Program Co-Chairs (PDF)

pp. xii

Conference Committes (PDF)

pp. xiii

Additional Reviewer (PDF)

pp. xv

Session 1A: Program Analysis I

Analysis and Implementation Method of Program to Detect Inappropriate Information Leak (Abstract)

R. Yokomori, Osaka University

F. Ohata, Osaka University

Y. Takata, Nana Institute of Science and Technology

H. Seki, Nana Institute of Science and Technology

K. Inoue, Osaka University

pp. 0005

PDF

Computing Executable Slices for Concurrent Logic Programs (Abstract)

J. Zhao, Fukuoka Institute of Technology

J. Cheng, Saitama University

K. Ushijima, Institute of Systems & Information Technologies/KYUSHU

pp. 0013

PDF

Exception Analysis for Multithreaded Java Programs (Abstract)

S. Ryu, Korea Advanced Institute of Science and Technology

K. Yi, Korea Advanced Institute of Science and Technology

pp. 0023

PDF

Session 1B: Software Reliability

An Analysis of Software Correctness Prediction Methods (Abstract)

P. Kokol, University of Maribor, Slovenia

V. Podgorelec, University of Maribor, Slovenia

M. Zorman, University of Maribor, Slovenia

M. Sprogar, University of Maribor, Slovenia

M. Pighin, University of Maribor, Slovenia

pp. 0033

PDF

A Fast Algorithm to Compute Maximum Likelihood Estimates for the Hypergeometric Software Reliability Model (Abstract)

F. Padberg, Universit?t Karlsruhe

pp. 0040

PDF

An Ordinal-Time Reliability Model Applied to ioBig-Bangle Suite-Based Testing (Abstract)

N. Davidson, Motorola Australia Software Centre

pp. 0050

PDF

Session 1C: Software Quality

Incremental Quality Network (Abstract)

S. Coronado, Universidad Polit?cnica de Madrid

J. Jaén, Universidad Polit?cnica de Madrid

pp. 0059

PDF

Strategic Drivers of Software Quality: Beyond External and Internal Software Quality (Abstract)

R. Fitzpatrick, Dublin Institute of Technology

pp. 0065

PDF

Using a Coding Standard to Improve Program Quality (Abstract)

X. Fang, SRA Key Technology Laboratory, Inc

pp. 0073

PDF

Session 2A: Program Analysis II

Object-Oriented Program Behavior Analysis Based on Control Patterns (Abstract)

C.-C. Hwang, National Chiao Tung University

S.-K. Huang, Academia Sinica

D.-J. Chen, National Chiao Tung University

D. Chen, FORDHAM University

pp. 0081

PDF

A Path-Based Approach to the Detection of Infinite Looping (Abstract)

J. Zhang, Chinese Academy of Sciences

pp. 0088

PDF

Session 2B: Quality Metrics

Assurance of Conceptual Data Model Quality Based on Early Measures (Abstract)

M. Genero, University of Castilla-La Mancha

M. Piattini, University of Castilla-La Mancha

C. Calero, University of Castilla-La Mancha

pp. 0097

PDF

The Use of Software Quality Metrics in the Materiel Release Process - Experience Report (Abstract)

M. Saboe, US Army Tank-Automotive Command

pp. 0104

PDF

Session 2C: Software Development I

Why Software Engineering is Riskier than Ever (Abstract)

A. Fuller, University of Wollongong

P. Croll, University of Wollongong

O. Garcia, University of Wollongong

pp. 0113

PDF

On Prediction of Cost and Duration for Risky Software Projects Based on Risk Questionnaire (Abstract)

O. Mizuno, Osaka University

T. Adachi, Osaka University

T. Kikuno, Osaka University

Y. Takagi, OMRON Corporation

pp. 0120

PDF

Session 3A: Formal Methods I

Partial Validation of a Design Specification with Respect to Requirements (Abstract)

C. Besse, INT, Evry, FRANCE

A. Cavalli, INT, Evry, FRANCE

F. Khendek, Concordia University

pp. 0131

PDF

Constructing Hardware/Software Interface Using Protocol Converters (Abstract)

S. Qin, Peking University

Z. Qiu, Peking University

J. He, The United Nations University

pp. 0141

PDF

DLOTOS: A LOTOS Extension for Clock Synchronization in Distributed Systems (Abstract)

W. Hassan, University of Ottawa

pp. 0149

PDF

Session 3B: Testing I

Optimal Test Profile in the Context of Software Cybernetics (Abstract)

K.-Y. Cai, Beijing University of Aeronautics and Astronautics

pp. 0157

PDF

Testable Use Cases in the Abstract State Machine Language (Abstract)

W. Grieskamp, Microsoft Research

M. Lepper, TU Berlin

W. Schulte, Microsoft Research

N. Tillmann, Microsoft Research

pp. 0167

PDF

Experience Report on Conformance Tests for CORBA ORBs (Abstract)

M. Li, FOKUS, Fraunhofer Institute for Open Communication Systems

A. Rennoch, FOKUS, Fraunhofer Institute for Open Communication Systems

I. Schieferdecker, FOKUS, Fraunhofer Institute for Open Communication Systems

D. Witaszek, FOKUS, Fraunhofer Institute for Open Communication Systems

O. Halabi, FOKUS, Fraunhofer Institute for Open Communication Systems

A. Vouffou, FOKUS, Fraunhofer Institute for Open Communication Systems

A. Yin, FOKUS, Fraunhofer Institute for Open Communication Systems

pp. 0173

PDF

Session 3C: Software Development II

Railway Power SCADA System Commissioning "Case Example" (Abstract)

I. Hampton, Pacific Trinity International Ltd.

K. Lam, Mass Transit Railway Corporation Ltd.

pp. 0185

PDF

Stakeholder Discovery and Classification Based on Systems Science Principles (Abstract)

O. Preiss, ABB Corporate Research Ltd

A. Wegmann, Swiss Federal Institute of Technology

pp. 0194

PDF

Quality & People in the Development of Situationally Specific Methods (Abstract)

S. Young, University of Sunderland

S. McDonald, University of Sunderland

H. Edwards, University of Sunderland

J. Thompson, University of Sunderland

pp. 0199

PDF

A Risk-Driven Design Model for Embedded System (Abstract)

Y. Dong, Chinese Academy of Sciences

M. Li, Chinese Academy of Sciences

pp. 0204

PDF

Keynote Address II

End-to-End Integration Testing (Abstract)

Raymond Paul, Department of Defense, Washington, DC, USA

pp. 0211

PDF

Session 4A: Formal Methods II

Incremental Fault-Tolerant Design in an Object-Oriented Setting (Abstract)

E. Johnsen, University of Oslo

O. Owe, University of Oslo

E. Munthe-Kaas, University of Oslo

J. Vain, Tallinn Technical University

pp. 0223

PDF

PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations (Abstract)

F. Corradini, Universit? di L?Aquila

M. Di Berardini, Universit? di L?Aquila

W. Vogler, Universit?t Augsburg

pp. 0231

PDF

Class and Module in SOFL (Abstract)

S. Liu, Hosei University

J. Dong, National University of Singapore

pp. 0241

PDF

Session 4B: Testing II

Combining the Animation and Testing of Abstract Data Types (Abstract)

T. Miller, The University of Queensland

P. Strooper, The University of Queensland

pp. 0249

PDF

A Selective Software Testing Method Based on Priorities Assigned to Functional Modules (Abstract)

M. Hirayama, TOSHIBA Corporation

T. Yamamoto, TOSHIBA Corporation

J. Okayasu, TOSHIBA Corporation

O. Mizuno, Osaka University

T. Kikuno, Osaka University

pp. 0259

PDF

URL-Driven Automated Testing (Abstract)

R. Wen, AP Technology Corporation

pp. 0268

PDF

Session 4C: Process Models and Tools

A Tailored Capability Model for Inspection Process Improvement (Abstract)

I. Tervonen, University of Oulu

J. Iisakka, University of Oulu

L. Harjumaa, University of Oulu

pp. 0275

PDF

A Path to Virtual Software Inspection (Abstract)

L. Harjumaa, University of Oulu

H. Hedberg, University of Oulu

I. Tervonen, University of Oulu

pp. 0283

PDF

A Software Factory Model Based on ISO9000 and CMM for Chinese Small Organizations (Abstract)

C. Li, Chinese Academy of Sciences

H. Li, Chinese Academy of Sciences

M. Li, Chinese Academy of Sciences

pp. 0288

PDF

Session 5A: Requirements Engineering

Requirements Management for the Incremental Development Model (Abstract)

Q. Wang, Chinese Academy of Science

X. Lai, Chinese Academy of Science

pp. 0295

PDF

A New Tool to Analyze ER-Schemas (Abstract)

F. Boufares, Universit? Paris

N. Kraïem, ENSI - campus Mannouba

pp. 0302

PDF

Session 5B: Usability

QUIM: A Framework for Quantifying Usability Metrics in Software Quality Models (Abstract)

A. Seffah, Concordia University

N. Kececi, University of Quebec at Montreal

M. Donyaee, Concordia University

pp. 0311

PDF

Comparison of Chinese and Japanese in Designing B2C Web Pages Toward Impressional Usability (Abstract)

J. Hu, Nara Institute of Science and Technology

J. Zhao, Jinan University

K. Shima, Nara Institute of Science and Technology

Y. Takemura, Nara Institute of Science and Technology

K.-I. Matsumoto, Nara Institute of Science and Technology

pp. 0319

PDF

Session 5C: Process Improvement and Assessment

Special Requirements for Software Process Improvement Applied in Teleworking Environments (Abstract)

H. Guo, Sout Bank University

pp. 0331

PDF

Analysis of Interrater Agreement in ISO/IEC 15504-Based Software Process Assessment (Abstract)

H.-Y. Lee, Korea University

H.-W. Jung, Korea University

C.-S. Chung

J. Lee

K. Lee

H. Jeong

pp. 0341

PDF

Priorities of Process Improvement Outcomes Based on Process Capability Levels (Abstract)

T. Varkoi, Tampere University of Technology

M. Lepasaar, Tampere University of Technology

H. Jaakkola, Tampere University of Technology

pp. 0349

PDF

Session 6A: Formal Verification

Formally Modeling and Verifying Ricart&Agrawala Distributed Mutual Exclusion Algorithm (Abstract)

K. Ogata, JAIST

K. Futatsugi, JAIST

pp. 0357

PDF

Towards a Verification of the Rule-Based Expert System of the IBM SA for OS/390 Automation Manager (Abstract)

C. Sinz, University of T?bingen, WSI

W. Küchlin, University of T?bingen, WSI

T. Lumpp, IBM Germany Development

pp. 0367

PDF

Towards Automatic Verification of Embedded Control Software (Abstract)

N. Bauer, University of Dortmund

R. Huuck, University of Kiel

pp. 0375

PDF

Session 6B: E-commerce

On the Modelling of Document Exchange Processes in E-Commerce Protocols (Abstract)

X. Wang, Hong Kong University of Science and Technology

S.-C. Cheung, Hong Kong University of Science and Technology

J. Wei, Hong Kong University of Science and Technology

pp. 0387

PDF

Beyond E-commerce Software Quality: Web Services Effectiveness (Abstract)

H.-S. Chiu, National Chiao-Tung University

C. Yang, National Chiao-Tung University

pp. 0397

PDF

A Specific Software Development Process for an Electronic Commerce Portal (Abstract)

V. Gruhn, Dortmund University

L. Schöpe, Informatik Centrum Dortmund e.V.

M. Book, WebService Haltern

pp. 0406

PDF

Session 6C: Configuration Management

A Software Product Model Emphasizing Relationships (Abstract)

S.-C. Chou, National Dong Hwa University

C.-W. Huang, National Dong Hwa University

pp. 0417

PDF

Complex Systems Development Requirements - PDM and SCM Integration (Abstract)

I. Crnkovic, M?lardalen University

A. Dahlkvist, Ericsson Microwave Systems AB

D. Svensson, Chalmers University

pp. 0427

PDF

Use of Binary File Comparison Tools in Software Release Management (Abstract)

V. Fanberg, Science Applications International Corporation

pp. 0436

PDF

Author Index (PDF)

pp. 0445