5. APSEC 1998: Taipei, Taiwan, ROC

Architecture, Framework & Components I

• Byungjeong Lee, Byungro Moon, Chisu Wu:
  Optimization of Multi-way Clustering and Retrieval using Genetic Algorithms in Reusable Class Library. 4-11
  
• Yoshio Satoh:
  Experiment of Component-Based Software Development on Multiple Distributed Object Environments. 12-19
  
• Chao-Hsin Lin, Tzilla Elrad:
  An Enhanced Reflective Architecture for Adaptation of the Object-Oriented Language/Software. 20-27
  
• Jason Baragry, Karl Reed:
  Why Is It So Hard to Define Software Architecture? 28-
  

Formal Methods

• Jean-Yves Lucas, Jean-Luc Dormoy, Bruno Ginoux, Claudia Jimenez-Dominguez, Laurent Pierre:
  How to Reconcile Formal Specifications and Automatic Programming: The Descartes System. 38-45
  
• Saeeiab Sureerat, Motoshi Saeki:
  Integration of Software Analysis and Design Methods with Formal Description Techniques. 46-53
  
• Chulhong Kim, Kangho Kim, Cheoljoo Jeong, Youngbae Oh:
  Automatically Generating C++ Programs from LOTOS Behavior Specifications. 54-60
  
• Zhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodong Liu, Hongji Yang:
  A Refinement Calculus for the Development of Real-Time Systems. 61-
  

Metrics & Quality Assurance

• Sen-Tarng Lai, Chien-Chiao Yang:
  A Software Metric Combination Model for Software Reuse. 70-77
  
• Eun Sook Cho, Chul Jin Kim, Soo Dong Kim, Sung Yul Rhew:
  Static and Dynamic Metrics for Effective Object Clustering. 78-85
  
• Franck Xia:
  On The Danger Of Developing Measures Without Clarifying Concepts. 86-
  

Architecture, Framework & Components II

• Greg Butler, Peter Grogono, Ferhat Khendek:
  A Reuse Case Perspective on Documenting Frameworks. 94-101
  
• Takeshi Chusho, Katsuya Fujiwara:
  wwHww : An Application Framework of Distributed Systems for Enduser-Initiative Development. 102-109
  
• Jun Han:
  A Comprehensive Interface Definition Framework for Software Components. 110-
  

Software Design Methodology

• Tomohiro Matsuzaki, Takehiro Tokuda:
  CTAG Software Generator Model for Constructing Network Applications. 120-127
  
• Jacob L. Cybulski, Karl Reed:
  Computer-Assisted Analysis and Refinement of Informal Software Requirements Documents. 128-135
  
• Danny C. C. Poo:
  Explicit Representation of Business Policies. 136-143
  
• Daniel K. C. Chan, Karl R. P. H. Leung, Ching Ying Yan, Keith C. C. Chan:
  Liaison: A Workflow Model for Novel Applications. 144-
  

Validation and Verification I

• O. A. Abulnaja, Seyed H. Hosseini, K. Vairavan:
  High Performance Technique for Ultrareliable Execution of Tasks Under Both Hardware and Software Faults. 154-163
  
• Leesa Murray, Jason McDonald, Paul A. Strooper:
  Specification-Based Class Testing with ClassBench. 164-173
  
• Hoijin Yoon, Byoungju Choi, Jin-Ok Jeon:
  Mutation-Based Inter-Class Testing. 174-181
  
• Harumi Watanabe, Hiroki Tokuoka, Wenxin Wu, Motoshi Saeki:
  A Technique for Analyzing and Testing Object-Oriented Software Using Colored Petri Nets. 182-
  

UML

• Maurits C. Blok, Jacob L. Cybulski:
  Reusing UML Specifications in a Constrained Application Domain. 196-202
  
• Dong Kwan Kim, Hyo Taeg Jung, Chae Kyu Kim:
  Techniques for Systematically Generating Framework Diagram based on UML. 203-210
  
• Young Jong Yang, Soon Yong Kim, Gui Ja Choi, Eun Sook Cho, Chul Jin Kim, Soo Dong Kim:
  A UML-Based Object-Oriented Framework Development Methodology. 211-
  

Software Development Environment

• Taegyun Kim, Nacer Boudjlida:
  An Experience Report Related to Restructuring OODesigner: A CASE Tool for OMT. 220-227
  
• Robert P. Biuk-Aghai:
  Customizable Software Engineering Environments for Flexible Distributed Software Teams. 228-243
  
• San-Yih Hwang, Chi-Ten Yang:
  Component and Data Distribution in a Distributed Workflow Management System. 244-
  

Validation and Verification II

• Edmund Kazmierczak, Michael Winikoff, Philip W. Dart:
  Verifying Model Oriented Specifications through Animation. 254-261
  
• Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima:
  Design and Implementation of Test-Case Generation for Concurrent Programs. 262-269
  
• Bor-Yuan Tsai, Simon Stobart, Norman Parrington, Ian Mitchell:
  An Automatic Test Case Generator Derived from State-Based Testing. 270-277
  
• Chang-shin Chung, Moon-kun Lee, Myung-sun Jeong:
  A Scaleable and Modular Approach to Verification of ATM Switching System Using Reverse Specification. 278-
  

Object-Oriented Techniques I

• Ali Hamie, John Howse, Stuart Kent:
  Interpreting the Object Constraint Language. 288-295
  
• Toshiaki Aoki, Takuya Katayama:
  Unification and Consistency Verification of Object-Oriented Analysis Models. 296-303
  
• Yoon Kyu Jang, Heung Seok Chae, Yong Rae Kwon, Doo-Hwan Bae:
  Change Impact Analysis for A Class Hierarchy. 304-
  

Distributed and Mobil Systems

• Hisashi Okada, Hiromichi Iwata, Haruo Toyama, Yoshitomi Morisawa:
  A Computing Model for Distributed Processing Systems and Its Application. 314-321
  
• Seunghoon Choi, Chisu Wu:
  Partitioning and Allocation of Objects in Heterogeneous Distributed Environments Using the Niched Pareto Genetic-Algorithm. 322-329
  
• Bum Ryeol Yoon, Jae Jeong You, Soo Dong Kim:
  COPEN: A CORBA-Based Intelligent Push Engine. 330-337
  
• Cang Ho Choi, Myong Gyun Choi, Soo Dong Kim:
  CSMonitor: A Visual Client/Server Monitor for CORBA-Based Distributed Applications. 338-
  

Object-Oriented Techniques II

• I-Heng Meng, Wei-Pang Yang, Swu-Mei Lin, Mu-Ann Chen, Shih-Kung Chen, Jian-Cheng Dai:
  The CACTUS Object Server: Design and Implementation Issues. 354-360
  
• Chung-Hua Hu, Ji-Tzay Yang, Feng-Jian Wang, William C. Chu:
  Constructing a Toolset for Software Maintenance with OOAG. 361-368
  
• Kuen-Fang Jea, Hwai-Bih Feng, Yang-Ren Yau, Shih-Kung Chen, Jian-Cheng Dai:
  A Difference-Based Version Model for OODBMS. 369-376
  
• Junko Shirogane, Yoshiaki Fukazawa:
  Method of User-Customizable GUI Generation and Its Evaluation. 377-
  

Last update Wed May 22 00:34:19 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page