![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
5th APSEC 1998: Taipei, Taiwan, ROC
- 5th Asia-Pacific Software Engineering Conference (APSEC '98), 2-4 December 1998, Taipei, Taiwan, ROC. IEEE Computer Society 1998, ISBN 0-8186-9183-2
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 Kim Chung 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
- Osama Ahmed 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-
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.