CSDL - Second Asia-Pacific Software Engineering Conference (APSEC

Proceedings 1995 Asia Pacific Software Engineering Conference (1995)

Brisbane, Australia

Dec. 6, 1995 to Dec. 9, 1995

ISBN: 0-8186-7171-8

TABLE OF CONTENTS

Proceedings 1995 Asia Pacific Software Engineering Conference (PDF)

pp. iii

Software systems engineering-from domain analysis via requirements capture to software architectures (PDF)

D. Bjorner , Int. Inst. for Software Technol., Macau, China

pp. 2-11

Communication, collaboration and cooperation in software development-how should we support group work in software development? (PDF)

M. Saeki , Dept. of Comput. Sci., Tokyo Inst. of Technol., Japan

pp. 12-20

Foreword (PDF)

pp. x

Message from the Program Co-Chairs (PDF)

pp. xi

Committees (PDF)

pp. xii

Reviewers (PDF)

pp. xiii

Keynote Addresses

Software Systems Engineering—From Domain Analysis Via Requirements Capture to Software Architectures (Abstract)

pp. 2

Communication, Collaboration, and Cooperation in Software Development—How Should We Support Group Work in Software Development? (Abstract)

pp. 12

Session 1A: Testing I

Dynamic Data Flow Analysis for C++ (Abstract)

T.Y. Chen

C.K. Low

pp. 22

Event Interactions Graph for Test-case Generation of Concurrent Programs (Abstract)

Tetsuro Katayama , Kyushu University

Zengo Furukawa , Kyushu University

Kazuo Ushijima , Kyushu University

pp. 29

A Criticism on the Capture-and-Recapture Method for Software Reliability Assurance (Abstract)

Sadahiro Isoda , Toyohashi University of Technology

pp. 38

Session 1B: Requirements Modelling

From Scenarios to Timed Automata: Building Specifications from Users Requirements (Abstract)

Stephane Some , DIRO, University of Montreal

Rachida Dssouli , DIRO, University of Montreal

Jean Vaucher , DIRO, University of Montreal

pp. 48

Expressing Inter-Perspective Relationships: A Logical Approach (Abstract)

Laurent Perrussel , Universite Toulouse I - CERISS, Place Anatole France

pp. 58

Building the Structure of Specification Documents from Utterances of Requirements Elicitation Meetings (Abstract)

Nobuyuki Miura , NTT Software Laboratories

Haruhiko Kaiya , Japan Advanced Instiute of Science and Techonology

Motoshi Saeki , Tokyo Institute of Techonology

pp. 64

Session 1C: Concurrency

Two Dimensional Concurrent Program Debugging (Abstract)

Lu Xu , Purdue University

Michal Young , Purdue University

pp. 76

Reasoning about Concurrent Objects (Abstract)

Heinz W. Schmidt , Monash University

Jian Chen , Monash University

pp. 86

An Efficient Debugging Method for Message-based Parallel Programs using Static Analysis Information (Abstract)

Hyun Seop Bae , Korea Advanced Institute of Science and Technology

Yong Rae Kwon , Korea Advanced Institute of Science and Technology

Hyeon Soo Kim , Electronics and Telecommunications Research Institute

pp. 96

Session 2A: Object-Oriented Development

Class Exerciser: A Basic CASE Tool for Object-Oriented Development (Abstract)

Chien-Min Wang , Institute of Information Science, Academia Sinica

Y. S. Kuo , Institute of Information Science, Academia Sinica

pp. 108

A Reorganization Framework of the Object-Oriented Class Hierarchy (Abstract)

Suk-hyung Hwang , Osaka University

Yoshihiro Tsujino , Osaka University

Nobuki Tokura , Osaka University

pp. 117

Complexity Measures for Object-Oriented Program Based on the Entropy (Abstract)

K. Kim

Y. Shin

C. Wu

pp. 127

A Survey of Experiences amongst Object-Oriented Practitioners (Abstract)

John Daly , University of Strathclyde

James Miller , University of Strathclyde

Andrew Brooks , University of Strathclyde

Marc Roper , University of Strathclyde

Murray Wood , University of Strathclyde

pp. 137

Session 2B: Software Process

Software Engineering Education - Adding Process to Projects Theory, Practice and Experience (Abstract)

V.E. Veraart , Murdoch University

S.L. Wright , Murdoch University

pp. 148

Management of Distributed Concurrent Development for Large-Scale Software Systems (Abstract)

M. Aoyama

pp. 158

Development of Distributed Applications with Separation of Concerns (Abstract)

António Rito Silva , INESC

Pedro Sousa , INESC

José Alves Marques , INESC

pp. 168

Session 2C: Distributed Systems

A Hierarchical Framework for Designing Reliable Distributed Systems (Abstract)

Wilson C. H. Cheng , The University of Queensland

Xiaohua Jia , The University of Queensland

pp. 180

Evolutional Agents: Field Oriented Programming Language, Flage (Abstract)

Fumihiro Kumeno , Information-technology Promotion Agency, Japan (IPA)

Yasuyuki Tahara , Information-technology Promotion Agency, Japan (IPA)

Akihiko Ohsuga , Information-technology Promotion Agency, Japan (IPA)

Shinichi Honiden , Information-technology Promotion Agency, Japan (IPA)

pp. 189

Architectural Abstractions for Real-Time Software (Abstract)

F. de Paoli

F. Tisato

pp. 199

Toward Software Metrics for Distributed Software (Abstract)

Woei-Jiunn Tsaur , National Taiwan Institute of Technology

Shi-Jinn Horng , National Taiwan Institute of Technology

pp. 209

Session 3A: Testing II

On the Analysis of Subdomain Testing Strategies (Abstract)

T. Y. Chen , University of Melbourne

H. Leung , New Mexico State University

Y. T. Yu , University of Melbourne

pp. 218

An Enhanced Zero-One Optimal Path Set Selection Method (Abstract)

Chyan-Goei Chung , National Chiao Tung University, Hsin-Chu, Taiwan

Jen-Gaw Lee , National Chiao Tung University, Hsin-Chu, Taiwan

pp. 225

Testing of Object-Oriented Programs Based on Finite State Machines (Abstract)

Hyoung Seok Hong , Korea Advanced Institute of Science and Technology

Yong Rae Kwon , Korea Advanced Institute of Science and Technology

Sung Deok Cha , Korea Advanced Institute of Science and Technology

pp. 234

Test Suite Generation Methods for Concurrent Systems Based on Colored Petri Nets (Abstract)

H. Watanabe

T. Kudoh

pp. 242

Session 3B: Development Environments I

An Integrated Support Environment for Distributed Software Development based on Unified Program Representations (Abstract)

Yoshiaki Kasahara , Kyushu University

Yoshinari Nomura , Kyushu University

Masayuki Kamachi , Kyushu University

Jingde Cheng , Kyushu University

Kazuo Ushijima , Kyushu University

pp. 254

Software Environment Support for Integrated Formal Program Specification and Development (Abstract)

John C. Grundy , University of Waikato

John G. Hosking , University of Auckland

pp. 264

Modelling Systems that Integrate Programming Language and Environment Mechanisms (Abstract)

Keith J. Ransom , The Flinders University of South Australia

Chris D. Marlin , The Flinders University of South Australia

pp. 274

Providing Configuration Management Support in Software Engineering Environments (Abstract)

Jun Han , Monash University

pp. 282

Session 3C: Formal Methods

Animating Z: Interactivity, Transparency and Equivalence (Abstract)

Mark Utting , The University of Queensland

pp. 294

Living with Free Type and Class Union (Abstract)

Jin Song Dong , University of Queensland

pp. 304

Systematic Development of the Human Interface (Abstract)

pp. 313

Panel on Software Process Improvement Paradigms (PDF)

L. Zucconi

pp. 510

Session 4A: Quality Assurance and Reliability

Teaching Software Quality and Leadership: Experiences and Successes (Abstract)

Judy Bamberger , RESULTS - Partners in Process Improvement

James Hook , Oregon Graduate Institute of Science & Technology

pp. 333

The Ericsson's approach to software improvements (Abstract)

B. Imbor-Maciag

pp. 512

Are formal methods relevant? (PDF)

pp. 513

Is software engineering really engineering? (PDF)

Graham Low

pp. 519

Is software engineering really engineering? (PDF)

Ray Offen

pp. 520

Software engineering research validation (PDF)

R. Jeffery

pp. 522

Session 4C: The Specification Process; Maintenance

A Maintenance Support System based on High-Level Control-Flow and Data Dependency (Abstract)

Akihiko Matsuo , Fujitsu Laboratories Ltd.

Sanya Uehara , Fujitsu Laboratories Ltd.

Minako Kimura , Fujitsu Laboratories Ltd.

pp. 390

Flexible Module Operation Scheme in Formal Specification Process (Abstract)

H. Horai

pp. 399

Session 5A: Development Environments II

An Environment for the Reverse Engineering of Executable Programs (Abstract)

Cristina Cifuentes , University of Tasmania

pp. 410

CARD: An Environment for Software Requirements Definition (Abstract)

Atsushi Ohnishi , Ritsumeikan University

pp. 420

Design and Implementation of a Method Base Management System for a Situational CASE Environment (Abstract)

Frank Harmsen , University of Twente

Sjaak Brinkkemper , University of Twente

pp. 430

A Simple Configuration Management System for CASE Repository (Abstract)

L. Taeheun

C. Wu

pp. 439

Session 5B: Information Systems Design and Management

Re-engineering 4GL-based Information System Applications (Abstract)

John V. Harrison , University of Queensland

Paul A. Bailes , University of Queensland

Anthony Berglas , University of Queensland

Ian Peake , University of Queensland

pp. 448

An Integrated Approach to IS modeling (Abstract)

David Leadbetter , University of Queensland

pp. 458

Integration of Software Process Management and Development History Recording (Abstract)

Stefan Dissmann , University of Dortmund

Volker Gruhn , LION GmbH, Universitaetsstrasse 140

Dirk Ohrndorf , LION GmbH, Universitaetsstrasse 140

pp. 468

Session 5C: Reasoning and Verification

Soft Typing of General First-Order Languages (Abstract)

H. Becht , The University of Queensland

J. Staples , The University of Queensland

pp. 480

Reasoning about Object-Z Specifications (Abstract)

Graeme Smith , University of Queensland

pp. 489

Limitations of Formal Methods and an Approach to Improvement (Abstract)

S. Liu

R. Adams

pp. 498

Panel Session

Software Process Improvement Paradigms (PDF)

pp. 510

Software Process Improvement Paradigms for IT Industry: Why the Bottom-Up Approach Fits Best (PDF)

pp. 511

The Ericsson's Approach to Software Improvements (PDF)

pp. 512

Are Formal Methods Relevant? (Abstract)

pp. 513

Is Software Engineering Really Engineering? (PDF)

pp. 518

Is Software Engineering Really Engineering? (PDF)

pp. 519

Is Software Engineering Really Engineering? (PDF)

pp. 520

Software Engineering Research Validation (PDF)

pp. 522

Author Index (PDF)

pp. 524