International Symposium on Principles of Software Evolution: Proceedings, Kanazawa, Japan, November 1-2, 2000
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.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Supporting Compositional Styles for Software Evolution
Describing Consistent Component Extension with Expression of Dependence
Managing Software Evolution with the Service Concept
15 other sections not shown
abstraction adaptable methods agent algorithm analysis application approach architecture behavior calculation Command Pattern compiled components composition Computer concept constraint construct constructors decision tree learning defined definition dependent specification described design patterns device driver domain knowledge dynamic embedded system environment event example execution existing expression fault tree fault tree analysis Figure formal formula framework function IEEE implementation input instantiation interface Java language LEAD++ legacy status logic matching mechanism meta metaclasses mixin module node object object-oriented operations paper parser partial evaluation Piccola preconditions problem Proc procedure proposed reactive system reengineering refactorings reification relationship represent requirements result role rules runtime schema semantic network semantics sequence server Smalltalk software development Software Engineering software evolution software maintenance software systems source code strategy structure syntax techniques template temporal logic time-slot tion tool variables verify