Objects, components, models and patterns 47th International conference, TOOLS Europe 2009, Zurich, Switzerland, June 29-July 3, 2009, proceedings / Manuel Oriol, Bertrand Meyer (eds.).

Author/creator TOOLS (Conference)
Other author Oriol, Manuel.
Other author Meyer, Bertrand, 1950-
Format Electronic
Publication InfoBerlin ; New York : Springer,
Descriptionxiii, 367 p. : ill. ; 24 cm.
Supplemental ContentFull text available from Springer Nature - Springer Computer Science eBooks 2009 English International
Supplemental ContentFull text available from Springer Books
Subjects

Portion of title TOOLS Europe 2009
SeriesLecture notes in business information processing, 1865-1348 ; 33
Lecture notes in business information processing ; 33. ^A1035749
Contents On realizing a framework for self-tuning mappings -- CIF: a framework for managing integrity in aspect-oriented composition -- A diagrammatic formalisation of MOF-based modelling languages -- Designing design constraints in the UML using join point designation diagrams -- Stream-based dynamic compilation for object-oriented languages -- Algebraic semantics of OCL-constrained metamodel specifications -- Specifying and composing concerns expressed in domain-specific modeling languages -- Early crosscutting metrics as predictors of software instability -- Extensibility in model-based business process engines --Guaranteeing syntactic correctness for all product line variants: a language-independent approach -- A sound and complete program logic for Eiffel -- A coding framework for functional adaptation of coarse-grained components in extensible EJB servers -- A leasing model to deal with partial failures in mobile ad hoc networks -- Reusing and composing tests with traits -- Flow-centric, back-in-time debugging -- A classification framework for pointcut language in runtime monioring -- Fast simulation techniques for design space exploration --PyGirl: generating whole-system VMs from high-level prototypes using PyPy -- Using grammarware language to define operational semantics of modelled languages -- Automatic generation of integrated formal models corresponding to UML systems models.
Bibliography noteIncludes bibliographical references and author index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2009929321
ISBN9783642025709
ISBN3642025706

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available