Program ISPSE 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 |
|
|
|
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 |
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: Calculation Carrying Programs: How to
Code Program Transformation |
|
|
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 |