The Community for Technology Leaders
Proceedings Eighth Asia-Pacific Software Engineering Conference (2001)
Macao, China
Dec. 4, 2001 to Dec. 7, 2001
ISBN: 0-7695-1408-1

Analyzing the CRF Java memory model (PDF)

Y. Yang , Sch. of Comput., Utah Univ., Salt Lake City, UT, USA
G. Gopalakrishnan , Sch. of Comput., Utah Univ., Salt Lake City, UT, USA
G. Lindstrom , Sch. of Comput., Utah Univ., Salt Lake City, UT, USA
pp. 21-28

Program specialisation in the refinement calculus (PDF)

L. Groves , Sch. of Math. & Comput. Sci., Victoria Univ., Wellington, New Zealand
pp. 29-36

Program Committee (PDF)

pp. xiii
Keynote I
Session 1A: Formal Methods I
Session 1B: Tools and Environments
Session 2A: Reactive and Real-Time Embedded Systems
Session 2B: System Modeling and Design Methodology
Session 3A: Software Architecture and Framework
Session 3B: Requirements Engineering
Keynote II
Session 4A: Formal Methods II

Using a scenario model to derive the functions of a formal specification (PDF)

M.V. Mauco , Departamento de Computacion y Sistemas, Univ. Nacional del Centro, Buenos Aires, Argentina
pp. 329-332
Session 4B: Software Management and Planning
Session 5A: Software Testing Techniques
Session 5B: Object-Oriented Analysis and Design

null (PDF)

pp. null
Session 6A: Software Maintenance
Session 6B: Formal Methods III
Keynote III
Session 7A: Formal Methods IV
Session 7B: Software Architecture and Framework
Keynote IV
Session 8A: Formal Methods V
Session 8B: Reengineering and Reverse Engineering
Session 9A: Component-Based Design Techniques/Empirical Studies
Session 9B: Formal Methods VI

Author Index (PDF)

pp. 0461
79 ms
(Ver 3.3 (11022016))