4. APSEC / 4. ICSC 1997: Clear Water Bay, Hong Kong

4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 2-5 December 1997, Clear Water Bay, Hong Kong. IEEE Computer Society 1997, ISBN 0-8186-8271-X

Metrics and Quality Assurance

Greg Butler:
Quality and Reuse in Industrial Software Engineering. 3-12
Aileen Cater-Steel, Edmond P. Fitzgerald:
Quality assurance certification: adoption by Australian software developers and its association with capability maturity. 13-22
Euyseok Hong, Chisu Wu:
Criticality Models using SDL Metrics Set. 23-30
Simon Moser, Vojislav B. Misic:
Measuring Class Coupling and Cohesion: A Formal Metamodel Approach. 31-

Formal Methods

Daniel Hazel, Paul A. Strooper, Owen Traynor:
Possum: An Animator for the SUM Specification Language. 42-51
Chris Ho-Stuart, Shaoying Liu:
A Formal Operational Semantics for SOFL. 52-61
Wuu Yang:
Multi-Plan Attribute Grammars. 62-71
Wink Lok Yeung:
Denotational Semantics for JSD. 72-

Knowledge and Logic Based Systems

Hon Wai Chun:
A distributed constraint-based search architecture for bus timetabling and duty assignment. 82-88
Haihong Dai:
Discovery of Cases for Case-Based Reasoning in Engineering. 89-96
Yuhe Li, Haihong Dai:
Reducing Uncertainties in Data Mining. 97-105
Xinyu Wu, John G. Hughes:
HKBCN - A Hybrid Intelligent System for Knowledge Revising. 106-

Object-Oriented Techniques

Hon Wai Chun:
A methodology for object-oriented constraint programming. 116-122
Peter Martin:
The Development of an Object-Oriented, Discrete-Event Simulation Language Using Java. 123-130
Takako Nakatani, Tetsuo Tamai, Atsushi Tomoeda, Harumi Matsuda:
Towards Constructing a Class Evolution Model. 131-

Validation and Verification I

Alena Griffiths:
Modular reasoning in Object-Z. 140-149
Nabil Hameurlain, Christophe Sibertin-Blanc:
Finite Symbolic Reachability Graphs for High-Level Petri Nets. 150-159
Sridhar Iyer, S. Ramesh:
A Tool-Suite for Reachability Analysis of Concurrent Object-Oriented Programs. 160-

Distributed and Mobile Systems

Paul A. Bailes, Paul Burnim, Murray Chapman:
Mapping Ada Source Code into an Abstract Program Space. 171-180
Hung-Chin Jang, Yao-Nan Lien, Jyh-Shyan Huang:
Client location tracking with k-step prediction and cache policy in ubiquitous information service network. 181-190
Masami Noro, Kunio Goto:
An Architecture and a Framework for IP Applications. 191-

Software Design Methodology I

Manfred Broy, Christoph Hofmann, Ingolf Krüger, Monika Schmidt:
Using Extended Event Traces to Describe Communication in Software Architectures. 203-212
Reinhold Plösch:
Design by Contract for Python. 213-219
Ikuyo Nagaoka, Katsuaki Sanou, Daisuke Ikeo, Michio Tsuda, Shin'ichi Akiba:
A Reverse Engineering Method and Experiences for Industrial COBOL System. 220-228
Franck Xia:
Software Engineering Research: A Methodological Analysis. 229-

Validation and Verification I

Kamel Barkaoui, Claude Kaiser, Jean-François Pradat-Peyre:
Petri nets based proofs of Ada 95 solution for preference control. 238-248
Adel Benzina, Mario Paludetto, Jérôme Delatour:
About the Suitability of Petri Nets for Describing, Validating and Evaluating SA-RT Specifications. 249-258
Gerald Kotonya, Ian Sommerville:
Integrating safety analysis and requirements engineering. 259-271
Gwang Sik Yoon, Sung Deok Cha, Yong Rae Kwon, Chan Hyung Yoo:
Detecting Common Mode Failures in N-Version Software Using Weakest Precondition Analysis. 272-

Software Process

Daniel K. C. Chan, Karl R. P. H. Leung:
Software Development as a Workflow Process. 282-291
Sang-Yoon Min, Ik-Joo Han, Wei-Jin Park, Doo-Hwan Bae:
An Approach to Software Process Management Based on Formal Process Modeling and Analysis. 292-301
Véronique Plihon, Colette Rolland:
Genericity in method construction. 302-311
Bing Wu, Deirdre Lawless, Jesus Bisbal, Jane Grimson, Vincent Wade, Donie O'Sullivan, Ray Richardson:
Legacy Systems Migration : A Method and its Tool-Kit Framework. 312-

Software Design Methodology II

