| |
| TUESDAY, DECEMBER 9, 2003 |
| |
 |
| Welcome reception |
| |
| WEDNESDAY, DECEMBER 10, 2003 |
| |
|
| Opening Ceremony |
| |
|
| Professor Takuya Katayama |
| |
|
| Session 1A: Requirements Engineering |
- Matching Software Practitioner Needs to Researcher Activities,
Martin S. Feather, Jet Propulsion Laboratory,
California Institute of Technology Tim Menzies, Lane Dept.
of Computer Science & Electrical Engineering, West Virginia
University Judith R. Connelly, NASA IV&V Facility
- PAORE: Package Oriented Requirements Elicitation, Junzo
Kato, ARGO SOKEN Inc. Motoshi Saeki, Tokyo Institute of Technology
Atsushi Ohnishi, Ritsumeikan University Morio Nagata, Keio
University Haruhiko Kaiya, Shinshu University Seiichi Komiya,
Shibaura Institute of Technology Shuichiro Yamamoto, NTT Data
Corportaion Hisayuki Horai, Celestar Lexico-Sciences, Inc.
Kenji Watahiki, Tokyo Institute of Technology Japan
|
|
| Session 1B: Formal Methods (1) |
- Generalizing the Z Schema Calculus: Database Schemas and
Beyond, Andrew Martin and Andrew Simpson,
Oxford University Computing Laboratory, United Kingdom
- An Analysis of Backward Simulation Data-Refinement for Partial
Relation Semantics, Moshe Deutsch and
Martin C. Henson, Department of Computer Science, University
of Essex
- Academia and industry meet: Some experiences of formal methods
in practice, Guy H. Broadfoot, Silverdata
Ltd., United Kingdom Philippa J. Broadfoot, Oxford University
Computinh Laboratory, United Kingdom
|
| |
| Session 1C: Maintenance and Reuse |
- Discovering Use Cases from Source Code using the Branch-Reserved
Call Graph, Tao Qin, Lu Zhang, Zhiying
Zhou, Dan Hao, Jiasu Sun Software Engineering Institute, Peking
University, P.R. China
- Understanding How the Requirements Are Implemented in Source
Code, Wei Zhao, Lu Zhang, Yin Liu,
Jing Luo, Jiasu Sun
Department of Computer Science and Technology, Peking University,
P.R. China
- Component Regression Test Selection based on Version Changes,
Bugi Wibowo and A.S.M. Sajeev, School
of Mathematics, Statistics & Computer Science, University
of New England, Australia
|
| |
|
| Session 2A: Formal Methods (2) |
- Towards a Sound Modular Model Checking of
Collaboration-Based Software Designs, Nguyen
Truong Thang and Takuya Katayama, School of Information Science
Japan Advanced Institute of Science and Technology (JAIST),
Japan
- Formal Verification of Type Flaw Attacks in Security Protocols,
Benjamin W. Long, School of Information
Technology and Electrical Engineering, The University of Queensland,
Australia
- Reasoning about Pointers in Refinement Calculus, Ralph-Johan
Back, Xiaocong Fan, Viorel Preoteasa Department of Computer
Science, Abo Akademi University and Turku Centre for Computer
Science
|
| |
| Session 2B: Product Lines and Reuse |
- An XVCL Approach to Handling Variants: A KWIC Product Line
Example, Hongyu Zhang, Stan Jarzabek,
Department of Computer Science, School of Computing, National
University of Singapore
- A Domain Analysis Method for Software Product Lines based
on Scenarios, Goals and Features, Minseong
Kim, Hwasil Yang, Sooyong Park, Department of Compter Science
and Engineering, Sogang University
- Facilitating Reuse of Software Components using Repository
Technique, Jihyun Lee, Jin-Sam Kim
Gyu-Sang Shin, Chang-Soon Park Software Engineering Research
Team Electrinics and Telecommunications Research Institute,
South Korea
|
| |
| Session 2C: Software Documentation |
- Developing Relational Navigation to Effectively Understand
Software, Daniel Jarrott and Anthony
MacDonald, School of Information Technology and Electrical
Engineering, The University of Queensland
- Re-documenting, Visualizing and Understanding Software System
Using DocLike Viewer, Shahida Sulaiman,
Universiti Sains Malaysia (USM), Norbik Bashah Idris, CASE,
Universiti Teknologi Malaysia (UTM), Kuala Lumpur, Malaysia
Shamsul Sahibuddin and Sarina Sulaiman, Faculty of Computer
Science & Information Technology, Universiti Teknologi
Malaysia, Skudai, Johor, Malaysia
- The Software Concordance: Using a Uniform Document Model
to Integrate Program Analysis and Hypermedia, Satish
Chandra Gupta, IBM Rational, India Tien Nguyen, and Ethan
V. Munson, University of Wisconsin - Milwaukee, USA
|
| |
|
| Session 3A: Formal Methods (3) |
- Implementing Angelic Clairvoyance, Orieta
Celiku, and Joakim von Wright, Turku Centre for Computer Science
and Abo Akademi University, Finland
- Rigorous EBNF-based Definition for a Graphic Modeling Language,
Yong Xia, and Martin Glinz, Department
of Information Technology, University of Zurich, Switzerland
- Modular refinement in a novel schema calculi, Moshe
Deutsch, Martin C. Henson, and Besnik
|
| |
| Session 3B: Software Architecture and Object-Oriented |
- A Two-Level Hierarchy Software Architecture Framework for
the Manufacturing Industry, Whey Seen Heah,
and Mohamed K. Omar, Multimedia University (Melaka), Malaysia
- DRC: A Dependence Relationships Based Cohesion Measure for
Classes, Yuming Zhou, Lijie Wen, Jianmin
Wang, and Yujian Chen, School of Software, Tsinghua University,
Beijing, P.R. China< Hongmin Lu, and Baowen Xu, Department
of computer science & engineering, Southeast University,
Nanjing, P.R. China
- A Method of Implementing UML Virtual Machines With Some
Constraints Based on Abstract State Machines, Wuwei
Shen, Western Michigan University Kevin Compton, The University
of Michigan James Huggins, Kettering University
|
| |
| Session 3C: Software Process |
- Ontology-based Process Modeling for XP, Paolo
Ceravolo, and Ernesto Damiani, Dipartimento di Tecnologie
dell'Informazione, Universita di Milano Michele Marchesi and
Sandro Pinna, Dipartimento di Ingegneria Elettrica, Universita
di Cagliari Francesco Zavatarelli, Dipartimento di Tecnologie
dell'Informazione, Universita di Milano
- Modeling and Enacting Software Processes
Using VRPML, Kamal Z. Zamli and Peter A. Lee School of
Computing Science University of Newcastle upon Tyne, England
- A Model of SCM Practices Workflow for CMM Organizations,
Pornthep Seawlho and Taratip Suwannasart,
Department of Computer Engineering, Chulalongkorn University,
Thailand
|
| |
| THURSDAY, DECEMBER 11, 2003 |
| |
|
| - Professor Bertrand Meyer |
| |
|
| Session 4A: Frameworks |
- Implementing the PostgreSQL Query Optimizer within the OPT++
Framework, JJu Wang, Jinmiao Li, and Greg
Butler, Concordia University, Quebec, Canada
- Application method for process framework,
Kazutoshi Shimanaka, Jinji Koga, Naoki Sugiwaka, andTakeshi
Sakamoto, NTT COMWARE CORPORATION, Japan
|
| |
| Session 4B: Computer Supported Cooperative Work and
Software Engineering |
- Awareness Support in Group-based Software Engineering Education
System, Kunihiko Chiken, and Atsuo Hazeyama,
Department of Mathematics and Informatics, Tokyo Gakugei University
- An Extensible Framework for Collaborative Software Engineering,
Carl Cook and Neville Churcher, Department
of Computer Science, University of Canterbury
|
| |
| Session 4C: Mobile and Web Services |
- JINI/J2EE Bridge for Large-scale IP Phone Services, JJia
Yu, The University of Melbourne Jan Newmarch, Monash University
Michael Geisler, Sun Microsystems, Melbourne
- Fault Tolerant Web Service, Deron Liang,
Institute of Information Science, Academia Sinica Chen-Liang
Fang, Department of Information Management, Jin-Wen Institute
of Technology Chyouhwa Chen, Department of Electronic Engineering,
National Taiwan University of Science and Technology
|
| |
|
| Excursion |
| |
|
| Conference dinner |
| |
| FRIDAY, DECEMBER 12, 2003 |
| |
|
| Professor Shi-Kuo Chang |
| |
|
| Session 5A: Software Testing (1) |
- Tool Support for Generating Passive C++ Test Oracles from
Object-Z Specifications, Jason McDonald
and Paul Strooper School of Information Technology and Electrical
Engineering The University of Queensland, Australia
- Testing Criteria for Data Flow Software, Thanh
Binh Nguyen, Michel Delaunay, and Chantal Robach, LCIS-ESISAR,
France
- Challenging Formal Specifications by Mutation: a CSP security
example, Thitima Srivatanakul, John A.
Clark, Susan Stepney, and Fiona Polack, Department of Computer
Science, University of York, UK
|
| |
| Session 5B: Component-Based Software Engineering (1) |
- COTS Characterization Model in a COTS-Based Development
Environment, Sihem BEN SASSI, Lamia LABED
JILANI, and Henda HAJJAMI BEN GHEZALA, Laboratoire Riadi-Gdl,
Ecole Nationale des Sciences de l'Informatique, Tunisie
- An Environment for Evolutionary Prototyping Java Programs
based on Abstract Interpretation, Hiroyuki
Ozaki, Japan Advanced Institute of Science and Technology
Shingo Ban, QUALICA Inc. Katsuhiko Gondow, Tokyo Institute
of Technology Takuya Katayama, Japan Advanced Institute of
Science and Technology
- Case Study: Reconnaissance Techniques to Support Feature
Location using RECON2, Suhaimi
Ibrahim and Norbik Bashah Idris Universiti Teknologi Malaysia
Aziz Deraman, Universiti Kebangsaan Malaysia
|
| |
| Session 5C: Software Design |
- Finite-State Modeling for Design of Complex Systems, Sukhamay Kundu, Computer Science Department Louisiana State University, USA
- Specifying Roles within Agent-Oriented Software Engineering,
Kevin Chan and Leon Sterling University
of Melbourne
- XSLT Template Design for Generating Web Presentation Layer,
Jung-Hwa Chae, Cheol-Jung Yoo, Young-Sung
Kim, and Ok-Bae Jang, Chonbuk National University, Chonju,
Korea
|
| |
| |
|
| Session 6A: Software Testing (2) |
- Automated Test Generation from Object-Oriented Specifications
of Real-Time Reactive Systems, Vasu
Alagar, Ming Chen, and Olga Ormandjieva, Department of Computer
Science, Concordia University Mao Zheng, Department of Computer
Science University of Wisconsin
- Controllability Mechanism for Object-Oriented Software Testing,
Anita Goel, Anita Goel, Dyal SIngh College,
University of Delhi, New Delhi-110003, India S.C. Gupta, National
Informatics Center, NIC, A Block, New Delhi-110003, India
S.K. Wasan, Jamia Millia Islamia, Department of Mathematics,
New Delhi-110025, India
- Generating Test Oracle for Role Binding in Multi-Agent Systems,
Xin Wang, Qi Yan, and ZhiChang Qi Department
of Computer Science and Technology, University of Defense
Technology
|
| |
| Session 6B: Component-Based Software Engineering (2) |
- Ensuring Compatible Interactions within Component-based
Software Systems, Jun Han and Ksze Kae
Ker, School of Information Technology, Swinburne University of Technology, Australia
- Specification Matching of State-Based Modular Components,
David Hemer, Software Verification Research
Centre The University of Queensland, Australia
- Selecting Components: a Process for Context-Driven Evaluation,
Valerie Maxville and Chiou Peng Lam, Edith
Cowan University Jocelyn Armarego, Murdoch University, Australia
|
| |
| Session 6C: Software Development Method |
- Software Engineering Methods for Neural Networks, Anthony
Senyard, Ed Kazmierczak, and Leon Sterling, Department of
Computer Science and Software Engineering, The University
of Melbourne, Australia
- Security-Critical System Development with Extended Use Cases,
Gerhard Popp and Jan Juerjens, Munich University
of Technology, Germany Ruth Breu, Innsbruck University, Austria
- Developing Secure Networked Web-Based Systems Using Model-based
Risk Assessment and UMLsec, Siv Hilde Houmb,
Norwegian University of Science and Technology Jan Jurjens,
Munich University of Technology
|
| |
| |
|
| Session 7A: Technical Reviews |
- Experience, Task Training and Software Review Performance,
Yuk Wong, University of Technology, Sydney
- Utilizing Specification Testing in Review Task Trees for
Rigorous Review of Formal Specifications, Shaoying
Liu, Department of Computer Science, Hosei University, Japan
- An Extension of the Behavioral Theory of Group Performance
in Software Development Technical Reviews, Lesley
Land, The University of New South Wales Bernard Wong, University
of Technology, Sydney Ross Jeffery, The University of New
South Wales /National ICTA, Australia
|
| |
| Session 7B: Distributed Systems |
- Extending the theory of Owicki and Gries with asynchronous
message passing, Doug Goldson, School of
ITEE, University of Queensland, Australia
- Psachno: A Dynamic and Generic Discovery Framework within
a Peer-to-Peer Network Model, Nicholas
Nicoloudis and Christine Mingins, Monash University
- Evaluating Semantic Warnings in VoIP Programmable Services
with Open Source Environment, Pattara Leelaprute,
Graduate School of Information Science and Technology, Osaka
University, Japan Masahide Nakamura, Graduate School of Information
Science, Nara Institute of Science and Technology, Japan Ken'ichi
Matsumoto, Graduate School of Information Science, Nara Institute
of Science and Technology, Japan Tohru Kikuno, Graduate School
of Information Science and Technology, Osaka University, Japan
|
| |
| Session 7C: Computer Supported Cooperative Work and
Software Engineering (3) |
- Implementing Exception Handling Policies for Workflow Management
Systems, Jinmiao Li, Yun Mai, and Greg
Butler, Computer Science Department, Concordia University
- An Extended Policy Language for Role Resolution in Project-Oriented
Workflow, XiaoGuang Zhang, Jian Cao, and
Shensheng Zhang, CIT Lab, Department of Computer Science &
Technology, Shanghai Jiaotong University, Shanghai, P.R.China
|
| |
|
|
