Objects, components, models and patterns
Subtitle: 47th International conference, TOOLS Europe 2009, Zurich, Switzerland, June 29-July 3, 2009, proceedings
By: Manuel Oriol, Bertrand Meyer (eds.)
Contributors: Oriol, Manuel; Meyer, Bertrand, 1950-
Series: Lecture notes in business information processing -- 33; Lecture notes in business information processing -- 33.
Publisher: Springer
Published: 2009
Place of publication: Berlin; New York
Language: eng
Number of pages: 367
ISBN-13: 9783642025709
Other titles: TOOLS Europe 2009
Notes: Includes bibliographical references and author index.
Table of contents: title: On realizing a framework for self-tuning mappings; title: CIF: a framework for managing integrity in aspect-oriented composition; title: A diagrammatic formalisation of MOF-based modelling languages; title: Designing design constraints in the UML using join point designation diagrams; title: Stream-based dynamic compilation for object-oriented languages; title: Algebraic semantics of OCL-constrained metamodel specifications; title: Specifying and composing concerns expressed in domain-specific modeling languages; title: Early crosscutting metrics as predictors of software instability; title: Extensibility in model-based business process engines; title: Guaranteeing syntactic correctness for all product line variants: a language-independent approach; title: A sound and complete program logic for Eiffel; title: A coding framework for functional adaptation of coarse-grained components in extensible EJB servers; title: A leasing model to deal with partial failures in mobile ad hoc networks; title: Reusing and composing tests with traits; title: Flow-centric, back-in-time debugging; title: A classification framework for pointcut language in runtime monioring; title: Fast simulation techniques for design space exploration; title: PyGirl: generating whole-system VMs from high-level prototypes using PyPy; title: Using grammarware language to define operational semantics of modelled languages; title: Automatic generation of integrated formal models corresponding to UML systems models.