5. 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 BibTeX
@proceedings{DBLP:conf/apsec/1998,
title = {5th Asia-Pacific Software Engineering Conference (APSEC '98),
2-4 December 1998, Taipei, Taiwan, ROC},
booktitle = {APSEC},
publisher = {IEEE Computer Society},
year = {1998},
isbn = {0-8186-9183-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Architecture,
Framework & Components I
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
Electronic Edition (link) BibTeX
- Saeeiab Sureerat, Motoshi Saeki:
Integration of Software Analysis and Design Methods with Formal Description Techniques.
46-53
Electronic Edition (link) BibTeX
- Chulhong Kim, Kangho Kim, Cheoljoo Jeong, Youngbae Oh:
Automatically Generating C++ Programs from LOTOS Behavior Specifications.
54-60
Electronic Edition (link) BibTeX
- Zhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodong Liu, Hongji Yang:
A Refinement Calculus for the Development of Real-Time Systems.
61-
Electronic Edition (link) BibTeX
Metrics & Quality Assurance
Architecture,
Framework & Components II
Software Design Methodology
Validation and Verification I
UML
Software Development Environment
Validation and Verification II
Object-Oriented Techniques I
Distributed and Mobil Systems
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
Electronic Edition (link) BibTeX
- Chung-Hua Hu, Ji-Tzay Yang, Feng-Jian Wang, William C. Chu:
Constructing a Toolset for Software Maintenance with OOAG.
361-368
Electronic Edition (link) BibTeX
- Kuen-Fang Jea, Hwai-Bih Feng, Yang-Ren Yau, Shih-Kung Chen, Jian-Cheng Dai:
A Difference-Based Version Model for OODBMS.
369-376
Electronic Edition (link) BibTeX
- Junko Shirogane, Yoshiaki Fukazawa:
Method of User-Customizable GUI Generation and Its Evaluation.
377-
Electronic Edition (link) BibTeX
Copyright © Sat May 16 22:58:21 2009
by Michael Ley (ley@uni-trier.de)