Eun Sook Cho, Soo Dong Kim, Sung Yul Rhew, Sang Duck Lee, Chang Gap Kim:
Object-oriented Web application architectures and development strategies. 322-331
Wing Lam:
Scenario reuse: a technique for complementing scenario-based requirements engineering approaches. 332-341
Xiaodong Liu, Zhiqiang Chen, Hongji Yang, Hussein Zedan, William C. Chu:
A Design Framework for System Re-Engineering. 342-

User Interaction

Steven Atkinson:
Cognitive Deficiencies in Software Library Design. 354-363
Alberto Faro, Daniela Giordano:
A Theory of Interactions and Scenes for User Centered Systems Specification and Verification. 364-373
Andrew Hussey, David A. Carrington:
Specifying the UQ* user-interface with Object-Z. 374-

Testing

Erez Buchnik, Shmuel Ur:
Compacting regression-suites on-the-fly. 385-394
Jiun-Liang Chen, Feng-Jian Wang, Yung-Lin Chen:
Slicing Object-Oriented Programs. 395-404
Tsong Yueh Chen, Yuen-Tak Yu:
On the Criteria of Allocating Test Cases under Uncertainty. 405-413
Jason McDonald, Leesa Murray, Paul A. Strooper:
Translating Object-Z Specifications to Object-Oriented Test Oracles. 414-

Software Development Environment

Tae-Hoon Kim, Woochang Shin, Geunduk Park, Tae-Heun Lee, Taegyun Kim, Yeong-Gil Shin, Chisu Wu:
DOOD: Distributed Object-Oriented Software Development Environment. 427-434
Maokai Gong, Louise Scott, Ray Offen:
MetaBuilder: a Generic CASE Tool Builder. 435-444
Xu Xue Biao:
JB-OODBT: An Object-Oriented Database Toolkit for JB/CASE. 445-454
Wuu Yang:
Conditional Evaluation in Simple Multi-Visit Attribute-Grammar Evaluators. 455-

Concurrency

Manuel Barrio-Solórzano, Pablo de la Fuente:
A Formal Model of Concurrency for Distributed Object-Oriented Systems. 466-474
Antonio Bueno, Valentín Valero Ruiz, Fernando Cuartero:
TPAL: A Timed-Probabilistic Model for Concurrent Processes. 475-484
Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima:
A Test-case Generation Method for Concurrent Programs Including Task-types. 485-494
Noriki Ogura, Keizo Saisho, Akira Fukuda:
Design of Protocols in Timed CSP for Highly Reliable and Available Client-Server System. 495-

Concise Papers

Greg Butler, Peter Grogono, Ferhat Khendek:
A Z Specification of Use Cases: A Preliminary Report. 505-506
Deyu Qi:
LOODS: a new learning-based object-oriented system development environment. 507-508
Parames Ghosh, George Feuerlicht:
Integration of Application Systems by Modelling Information Shared Among Applications. 509-510
Stephen Wang-Cheung Lam, Keith C. C. Chan, Hareton K. N. Leung, Lawrence Chung:
A visual programming environment for Z specifications. 511-512
Wei Li, Harry S. Delugach:
Software Metrics and Application Domain Complexity. 513-514
Jin-Cherng Lin, Szu-Wen Lin, Louis Huang:
An Approach to Software Testability Measurement. 515-516
Chris S. Wallace, Peter Martin:
Not Whether Java but How Java. 517-518
Makoto Matsushita, Makoto Oshita, Hajimu Iida, Katsuro Inoue:
Conceptual Issues of an Object-Centered Process Model. 519-520
Atsushi Ohnishi:
Software Requirements Definition for Specification Database. 521-520
Wolfgang Pree:
Component-Based Software Development-A New Paradigm in Software Engineering? 523-524
Nigel Stanger, Richard Pascoe:
Exploiting the advantages of object oriented programming in the implementation of a database design environment. 525-526
Edmond Sung, Arkady B. Zaslavsky:
Software Assisted Handover of Mobile Clients in Heterogeneous Wireless Computing Environments. 527-528
Jesus Bisbal, Deirdre Lawless, Bing Wu, Jane Grimson, Vincent Wade, Ray Richardson, Donie O'Sullivan:
An Overview of Legacy System Migration. 529-

Tutorial Summaries

Hans Schaefer:
Tutorial: organizing, managing and optimizing software testing. 532-533
Wolfgang Pree, Hermann Sikora:
Design Patterns-Essentials, Experience, Java Case Study. 534-535
Paul A. Swatman:
OPEN-MeNtOR: a third generation OO methodology-advanced tasks and techniques. 536-537
Frank von Martial:
Design and Implementation of Coordination and Workflow Management Technology. 538-

Last update Sun May 19 21:35:50 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page