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
Soon-Kyeong Kim , The University of Queensland
David Carrington , The University of Queensland
pp. 12
Session 1B: Formal Methods (Refinement)
Moshe Deutsch , University of Essex
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
Robert Elfwing , Blekinge Institute of Technology
Ulf Paulsson , Blekinge Institute of Technology
Lars Lundberg , Blekinge Institute of Technology
pp. 84
Session 2A: Design
Anne Hannington , La Trobe University
Karl Reed , Bond University
pp. 97
Mitsutaka Okazaki , Japan Advanced Institute of Science and Technology
Toshiaki Aoki , Japan Advanced Institute of Science and Technology
Takuya Katayama , Japan Advanced Institute of Science and Technology
pp. 107
Deron Liang , National Taiwan Ocean University
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
Ka Boon Kevin Ng , Honeywell Automation and Control Solutions
Chiu Wo Choi , The Chinese University of Hong Kong
Martin Henz , National University of Singapore
pp. 167
Yoshida Atsushi , Wakayama University
Fukuyasu Naoki , Wakayama University
pp. 176
Keynote
Stephen E. Cross , Carnegie Mellon University
pp. 187
Session 3A: Education
Andreas Braun , Accenture
Allen H. Dutoit , Technische Universit?t M?nchen
Andreas G. Harrer , Technische Universit?t M?nchen
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
Katsuya Fujiwara , 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
Heeseok Choi , Pusan National University
Keunhyuk Yeom , Pusan National University
pp. 286
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
Yasushi Ueda , Osaka University
Toshihiro Kamiya , Osaka University
Shinji Kusumoto , Osaka University
Katsuro Inoue , 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
Ying Zou , University of Waterloo
Kostas Kontogiannis , University of Waterloo
pp. 346
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)
Marc Aiguier , L.a.M.I., Universit? d'?vry
Christophe Gaston , L.a.M.I., Universit? d'?vry
Pascale Le Gall , L.a.M.I., Universit? d'?vry
pp. 385
Pao-Ann Hsiung , National Chung Cheng University
Trong-Yen Lee , National Taipei University of Technology
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
Chayan Tapabut , Chulalongkorn University
Twittie Senivongse , Chulalongkorn University
Kokichi Futatsugi , Japan Advanced Institute of Science and Technology
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
Lee J. White , Case Western Reserve University
John Morris , The University of Western Australia
pp. 465
Session 6B: UML
Mathupayas Thongmak , Chulalongkorn University
Pornsiri Muenchaisri , Chulalongkorn University
pp. 485
Hung LEDANG , LORIA - Universit? Nancy 2 - UMR 7503
Jeanine SOUQUIÈRES , LORIA - Universit? Nancy 2 - UMR 7503
pp. 495
Session 6C: Measurement
Jaspar Cahill , Queensland University of Technology
James M. Hogan , Queensland University of Technology
Richard Thomas , Queensland University of Technology
pp. 507
Aftab Ahmad , Fauji Foundation Institute of Management and Computer Sciences
Muhammad Talha , Western Illinois University
pp. 517
John Leaney , University of Technology
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
Neville Churcher , University of Canterbury
pp. 549
Sahida Sulaiman , Universiti Teknologi Malaysia
Norbik Bashah Idris , Universiti Teknologi Malaysia
Shamsul Sahibuddin , Universiti Teknologi Malaysia
pp. 558
Session 7B: Project Management
Noriko Hanakawa , Hannan University
Ken-ichi Matsumoto , Nara Institute Science and Technology
Koji Torii , Nara Institute Science and Technology
pp. 571
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
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool