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)
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Book by None
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Da: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Condizione: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. Codice articolo OTV.0769509061.G
Quantità: 1 disponibili