Time
| Featured
| Object Orientation & Architectures
| Applications & Experiences
| Foundations & Engineering
|
Dec. 7 (Tue)
|
10:00 -12:00
|
Tutorial 1A [in Japanese]
Patterns, T. Nakatani
|
Tutorial 2A [in Japanese]
Jini, H. Yamaguchi
|
Workshop 1
DOSD '99 (Workshop on Domain Oriented Systems Development)
Call for Papers
|
Workshop 2
WSAC '99 (Workshop on Software Architecture and Components)
Call for Papers
|
13:00 -17:00
|
Tutorial 1B
Design Patterns in the Standard Java Libraries,
R. E. Johnson
|
Tutorial 2B [in Japanese]
XML, J. Suzuki
|
Dec. 8 (Wed)
|
10:00 -12:00
| [Opening & Keynote 1]
Patterns: Making the Obvious Profound
Ralph E. Johnson (University of Illinois at Urbana-Champaign, USA)
|
13:00 -15:00
| Software Evolution
- Empirical Observations on Object Evolution,
T. Nakatani, T. Tamai (Japan)
- An Approach for Measuring Software Evolution Using Source Code Features,
L. Tahvildari, R. Gregory, K. Kontogiannis (Canada)
- Software Development Based on Software Pattern Evolution,
T. Kobayashi, M. Saeki (Japan)
| Components & Frameworks 1
- Application of CBSE to Projects with Evolving Requirement Definitions - Lesson Learned,
V. Tran, D. Liu (USA)
- An Operational Component Specification Method,
H. Kim, D. Kim, H. Jung, Y. Chung and D. Bae (Korea)
- Connector Modeling Method for Component Extraction,
Y. Yu, S. Kim, D. Kim (Korea)
- COMO: A UML-Based Component Development Methodology,
S. Lee, Y. Yang, E. Cho, S. Kim (Korea)
| Internet Applications Engineering
- Development of an Intelligent Web Interface to Online Library Catalog Databases,
D. Poo, C. Khoo, T. Toh, G. Hong (Singapore)
- Design of a Framework for Dynamic Content Adaptation to Web-Enabled Terminals and Enterprise Applications,
F. Kitayama, S. Hirose, G. Kondoh, K. Kuse (Japan)
- Evolution of Process Scheduling Mechanism for a Web Server Based on its Behavior while Executing,
S. Sukanya, H. Taniguchi, K. Ushijima (Japan)
- Automatic Selecting of Required Net News Articles, J. Funasaka,
K. Saisho, A. Fukuda (Japan)
| Formal & Visual Methods
- A Formal Specification of the Concurrency Control in Real-Time Databases,
E. Pavlova, D. Hung (Russia)
- Visualization of Formal Specifications,
S. Kim, D. Carrington (Australia)
- Interactive Layout Method for Object Diagrams of OMT,
T. Noguchi and J. Tanaka (Japan)
- A Visual Programming Method for Developing Sequence Controller Programs,
A. Ohnishi, Y. Shin (Japan)
|
15:30 -17:30
| Empirical Software Engineering
- A Study of Productivity and Efficiency for Object-Oriented Methods and Languages,
D. Port, M. McArthur (USA)
- Strongly Formative Pilot Studies on Constraints in Early Life-Cycle Work,
A. Brooks, S. Takada, L. Scott (UK)
- Factor Analysis of Comprehension States in the Learning Phases of a Programming Language,
Y. Takemura, K. Shima, K. Matsumoto, K. Inoue, K. Torii (Japan)
- A Straightforward Approach to Effort Estimation for Updating Programs in Object-Oriented Prototyping Development,
S. Uehara, O. Mizuno, T. Kikuno (Japan)
| Components & Frameworks 2
- Intelligent Search Agent for Software Components,
S. Park, C. Wu (Korea)
- Inter-Class Test Technique between Black-Box-Class and White-Box-Class for Component Customization Failures,
H. Yoon, B. Choi (Korea)
- SMARTS: A Smart CORBA Trader Service,
J. You, S. Kim (Korea)
- An Object-Oriented Framework for Content-Based Image Retrieval Based on 5-tier Architecture,
K. T. Cheung, H. Ip, R. Lam, R. Hanka, L. Tang, G. Fuller (Hong Kong)
| Business Process Modeling & Applications
- Evolution of Business Processes and a Process Simulation Tool,
H. Tarumi, T. Matsuyama, Y. Kambayashi (Japan)
- An Event, Activity and Process Based Methodology for Requirements Elicitation and Its Applications to an Educational Information System,
U. Subramanian (India)
- An Integrated Framework of Supply Chain Management System,
Y. Li (China)
- Software Support for Distributed Business Processes,
V. Gruhn (Germany)
| Requirements Engineering
- A Detecting and Interpreting Method of the Inconsistency of Software Requirements Specifications,
A. Ohnishi, H. Sugimoto (Japan)
- Using Multiple Graphs of Programs to Modify Specifications,
T. Nakanishi, M. Saeki (Japan)
- Conducting Requirements Evolution according to the Replacements of Components,
H. Kaiya, K. Kaijiri (Japan)
|
Dec. 9 (Thr)
|
9:00 -10:30
| Panel: Domain Oriented Systems Development:
Chair: S. Kumagai (Japan)
| Software Architectures
- On Aspect-Oriented Design: An Approach to Designing Quality Attributes,
N. Noda, T. Kishi (Japan)
- Towards a Broader View on Software Architecture Analysis of Flexibility,
N. Lassing, D. Rijsenbrij, J. Vliet (The Netherlands)
- A Reusable Distributed Software Architecture Driven by Metadata,
P. Marino, C. Siguenza, J. Nogueira, F. Poza, M. Dominguez (Spain)
| Software Agents 1
- Analysis and Verification of Multi-Agent Interaction Protocols,
W. Wen, F. Mizoguchi (Japan)
- Bee-gent: Bonding and Encapsulation Enhancement Agent Framework for Development of Distributed Systems,
T. Kawamura, T. Hasegawa, A. Ohsuga, S. Honiden (Japan)
- Design and implementation of Multi-Agent for Intelligent Software,
D. Ramamonjisoa, I. Hamid (Japan)
| Tools & Environments
- Executable C++ Program Generation from the Structured Object-Oriented Design Diagrams,
M. Harada, T. Mizuno (Japan)
- Experience with Porting a Unix Version CASE Tool to the Corresponding Java Version,
T. Kim, G. Shin (Korea)
- xSUDS-SDL: A Tool for Diagnosis and Understanding Software Specifications,
J. Li, S. London, P. Vilela, J. Horgan (USA)
|
11:00 -13:00
| Panel: TBD
| Software Patterns
- A Formal Basis for Object-Oriented Patterns,
A. Cechich, R. Moor (Macao)
- A Source Code Generation Support System Using Design Pattern Documents Based on SGML,
M. Ohtsuki, N. Yoshida, A. Makinouchi (Japan)
- Pattern Based Software Re-Engineering: A Case Study,
W. Chu, C. Lu, J. Shiu, X. He (Taiwan)
- Reusing Use Case Descriptions for Requirements Specification: Towards Use Case Patterns,
M. Saeki (Japan)
| Software Agents 2
- Agent-Oriented Software Modeling,
M. Kim, S. Lee, I. Park, J. Kim, S. Park (Korea)
- Reusable Strategies for Software Agents via the Subsumption Architecture,
G. Butler, A. Gantchev, P. Grogono (Canada)
- An Evloutional Cooperative Computation Based on Adaptation to Environment,
N. Ubayashi, T. Tamai (Japan)
| Program Slicing & Analysis 1
- Slicing Methods Using Static and Dynamic Analysis Information,
Y. Ashida, K. Inoue (Japan)
- Slicing Functional Fragments from Source Programs,
H. Tan, J. Kow (Singapore)
- VRML Program Slicing,
H. Maruyama, K. Araki (Japan)
- Deriving Program Physical Structures Using Bond Energy Algorithm,
N. Gorla, K. Zhang (Australia)
|
14:00 -15:00
| [Keynote 2]
How Can Duration Calculus Deal with Continuous Time?
Zhou Chaochen (Director, IIST, United Nations University, Macau)
|
15:30 -17:30
| Panel: TBD
| Object-Oriented Methodologies 1
- Specifying Constraints with Message Sequence Specifications,
Y. Tu, W. Tsai, Y. Xiang (USA)
- Enhancing the Object Constraint Language for More Expressive Specifications,
A. Hamie (UK)
- Improving Object Oriented Analysis by Explicit Change Analysis,
L. Yu, S. Khong, Y. Xun, M. Yuan (Singapore)
- Object-Oriented Essential Modeling,
L. Li (Canada)
| Software Engineering Practice
- Feature-Oriented Engineering of PBX Software,
K. Lee, K. Kang, S. Kim, J. Lee (Korea)
- Applying SOFL to Devbelop a University Information System,
S. Liu, M. Shibata, R. Sato (Japan)
- Software Creation: Detail of Human Design Knowledge and Its Application to Automatic Software Design,
H. Abolhassani, H. Chen, Z. Koono, B. Far (Japan)
- A Systematic Approach to Software Safety,
R. Singh (USA)
| Program Slicing & Analysis 2
- Towards an Algorithmic Debugging for Distributed Programs,
T. Ohta, T. Mizuno (Japan)
- On the Practical Static Checker of Semantic Run-Time Errors,
V. Shelekhov, S. Kuksenko (Russia)
- A System Dependence Net Generator for Ada Programs,
Y. Nonaka, K. Hatano, Y. Nomura, J. Cheng. K. Ushijima (Japan)
- The Quest for Correct Systems: Model Checking of Diagrams and Datatypes,
J. Philipps, O. Slotosch (Germany)
|
Conference Reception
|
Dec. 10 (Fri)
|
9:00 -10:00
| [Keynote 3]
Information Networking Revolution
Toshiharu Aoki (President, NTT Data Corporation, Japan)
|
10:30 -12:00
| Panel: Globally Distributed Software Development: Challenge and Experience
Chair: D. Moitra (India)
| Behavior & Semantic Models
- Simply Observable Behavioral Specification,
M. Matsumoto, K. Futatsugi (Japan)
- Sequence Operators: Specifying Behavioral Interfaces of Smalltalk Blocks,
Y. Cheon, H. Kim (Korea)
- Manipulating Software Semantics with Unified Computational Model and Software Quark Model,
M. Noro, T. Ajisaka (Japan)
| Real-Time Software Engineering
- Expanding Small Example into Large Scale Real-Time Control System,
H. Shimakawa, G. Ido, H. Takada, S. Horiike (Japan)
- Proposal of a Support System for Device Driver Generation,
T. Katayama, K. Saisho, A. Fukuda (Japan)
| Reengineering & Maintenance
- Interactive Variable Classification Technique to Support the Maintenance of COBOL Business Application Systems,
K. Kawabe, A. Matuo, S. Uehara, A. Ogawa (Japan)
- Maintenance with Reuse; An Integrated Approach Based on Software Configuration Management,
O. Kwon, G. Shin, C. Boldyreff, M. Munro (Korea)
- Maintainability Myth Causes Performance Problems in Parallel Applications,
D. Haggander, P. Bengtsson, J. Bosch, L. Lundberg (Sweden)
|
13:00 -15:00
| Panel: Components and Architectures
Chair: T. Kishi (Japan)
| Object-Oriented Methodologies 2
- Enhancing Object-Based System Composition through Per-Object Mixins,
G. Neumann, U. Zdun (Germany)
- Testing, Reliability, and Interoperability Issues in the CORBA Programming Paradigm,
G. Xing, M. Lyu (Hong Kong)
- Capturing Concurrent Interactions of Mission Computer Tasks,
J. Dong, B. Mahony, N. Fulton (Singapore)
- On the Way to Establishing a jPLoP Community,
M. Tomono, T. Kato, T. Fujino (Japan)
| Software Process, Collaboration & Project Management
- An Object-Oriented Formal Model for Software Project Management,
J. Lin (Taiwan)
- Supporting Distributed Collaborative Prioritization,
J. Park, D. Port, B. Boehm (USA)
- ASP (A Software Process) for Improving Software Process,
J. Hong, K. Lee, E. Bang, T. H. Cho (Korea)
- Extending the Liaison Workflow Model and Engine to Support Different Signature Purposes,
K. Leung, L. Hui, R. Tang (Hong Kong)
| Testing
- An Approach to Automated Program Testing and Debugging,
Z. Sinjun, Y. Tashiro, H. Takata, T. Fujii, M. Yamamuro, T. Shimomura (Japan)
- Test-Case Generation for Concurrent Programs with the Testing Criteria Using Interaction Sequences,
T. Katayama, E. Itoh, Z. Furukawa, K. Ushijima (Japan)
- Integrating Approximation Methods with the Generalized Proportional Sampling Strategy,
T. Chen, P. Wong, Y. Yu (Hong Kong)
- MUMCUT: A Fault-Based Strategy for Testing Boolean Specifications,
T. Chen, M. Lau, Y. Yu (Hong Kong)
|
15:30 -16:45
| Closing Panel and Closing Remarks
|