International Symposium on Principles of Software Evolution: Proceedings, Kanazawa, Japan, November 1-2, 2000

Front Cover
Takuya Katayama, Tetsuo Tamai, Naoki Yonezaki
IEEE Computer Society, Jan 1, 2000 - Computers - 321 pages
This collection of 39 papers from the November 2000 symposium discusses reactive systems, design patterns, dynamic adaptability, constraint management, source code handling, language support for object evolution, and operating systems support. Some of the topics are simulating the impact of business process management agents and human factors, speed and scale up software reengineering with abstraction patterns and rules, dynamic compilation of a reflective language using run-time specialization, and a meta-model for language independent refactoring. Other topics include an evolution tableau method for temporal logic specifications, programmable environment calculus as theory of dynamic software evolution, and verifying formal specifications using fault tree analysis. No subject index. c. Book News Inc.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Supporting Compositional Styles for Software Evolution
14
Describing Consistent Component Extension with Expression of Dependence
28
Managing Software Evolution with the Service Concept
46
Copyright

15 other sections not shown

Common terms and phrases

Bibliographic information