Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
| Reihe | Lecture Notes in Business Information Processing |
|---|---|
| Themen | Informatik und Informationstechnologie Informatik Theoretische Informatik |
| ISBN | 9783642025709 |
| Sprache | Englisch |
| Erscheinungsdatum | 19.06.2009 |
| Größe | 235 x 155 mm |
| Verlag | J.B. Metzler |
| Herausgegeben von | Bertrand Meyer, Manuel Oriol |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
Invited Presentations.- On Realizing a Framework for Self-tuning Mappings.- Programming Models for Concurrency and Real-Time.- Reflection and Aspects.- 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.- Models.- 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.- Theory.- Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach.- A Sound and Complete Program Logic for Eiffel.- Components.- 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.- Monitoring.- Reusing and Composing Tests with Traits.- Flow-Centric, Back-in-Time Debugging.- A Classification Framework for Pointcut Languages in Runtime Monitoring.- Systems Generation.- Fast Simulation Techniques for Design Space Exploration.- PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPy.- Short Papers.- Using Grammarware Languages to Define Operational Semantics of Modelled Languages.- Automatic Generation of Integrated Formal Models Corresponding to UML System Models.
| Reihe | Lecture Notes in Business Information Processing |
|---|---|
| Themen | Informatik und Informationstechnologie Informatik Theoretische Informatik |
| ISBN | 9783642025709 |
| Sprache | Englisch |
| Erscheinungsdatum | 19.06.2009 |
| Größe | 235 x 155 mm |
| Verlag | J.B. Metzler |
| Herausgegeben von | Bertrand Meyer, Manuel Oriol |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
Wie gefällt Ihnen unser Shop?