Principles of Software Evolution (Ispse 2000) (Postproceedings): 2000 International Symposium - Softcover

Inhaltsangabe

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. Annotation c. Book News, Inc., Portland, OR (booknews.com)

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.