Program ISPSE 2000


Wednesday, November 1, 2000

9:00

Opening session

10:00

Invited talk: Manny Lehman,

Towards a Theory of Software Evolution - And its Practical Impact

11:00

Coffee break

 

 

Session 1A

Component evolution

11:30

Oscar Nierstrasz and Franz Achermann,

Supporting Compositional Styles for Software Evolution

12:00

Yasuyuki Tsukada,

Mobile Codes with Interactive Proofs: An Approach to Provably Safe Evolution of Distributed Software Systems

12:15

Winnie Qiu,

Describing Consistent Component Extension with Expression of Dependence

 

 

Session 1B

Software process

11:30

Koichiro Ochimizu, Hiroyuki Murakoshi, Kazuhiro Fujieda and Mitsunori Fujita,

Sharing Instability of a Distributed Cooperative Work

12:00

Tommi Mikkonen, Eero LçÉde, Marko Siiskonen and Juhapekka Niemi,

Managing software evolution with the service concept

12:15

Satoshi Mizutani, Hiroyuki Tarumi and Yahiko Kambayashi,

Simulating the Impact of Business Process Management Agents and Human Factors

 

 

12:30

Lunch

 

 

Session 2A

Reactive systems

14:00

Noriaki Yoshiura and Naoki Yonezaki,

Program Synthesis for Stepwise Satisfiable Specification of Reactive System

14:30

Kei Itou and Takuya Katayama,

Evolutionary Development of Object Behaviors

15:00

Cristina Gomez, Juan-Ramon Lopez and Antoni Olive,

Evolving Temporal Conceptual Schemas: The Reification Case

15:15

María José Rodríguez-Fórtiz and José Parets Llorca

Using Predicate Temporal Logic and Coloured Petri Nets to specifying integrity restrictions in the structural evolution of temporal active systems

 

 

Session 2B

Design Pattern

14:00

X. Liu, Hongji Yang, H. Zedan and A. Cau,

Speed and Scale up Software Reengineering with Abstraction Patterns and Rules

14:30

Takashi Kobayashi, Masahiko Kamo, Takayuki Sanui and Motoshi Saeki,

Object-Oriented Modeling of Software Patterns

15:00

Mikio Aoyama,

Evolutionary Patterns of Design and Design Patterns

 

 

15:30

Coffee break

 

 

Session 3A

Dynamic adaptability

16:00

Noriki Amano and Takuo Watanabe,

An Approach for Constructing Component-based Software Systems with Dynamic Adaptability using LEAD++

16:30

Hidehiko Masuhara, Yuuya Sugita and Akinori Yonezawa,

Dynamic Compilation of a Reflective Language Using Run-Time Specialization

17:00

José A. Carsí, Isidro Ramos and José H. Canós

Reflection in the OASIS object model to solve Schema Evolution Problems

17:15

Haruhiko Kaiya and Kenji Kaijiri,

Specifying Runtime Functionality of Downloadable Components under the Sandbox Model

 

 

Session 3B

Software Architecture

16:00

Narayanan Subramanian and Lawrence Chung,

Architecture-Driven Embedded Systems Adaptation for Supporting Vocabulary Evolution

16:30

Sander Tichelaar, Stphane Ducasse, Serge Demeyer and Oscar Nierstrasz,

A Meta-model for Language-Independent Refactoring

17:00

Gou Masuda, Norihiro Sakamoto and Kazuo Ushijima,

Redesigning of an Existing Software using Design Patterns

17:15

Patricia O`Byrne and Bing Wu,

LACE Frameworks and Technique -- Identifying the Legacy Status of an Information System from the Perspectives of its Causes and Effects

 

 

18:00

Welcome party

 

 

Thursday, November 2, 2000

9:00

Invited talk: Alexander L. Wolf,

Evolving Large-Scale Distributed Systems

10:00

Coffee break

 

 

Session 4A

Constraint management

10:15

Masahiko Tomoishi and Naoki Yonezaki,

Evolutional Tableau Method for Temporal Logic Specifications

10:45

Ken Satoh,

Formalizing Prioritized Consistency Management in Requirement Engineering

11:00

Takenobu Aoshima and Naoki Yonezaki,

Verification of Reactive System Specifications with Outer Event Conditional Formula

 

 

Session 4B

Source code handling

10:15

Yang Li, Hongji Yang and William Chu,

Generating Linkage between Source Code and Evolvable Domain Knowledge for the Ease of Software Evolution

10:45

Shinichirou Yamamoto and Kiyoshi Agusa,

Source Program Archives Site: A Step toward Cooperation of Open-source Movement and Software Engineering

 

 

11:15

Coffee break

 

 

Session 5A

Computational model

11:30

Mircea Marin, Tetsuo Ida and Taro Suzuki,

Constraint Functional Logic Programming

12:00

Shin-ya Nishizaki,

Programmable Environment Calculus as Theory of Dynamic Software Evolution

12:15

Masaki Murakami,

Run Time Transformation of Concurrent Processes Using Multi Dimensional Representation of Linear Logic

 

 

Session 5B

Language support for object evolution

11:30

Naoyasu Ubayashi and Tetsuo Tamai,

RoleEP: Role Based Evolutionary Programming for Cooperative Mobile Agent Applications

12:00

Etsuya Shibayama, Masashi Toyoda, Buntarou Shizuki and Shin Takahashi,

Design Issues of Visual Languages for Supporting Software Evolution

 

 

12:30

Lunch

 

 

14:00

Invited talk: Masato Takeichi,

Calculation Carrying Programs: How to Code Program Transformation

15:00

Coffee break

 

 

Session 6A

Formal method and testing

15:30

Shusaku Iida and Kokichi Futatsugi,

Formal Approach for Handling Software Evolution in Component-based Software developments

16:00

Shaoying Liu,

Verifying Formal Specifications Using Fault Tree Analysis

16:30

Makoto Matsushita, Masayoshi Teraguchi and Katsuro Inoue,

Effective Testing and Debugging Methods and Its Supporting System with Program Deltas

 

 

Session 6B

Operating systems support for evolution

15:30

Sukanya Suranauwarat and Hideo Taniguchi,

Operating Systems Support for the Evolution of Software: An Evaluation Using WWW Server Software

16:00

Tetsuro Katayama, Keizo Saisho and Akira Fukuda,

Prototype of the Device Driver Generation System for UNIX-like Operation Systems

16:30

Leo Nagamatsu,

Runtime Software Reorganization by Traditional OS Features

16:45

Toshihiro Tabata, Hideo Taniguchi and Kazuo Ushijima,

Implementation and Evaluation of Multiple Processes Control Mechanism for Regulating Program Execution Speed

 

 

17:00

Closing