The Community for Technology Leaders
Principles of Software Evolution, International Symposium on (2000)
Kanazawa, Japan
Nov. 1, 2000 to Nov. 2, 2000
ISBN: 0-7695-0906-1
TABLE OF CONTENTS

Foreword (PDF)

pp. ix
Overview

null (PDF)

pp. null
Invited Talk

Towards a Theory of Software Evolution - And its Practical Impact (Abstract)

M M Lehman , Imperial College of Science,Technology and Medicine, UK
J F Ramil , Imperial College of Science,Technology and Medicine, UK
pp. 2
Session 1A: Component Evolution

Supporting Compositional Styles for Software Evolution (Abstract)

Franz Achermann , IAM, Universit?t Bern, Switzerland
Oscar Nierstrasz , IAM, Universit?t Bern, Switzerland
pp. 14
Session 1B: Software Process

Sharing Instability of a Distributed Cooperative Work (Abstract)

Mitsunori Fujita , Japan Advanced Institute of Science and Technology
Kazuhiro Fujieda , Japan Advanced Institute of Science and Technology
Hiroyuki Murakoshi , Japan Advanced Institute of Science and Technology
Koichiro Ochimizu , Japan Advanced Institute of Science and Technology
pp. 36

Managing Software Evolution with the Service Concept (Abstract)

Juhapekka Niemi , Nokia Networks
Marko Siiskonen , Nokia Networks
Tommi Mikkonen , Nokia Mobile Phones
Eero L?hde , Nokia Networks
pp. 46

Simulating the Impact of Business Process Management Agents and Human Factors (Abstract)

Yahiko Kambayashi , Kyoto University, Japan
Hiroyuki Tarumi , Kyoto University, Japan
Satoshi Mizutani , Kyoto University, Japan
pp. 51
Session 2A: Reactive Systems

Program Synthesis for Stepwise Satisfiable Specification of Reactive System (Abstract)

Noriaki Yoshiura , Tokyo Institute of Technology
Naoki Yonezaki , Tokyo Institute of Technology
pp. 58

Evolutionary Development of Object Behaviors (Abstract)

Takuya Katayama , Japan Advanced Institute of Science and Technology
Kei Itou , Japan Advanced Institute of Science and Technology
pp. 68

Evolving Temporal Conceptual Schemas: The Reification Case (Abstract)

Antoni Oliv? , Universitat Polit?cnica de Catalunya, Barcelona, Catalonia
Juan-Ram? L?pez , Universitat Polit?cnica de Catalunya, Barcelona, Catalonia; Universidade da Coru?
Cristina G?mez , Universitat Polit?cnica de Catalunya, Barcelona, Catalonia
pp. 78
Session 2B: Design Pattern

Speed and Scale Up Software Reengineering with Abstraction Patterns and Rules (Abstract)

Xiaodong Liu , Napier University, UK
Hongji Yang , De Montfort University, UK
Antonio Cau , De Montfort University, UK
Hussein Zedan , De Montfort University, UK
pp. 90

Object-Oriented Modeling of Software Patterns (Abstract)

Takashi Kobayashi , Tokyo Institute of Technology, Japan
Takayuki Sanui , Tokyo Institute of Technology, Japan
Masahiko Kamo , Tokyo Institute of Technology, Japan
Motoshi Saeki , Tokyo Institute of Technology, Japan
pp. 100

Evolutionary Patterns of Design and Design Patterns (Abstract)

Mikio Aoyama , Niigata Institute of Technology, Japan
pp. 110
Session 3A: Dynamic Adaptability

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

Noriki Amano , Japan Advanced Institute of Science and Technology
Takuo Watanabe , Japan Advanced Institute of Science and Technology
pp. 118

Dynamic Compilation of a Reflective Language Using Run-Time Specialization (Abstract)

Yuuya Sugita , University of Tokyo
Hidehiko Masuhara , University of Tokyo
Akinori Yonezawa , University of Tokyo
pp. 128
Session 3B: Software Architecture

Architecture - Driven Embedded Systems Adaptation for Supporting Vocabulary Evolution (Abstract)

Lawrence Chung , University of Texas, Dallas,TX
Narayanan (Nary) Subramanian , Anritsu Company, Richardson, TX
pp. 144

A Meta-model for Language-Independent Refactoring (Abstract)

Serge Demeyer , University of Antwerp, Belgium
Oscar Nierstrasz , IAM, Universit?t Bern, Switzerland
St?phane Ducasse , IAM, Universit?t Bern, Switzerland
Sander Tichelaar , IAM, Universit?t Bern, Switzerland
pp. 154

Redesigning of an Existing Software using Design Patterns (Abstract)

Norihiro Sakamoto , Kyushu University Hospital, Japan
Gou Masuda , Osaka Medical College, Japan
Kazuo Ushijima , Kyushu University, Japan
pp. 165
Session 4A: Constraint Management

Evolutional Tableau Method for Temporal Logic Specifications (Abstract)

Masahiko Tomoishi , Tokyo Institute of Technology
Naoki Yonezaki , Tokyo Institute of Technology
pp. 176

Verification of Reactive System Specifications with Outer Event Conditional Formula (Abstract)

Naoki Yonezaki , Tokyo Institute of Technology, Japan
Takenobu Aoshima , Tokyo Institute of Technology, Japan
pp. 189
Session 4B: Source Code Handling

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

Yang Li , De Montfort University, England
William Chu , TungHai University, Taiwan
Hongji Yang , De Montfort University, England
pp. 196
Session 5A: Computational Model

Cooperative Constraint Functional Logic Programming (Abstract)

Mircea Marin , University of Tsukuba, Japan
Taro Suzuki , Tohoku University, Japan
Tetsuo Ida , University of Tsukuba, Japan
pp. 214
Session 5B: Language Support for Object Evolution

RoleEP: Role Based Evolutionary Programming for Cooperative Mobile Agent Applications (Abstract)

Naoyasu Ubayashi , Toshiba Corporation, Japan
Tetsuo Tamai , University of Tokyo, Japan
pp. 232

Design Issues of Visual Languages for Supporting Software Evolution (Abstract)

Shin Takahashi , Tokyo Institute of Technology
Masashi Toyoda , The University of Tokyo
Etsuya Shibayama , Tokyo Institute of Technology
Buntarou Shizuki , University of Tsukuba
pp. 241
Invited Talk
Session 6A: Formal Method and Testing

Formal Approach for Handling Software Evolution in Component-based Software Developments (Abstract)

Kokichi Futatsugi , Japan Advanced Institute of Science and Technology, Ishikawa
Shusaku Iida , Japan Advanced Institute of Science and Technology, Ishikawa
pp. 262

Effective Testing and Debugging Methods and Its Supporting System with Program Deltas (Abstract)

Masayoshi Teraguchi , IBM Japan, Ltd., Japan
Katsuro Inoue , Nara Institute of Science and Technology, Japan
Makoto Matsushita , Osaka University, Japan
pp. 282
Session 6B: Operating Systems Support for Evolution

Prototype of the Device Driver Generation System for UNIX-like Operating Systems (Abstract)

Keizo Saisho , Kagawa University, Japan
Tetsuro Katayama , Miyazaki University, Japan
Akira Fukuda , Nara Institute of Science and Technology, Japan
pp. 302

Runtime Software Reorganization by Traditional OS Features (Abstract)

Leo Nagamatsu , The University of Aizu, Japan
pp. 311

Authors Index (PDF)

pp. 321
88 ms
(Ver 3.1 (10032016))