9. APSEC 2002: Gold Coast, Queensland, Australia

9th Asia-Pacific Software Engineering Conference (APSEC 2002), 4-6 December 2002, Gold Coast, Queensland, Australia. IEEE Computer Society 2002, ISBN 0-7695-1850-8

@proceedings{DBLP:conf/apsec/2002,
  title     = {9th Asia-Pacific Software Engineering Conference (APSEC 2002),
               4-6 December 2002, Gold Coast, Queensland, Australia},
  booktitle = {APSEC},
  publisher = {IEEE Computer Society},
  year      = {2002},
  isbn      = {0-7695-1850-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Requirements Engineering

Didar Zowghi, Nur Nurmuliani:
A Study of the Impact of Requirements Volatility on Software Project Performance. 3-11
Soon-Kyeong Kim, David A. Carrington:
Integrating Use-Case Analysis and Task Analysis for Interactive Systems. 12-21
Michael J. Rees:
A Feasible User Story Tool for Agile Software Development? 22-

Formal Methods (Refinement)

Moshe Deutsch, Martin C. Henson, Steve Reeves:
Results on Formal Stepwise Design in Z. 33-42
Geoffrey Watson:
Refining Exceptions Using King and Morgan?s exit Construct. 43-51
Jamie Shield, Ian J. Hayes:
Refining Object-Oriented Invariants and Dynamic Constraints. 52-

Components

Henrik Algestam, Marcus Offesson, Lars Lundberg:
Using Components to Increase Maintainability in a Large Telecommunication System. 65-73
Yan (Jenny) Liu, Ian Gorton, Anna Liu, Shiping Chen:
Evaluating the Scalability of Enterprise JavaBeans Technology. 74-83
Robert Elfwing, Ulf Paulsson, Lars Lundberg:
Performance of SOAP in Web Service Environment Compared to CORBA. 84-

Design

Anne Hannington, Karl Reed:
Towards a Taxonomy for Guiding Multimedia Application Development. 97-106
Mitsutaka Okazaki, Toshiaki Aoki, Takuya Katayama:
Extracting threads from concurrent objects for the design of embedded systems. 107-116
Deron Liang, Chen-Liang Fang, Chyouhwa Chen, Fengyi Lin:
A nested invocation suppression mechanism for active replication fault-tolerant CORBA. 117-

Formal Specifications Analysis

Doug Goldson:
Formal Verification of mu-Charts. 129-
Neil J. Robinson, Colin J. Fidge:
Animation of Data Refinements. 137-146
Ralph-Johan Back, Cristina Cerschi Seceleanu, Jan Westerholm:
Symbolic Simulation of Hybrid Systems. 147-

Programming Languages and Software Engineering

Tetsuo Kamina, Tetsuo Tamai:
Embedding XML Processing Toolkit on General Purpose Programming Language. 159-166
Ka Boon Ng, Chiu Wo Choi, Martin Henz:
A Software Engineering Approach to Constraint Programming Systems. 167-175
Yoshida Atsushi, Fukuyasu Naoki:
A Virtual File System for Source Program Editing. 176-

Keynote

Stephen E. Cross:
A Quality Doctrine for Software: Do It Right the First Time. 187-

Education

Andreas Braun, Allen H. Dutoit, Andreas Harrer, Bernd Brügge:
iBistro: A Learning Environment for Knowledge Construction in Distributed Software Engineering Courses. 197-203
J. Barrie Thompson, Helen M. Edwards:
An Account and Appraisal of the Ongoing Development of the Software Engineering Volume of CC2001 and its International Applicability. 204-216

Model Checking

Shin Nakajima:
Behavioural Analysis of Component Framework with Multi-Valued Transition System. 217-226
Natalia Ioustinova, Natalia Sidorova, Martin Steffen:
Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems. 227-

Human Computer Interaction

Takeshi Chusho, Katsuya Fujiwara, Keiji Minamitani:
Automatic Filling in a Form by an Agent for Web Applications. 239-247
Naoki Ohsugi, Akito Monden, Ken-ichi Matsumoto:
A Recommendation System for Software Function Discovery. 248-

Keynote

Pankaj Jalote:
Lessons Learned in Framework-Based Software Process Improvement. 261-

Software Design and Architecture

Lee Momtahan, Andrew Martin:
e-Science Experiences: Software Engineering Practice and the EU DataGrid. 269-275
Masami Noro, Atsushi Kumazaki:
On Aspect-Oriented Software Architecture: It Implies a Process as Well as a Product. 276-285
Heeseok Choi, Keunhyuk Yeom:
An Approach to Software Architecture Evaluation with the 4+1 View Model of Architecture. 286-

Formal Methods (Components)

Colin J. Fidge:
Contextual Matching of Software Library Components. 297-306
David Hemer:
Computer-aided programming using formally specified design templates. 307-316
Sukhamay Kundu:
Finite-State Modeling in Software Design: Some Fundamental Techniques. 317-

Software Maintenance

Yasushi Ueda, Toshihiro Kamiya, Shinji Kusumoto, Katsuro Inoue:
On Detection of Gapped Code Clones using Gap Locations. 327-336
Sang-Uk Jeon, Joon-Sang Lee, Doo-Hwan Bae:
An Automated Refactoring Approach to Design Pattern-Based Program Transformations in Java Programs. 337-
Ying Zou, Kostas Kontogiannis:
Quality Driven Transformation Compositions for Object Oriented Migration. 346-

Software Process

Yun Yang:
Tool Interfacing Mechanisms for Programming-for-the-Large and Programming-for-the-Small. 359-365
James M. Hogan, Glenn Smith, Richard Thomas:
The Real World Software Process. 366-375
Seungjin Lee, Junho Shim, Chisu Wu:
A Metal Model Approach using UML for Task Assignment Policy in Software Process. 376-

Formal Methods (Design)

Marc Aiguier, Christophe Gaston, Pascale Le Gall:
Feature Logics and Refinement. 385-
Pao-Ann Hsiung, Trong-Yen Lee, Feng-Shi Su:
Formal Synthesis and Code Generation of Real-Time Embedded Software using Time-Extended Quasi-Static Scheduling. 395-404
Jing Sun, Jin Song Dong:
Specifying and Reasoning about Generic Architecture in TCOZ. 405-

Server-Based Applications

Nicholas Nicoloudis, Christine Mingins:
XML Web Services Automation: A Software Engineering Approach. 417-424
Chayan Tapabut, Twittie Senivongse, Kokichi Futatsugi:
Defining Attribute Templates for Descriptions of Distributed Services. 425-434
Shiping Chen, Ian Gorton:
A Predictive Performance Model to Evaluate the Contention Cost in Application Servers. 435-

Panel

J. Barrie Thompson:
Software Engineering Professionalism: Is There a Global Dimension To This? 443-

Review and Testing

Daniel Powell:
Deriving Verification Conditions and Program Assertions to Support Software Inspection. 447-456
Ahyoung Sung, Byoungju Choi:
An Interaction Testing Technique between Hardware and Software in Embedded Systems. 457-464
Ponrudee Netisopakul, Lee J. White, John Morris:
Data Coverage Testing. 465-

UML

Tetsuro Katayama:
Proposal of a Supporting Method for Diagrams Generation with the Transformation Rules in UML. 475-484
Mathupayas Thongmak, Pornsiri Muenchaisri:
Design of Rules for Transforming UML Sequence Diagrams into Java code. 485-
Hung Ledang, Jeanine Souquières:
Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B. 495-

Measurement

Jaspar Cahill, James M. Hogan, Richard Thomas:
The Java Metrics Reporter- An Extensible Tool for 00 Software Analysis. 507-516
Aftab Ahmad, Muhammad Talha:
A Measurement Based Comparative Evaluation of Effectiveness of Object-Oriented Versus Conventional Procedural Programming Techniques and Languages. 517-526
John Leaney, David Rowe, Tim O'Neill:
Issues in the construction of new measures within the discipline of Open Systems. 527-

Keynote

D. Ross Jeffery, Louise Scott:
Has Twenty-five Years of Empirical Software Engineering Made a Difference? 539-

Documentation

Andreas Kacofegitis, Neville Churcher:
Theme-Based Literate Programming. 549-557
Shahida Sulaiman, Norbik Bashah Idris, Shamsul Sahibuddin:
Production and Maintenance of System Documentation: What, Why, When and How Tools Should Support the Practice. 558-

Project Management

Noriko Hanakawa, Ken-ichi Matsumoto, Koji Torii:
A communication workload estimation model based on relationships among shared works for software development projects. 571-580
Frank Padberg:
Using Process Simulation to Compare Scheduling Strategies for Software Projects. 581-

Knowledge-Based Approaches

Chengqi Zhang, Chunsheng Li, Zili Zhang:
An Agent-Based Framework for Petroleum Information Services from Distributed Heterogeneous Data Resources. 593-602
Louise Scott, Lucila Carvalho, D. Ross Jeffery:
A Process-Centred Experience Repository for a Small Software Organisation. 603-610