8. APSEC 2001:
Macau,
China
8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China.
IEEE Computer Society 2001, ISBN 0-7695-1408-1 BibTeX
@proceedings{DBLP:conf/apsec/2001,
title = {8th Asia-Pacific Software Engineering Conference (APSEC 2001),
4-7 December 2001, Macau, China},
booktitle = {APSEC},
publisher = {IEEE Computer Society},
year = {2001},
isbn = {0-7695-1408-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Keynote I
Formal Methods I
Tools and Environments
Reactive and Real-Time Embedded Systems
- Juan José Pardo, Valentín Valero Ruiz, Fernando Cuartero, Diego Cazorla:
Automatic Translation of a Timed Process Algebra into Dynamic State Graphs.
63-70
Electronic Edition (link) BibTeX
- Pao-Ann Hsiung, Win-Bin See, Trong-Yen Lee, Jih-Ming Fu, Sao-Jie Chen:
Formal Verification of Embedded Real-Time Software in Component-Based Application Frameworks.
71-78
Electronic Edition (link) BibTeX
- Jong Kook Lee, Seung Jae Seung, Soo Dong Kim, Woo Hyun, Dong Han Han:
Component Identification Method with Coupling and Cohesion.
79-
Electronic Edition (link) BibTeX
System Modeling and Design Methodology
Software Architecture and Framework
Requirements Engineering
Keynote II
Formal Methods II
Software Management and Planning
Software Testing Techniques
Object-Oriented Analysis and Design
Software Maintenance
Formal Methods III
Keynote III
Formal Methods IV
Software Architecture and Framework
- Jaejoon Lee, Sucheol Ha, Kyo Chul Kang, Youngyeol Choo, Yoonpyo Hong, Hwawon Hwang:
Quality Requirement Elicitation for the Architecture Evaluation of Process Computer Systems.
335-340
Electronic Edition (link) BibTeX
- Allen H. Dutoit, Oliver Creighton, Gudrun Klinker, Rafael Kobylinski, Christoph Vilsmeier, Bernd Brügge:
Architectural Issues in Mobile Augmented Reality Systems: A Prototyping Case Study.
341-344
Electronic Edition (link) BibTeX
- Satoru Uehara, Osamu Mizuno, Tohru Kikuno:
Development of Session Management Mechanism for Cellular Phone with WWW Connection.
345-
Electronic Edition (link) BibTeX
Keynote IV
Formal Methods V
Reengineering and Reverse Engineering
Component-Based Design Techniques/Empirical Studies
Formal Methods VI
Copyright © Sat May 16 22:58:21 2009
by Michael Ley (ley@uni-trier.de)
