The Community for Technology Leaders
RSS Icon
Subscribe
Proceedings Asia-Pacific Software Engineering Conference (2002)
Gold Coast, Queensland, Australia
Dec. 4, 2002 to Dec. 6, 2002
ISBN: 0-7695-1850-8
TABLE OF CONTENTS
pp. xiii
pp. xiv
Reviewers (PDF)
pp. xvi
Session 1A: Requirements Engineering
Didar Zowghi , University of Technology
N Nurmuliani , University of Technology
pp. 3
Session 1B: Formal Methods (Refinement)
Martin C. Henson , University of Essex
Steve Reeves , University of Waikato
pp. 33
Jamie Shield , The University of Queensland
Ian J. Hayes , The University of Queensland
pp. 52
Session 1C: Components
Henrik Algestam , Soft Center
Marcus Offesson , Soft Center
Lars Lundberg , Blekinge Institute of Technology
pp. 65
Yan (Jenny) Liu , School of Information Technologies
Ian Gorton , Pacific Northwest National Laboratory
Anna Liu , School of Information Technologies
Shiping Chen , CSIRO Mathematical and Information Sciences
pp. 74
Ulf Paulsson , Blekinge Institute of Technology
Robert Elfwing , Blekinge Institute of Technology
pp. 84
Session 2A: Design
Toshiaki Aoki , Japan Advanced Institute of Science and Technology
Takuya Katayama , Japan Advanced Institute of Science and Technology
pp. 107
Chen-Liang Fang , National Taiwan University of Science and Technology; JinWen Institute of Technology
Chyouhwa Chen , National Taiwan University of Science and Technology
Fengyi Lin , Chihlee Institute of Commerce
pp. 117
Session 2B: Formal Specifications Analysis
Doug Goldson , University of Queensland
pp. 129
Neil J. Robinson , The University of Queensland
Colin Fidge , The University of Queensland
pp. 137
Ralph-Johan Back , Turku Centre for Computer Science (TUCS)
Cristina Cerschi Seceleanu , Turku Centre for Computer Science (TUCS)
Jan Westerholm , Turku Centre for Computer Science (TUCS)
pp. 147
Session 2C: Programming Languages and Software Engineering
Tetsuo Kamina , University of Tokyo
Tetsuo Tamai , University of Tokyo
pp. 159
Chiu Wo Choi , The Chinese University of Hong Kong
Ka Boon Kevin Ng , Honeywell Automation and Control Solutions
pp. 167
Yoshida Atsushi , Wakayama University
Fukuyasu Naoki , Wakayama University
pp. 176
Keynote
Stephen E. Cross , Carnegie Mellon University
pp. 187
Session 3A: Education
Allen H. Dutoit , Technische Universit?t M?nchen
Andreas Braun , Accenture
Bernd Brüge , Technische Universit?t M?nchen
pp. 197
Session 3B: Model Checking
Natalia Ioustinova , CWI (Centrum voor Wiskunde en Informatica)
Natalia Sidorova , Eindhoven University of Technology
Martin Steffen , Christian-Albrechts-Universit?
pp. 227
Session 3C: Human Computer Interaction
Takeshi Chusho , Meiji University
Keiji Minamitani , Meiji University
pp. 239
Naoki Ohsugi , Nara Institute of Science and Technology
Akito Monden , Nara Institute of Science and Technology
Ken-ichi Matsumoto , Nara Institute of Science and Technology
pp. 248
Keynote
Pankaj Jalote , Indian Institute of Technology Kanpur
pp. 261
Session 4A: Software Design and Architecture
Lee Momtahan , Oxford University Computing Laboratory
Andrew Martin , Oxford University Computing Laboratory
pp. 269
Session 4B: Formal Methods (Components)
C. J. Fidge , The University of Queensland
pp. 297
David Hemer , The University of Queensland
pp. 307
Session 4C: Software Maintenance
Toshihiro Kamiya , Osaka University
Shinji Kusumoto , Osaka University
Yasushi Ueda , Osaka University
pp. 327
Sang-Uk Jeon , Korea Advanced Institute of Science and Technology
Joon-Sang Lee , Korea Advanced Institute of Science and Technology
Doo-Hwan Bae , Korea Advanced Institute of Science and Technology
pp. 337
Session 5A: Software Process
James M. Hogan , Queensland University of Technology
Glenn Smith , Queensland University of Technology
Richard Thomas , Queensland University of Technology
pp. 366
Seungjin Lee , Seoul National University
Junho Shim , Sookmyung Women?s University
Chisu Wu , Seoul National University
pp. 376
Session 5B: Formal Methods (Design)
Christophe Gaston , L.a.M.I., Universit? d'?vry
Marc Aiguier , L.a.M.I., Universit? d'?vry
pp. 385
Pao-Ann Hsiung , National Chung Cheng University
Feng-Shi Su , National Chung Cheng University
pp. 395
Jing Sun , National University of Singapore
Jin Song Dong , National University of Singapore
pp. 405
Session 5C: Server-Based Applications
Twittie Senivongse , Chulalongkorn University
Chayan Tapabut , Chulalongkorn University
pp. 425
Shiping Chen , CSIRO Mathematical and Information Sciences
Ian Gorton , Pacific Northwest National Laboratory
pp. 435
Panel
Session 6A: Review and Testing
Ahyoung Sung , Ewha Womans University
Byoungju Choi , Ewha Womans University
pp. 457
Ponrudee Netisopakul , Case Western Reserve University
John Morris , The University of Western Australia
pp. 465
Session 6B: UML
Hung LEDANG , LORIA - Universit? Nancy 2 - UMR 7503
Jeanine SOUQUIÈRES , LORIA - Universit? Nancy 2 - UMR 7503
pp. 495
Session 6C: Measurement
James M. Hogan , Queensland University of Technology
Jaspar Cahill , Queensland University of Technology
pp. 507
David Rowe , University of Technology
Tim O?Neill , University of Technology
pp. 527
Keynote
Ross Jeffery , University of New South Wales
Louise Scott , University of New South Wales
pp. 539
Session 7A: Documentation
Andreas Kacofegitis , University of Canterbury
pp. 549
Session 7B: Project Management
Session 7C: Knowledge-Based Approaches
Chengqi Zhang , University of Technology
Chunsheng Li , University of Technology
Zili Zhang , Deakin University
pp. 593
Louise Scott , University of New South Wales
Lucila Carvalho , University of New South Wales
Ross Jeffery , University of New South Wales
pp. 603
pp. 611
18 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool