1. Home
  2. Proceedings
  3. APSEC
  4. APSEC 1998
Default Cover Image

Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No.98EX240)

Dec. 2 1998 to Dec. 4 1998

Taipei, Taiwan

ISBN: 0-8186-9183-2

Table of Contents

Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No.98EX240)Freely available from IEEE.pp. iii-iii
Message from the General Co-ChairsFreely available from IEEE.pp. ix
Message from the Program Co-ChairsFreely available from IEEE.pp. x
CommitteesFreely available from IEEE.pp. xi
List of ReviewersFreely available from IEEE.pp. xiii
Session 1A: Architecture, Framework & Components I
Optimization of Multi-way Clustering and Retrieval using Genetic Algorithms in Reusable Class LibraryFull-text access may be available. Sign in or learn about subscription options.pp. 4
by Byungjeong Lee, Byungro Moon, Chisu Wu
Session 1A: Architecture, Framework & Components I
Experiment of Component-Based Software Development on Multiple Distributed Object EnvironmentsFull-text access may be available. Sign in or learn about subscription options.pp. 12
by Yoshio Satoh
Session 1A: Architecture, Framework & Components I
An Enhanced Reflective Architecture for Adaptation of the Object-Oriented Language/SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 20
by Chao- Hsin Lin, Tzilla Elrad
Session 1A: Architecture, Framework & Components I
Why Is It So Hard to Define Software Architecture?Full-text access may be available. Sign in or learn about subscription options.pp. 28
by J. Baragry, K. Reed
Session 1B: Formal Methods
How to Reconcile Formal Specifications and Automatic Programming: The Descartes SystemFull-text access may be available. Sign in or learn about subscription options.pp. 38
by Jean-Yves Lucas, Jean-Luc Dormoy, Bruno Ginoux, Claudia Jimenez-Dominguez, Laurent Pierre
Session 1B: Formal Methods
Integration of Software Analysis and Design Methods with Formal Description TechniquesFull-text access may be available. Sign in or learn about subscription options.pp. 46
by S. Sureerat, M. Saeki
Session 1B: Formal Methods
Automatically Generating C++ Programs from LOTOS Behavior SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 54
by C. Kim, K. Kim, C. Jeong, Y. Oh
Session 1B: Formal Methods
A Refinement Calculus for the Development of Real-Time SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 61
by Z. Chen, A. Cau, H. Zedan, X. Liu, H. Yang
Session 1C: Metrics & Quality Assurance
A Software Metric Combination Model for Software ReuseFull-text access may be available. Sign in or learn about subscription options.pp. 70
by Sen-Tarng Lai, Chien-Chiao Yang
Session 1C: Metrics & Quality Assurance
Static and Dynamic Metrics for Effective Object ClusteringFull-text access may be available. Sign in or learn about subscription options.pp. 78
by E.S. Cho, C.J. Kim, S.D. Kim, S.Y. Rhew
Session 1C: Metrics & Quality Assurance
On The Danger Of Developing Measures Without Clarifying ConceptsFull-text access may be available. Sign in or learn about subscription options.pp. 86
by Franck Xia
Session 2A: Architecture, Framework & Components II
A Reuse Case Perspective on Documenting FrameworksFull-text access may be available. Sign in or learn about subscription options.pp. 94
by G. Butler, P. Grogono, F. Khendek
Session 2A: Architecture, Framework & Components II
wwHww : An Application Framework of Distributed Systems for Enduser-Initiative DevelopmentFull-text access may be available. Sign in or learn about subscription options.pp. 102
by Takeshi Chusho, Katsuya Fujiwara
Session 2A: Architecture, Framework & Components II
A Comprehensive Interface Definition Framework for Software ComponentsFull-text access may be available. Sign in or learn about subscription options.pp. 110
by Jun Han
Session 2B: Software Design Methodology
CTAG Software Generator Model for Constructing Network ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 120
by Tomohiro Matsuzaki, Takehiro Tokuda
Session 2B: Software Design Methodology
Computer-Assisted Analysis and Refinement of Informal Software Requirements DocumentsFull-text access may be available. Sign in or learn about subscription options.pp. 128
by J.L. Cybulski, K. Reed
Session 2B: Software Design Methodology
Explicit Representation of Business PoliciesFull-text access may be available. Sign in or learn about subscription options.pp. 136
by D.C.C. Poo
Session 2B: Software Design Methodology
Liaison: A Workflow Model for Novel ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 144
by D.K.C. Chan, K.R.P.H. Leung, C.Y. Yan, K.C.C. Chan
Session 2C: Validation and Verification I
High Performance Technique for Ultrareliable Execution of Tasks Under Both Hardware and Software FaultsFull-text access may be available. Sign in or learn about subscription options.pp. 154
by O.A. Abulnaja, S.H. Hosseini, K. Vairavan
Session 2C: Validation and Verification I
Specification-Based Class Testing with ClassBenchFull-text access may be available. Sign in or learn about subscription options.pp. 164
by L. Murray, J. McDonald, P. Strooper
Session 2C: Validation and Verification I
Mutation-Based Inter-Class TestingFull-text access may be available. Sign in or learn about subscription options.pp. 174
by H. Yoon, B. Choi, J.-O. Jeon
Session 2C: Validation and Verification I
A Technique for Analyzing and Testing Object-Oriented Software Using Colored Petri NetsFull-text access may be available. Sign in or learn about subscription options.pp. 182
by H. Watanabe, H. Tokuoka, W. Wu, M. Saeki
Session 3A: UML
Reusing UML Specifications in a Constrained Application DomainFull-text access may be available. Sign in or learn about subscription options.pp. 196
by M.C. Blok, J.L. Cybulski
Session 3A: UML
Techniques for Systematically Generating Framework Diagram based on UMLFull-text access may be available. Sign in or learn about subscription options.pp. 203
by Dong Kwan Kim, Hyo Taeg Jung, Chae Kyu Kim
Session 3A: UML
A UML-Based Object-Oriented Framework Development MethodologyFull-text access may be available. Sign in or learn about subscription options.pp. 211
by Y.J. Yang, S.Y. Kim, G.J. Choi, E.S. Cho, C.J. Kim, S.D. Kim
Session 3B: Software Development Environment
An Experience Report Related to Restructuring OODesigner: A CASE Tool for OMTFull-text access may be available. Sign in or learn about subscription options.pp. 220
by Taegyun Kim, Nacer Boudjlida
Session 3B: Software Development Environment
Customizable Software Engineering Environments for Flexible Distributed Software TeamsFull-text access may be available. Sign in or learn about subscription options.pp. 228
by Robert P. Biuk-Aghai
Session 3B: Software Development Environment
An Efficient Version Model of Software DiagramsFull-text access may be available. Sign in or learn about subscription options.pp. 236
by Jungkyu Rho, Chisu Wu
Session 3B: Software Development Environment
Component and Data Distribution in a Distributed Workflow Management SystemFull-text access may be available. Sign in or learn about subscription options.pp. 244
by S.-Y. Hwang, C.-T. Yang
Session 3C: Validation and Verification II
Verifying Model Oriented Specifications through AnimationFull-text access may be available. Sign in or learn about subscription options.pp. 254
by E. Kazmierczak, M. Winikoff, P. Dart
Session 3C: Validation and Verification II
Design and Implementation of Test-Case Generation for Concurrent ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 262
by Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima
Session 3C: Validation and Verification II
An Automatic Test Case Generator Derived from State-Based TestingFull-text access may be available. Sign in or learn about subscription options.pp. 270
by Bor-Yuan Tsai, Simon Stobart, Norman Parrington, Ian Mitchell
Session 3C: Validation and Verification II
A Scaleable and Modular Approach to Verification of ATM Switching System Using Reverse SpecificationFull-text access may be available. Sign in or learn about subscription options.pp. 278
by C.-s. Chung, M.-k. Lee, M.-s. Jeong
Session 4A: Object-Oriented Techniques I
Interpreting the Object Constraint LanguageFull-text access may be available. Sign in or learn about subscription options.pp. 288
by Ali Hamie, John Howse, Stuart Kent
Session 4A: Object-Oriented Techniques I
Unification and Consistency Verification of Object-Oriented Analysis ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 296
by T. Aoki, T. Katayama
Session 4A: Object-Oriented Techniques I
Change Impact Analysis for A Class HierarchyFull-text access may be available. Sign in or learn about subscription options.pp. 304
by Yoon Kyu Jang, Heung Seok Chae, Yong Rae Kwon, Doo Hwan Bae
Session 4B: Distributed and Mobil Systems
A Computing Model for Distributed Processing Systems and Its ApplicationFull-text access may be available. Sign in or learn about subscription options.pp. 314
by Hisashi Okada, Hiromichi Iwata, Haruo Toyama, Yoshitomi Morisawa
Session 4B: Distributed and Mobil Systems
Partitioning and Allocation of Objects in Heterogeneous Distributed Environments Using the Niched Pareto Genetic-AlgorithmFull-text access may be available. Sign in or learn about subscription options.pp. 322
by Seunghoon Choi, Chisu Wu
Session 4B: Distributed and Mobil Systems
COPEN: A CORBA-Based Intelligent Push EngineFull-text access may be available. Sign in or learn about subscription options.pp. 330
by B.R. Yoon, J.J. You, S.D. Kim
Session 4B: Distributed and Mobil Systems
CSMonitor: A Visual Client/Server Monitor for CORBA-Based Distributed ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 338
by C.H. Choi, M.G. Choi, S.D. Kim
Session 5A: Object-Oriented Techniques II
The CACTUS Object Server: Design and Implementation IssuesFull-text access may be available. Sign in or learn about subscription options.pp. 354
by I.-H. Meng, W.-P. Yang, S.-M. Lin, M.-A. Chen, S.-K. Chen, J.-C. Dai
Session 5A: Object-Oriented Techniques II
Constructing a Toolset for Software Maintenance with OOAGFull-text access may be available. Sign in or learn about subscription options.pp. 361
by C.-H. Hu, J.-T. Yang, F.-J. Wang, W.C. Chu
Session 5A: Object-Oriented Techniques II
A Difference-Based Version Model for OODBMSFull-text access may be available. Sign in or learn about subscription options.pp. 369
by Kuen-Fang Jea, Hwai-Bih Feng, Yang-Ren Yau, Shih-Kung Chen, Jian-Cheng Dai
Session 5A: Object-Oriented Techniques II
Method of User-Customizable GUI Generation and Its EvaluationFull-text access may be available. Sign in or learn about subscription options.pp. 377
by Junko Shirogane, Yoshiaki Fukazawa
Panel Session 3A: Distributed Object-Oriented Computing Architecture
Author IndexFreely available from IEEE.pp. 386
Showing 50 out of 50