E-Books durchsuchen

Objects, Models, Components, Patterns [2011]

1
Synchronizing Models and Code (Invited Talk)
2
Finding and Fixing Bugs in Web Applications (Invited Talk)
3
Test Suite Quality for Model Transformation Chains
20
Automated Translation of Java Source Code to Eiffel
36
A Generic Solution for Syntax-Driven Model Co-evolution
52
From UML Profiles to EMF Profiles and Beyond
68
Domain-Specific Profiling
83
Metamodel Dependencies for Executable Models
99
KlaperSuite: An Integrated Model-Driven Environment for Reliability and Performance Analysis of Component-Based Systems
115
Unifying Subjectivity
131
An Overview of ALIA4J
147
A Heuristic Approach for Computing Effects
163
Systems Evolution and Software Reuse in Object-Oriented Programming and Aspect-Oriented Programming
179
Lifted Java: A Minimal Calculus for Translation Polymorphism
194
Location Types for Safe Distributed Object-Oriented Programming
211
Static Dominance Inference
228
A Case of Visitor versus Interpreter Pattern
244
Computational REST Meets Erlang
260
Efficient Retrieval and Ranking of Undesired Package Cycles in Large Software Systems
276
Seuss: Better Class Responsibilities through Language-Based Dependency Injection
290
Extensive Validation of OCL Models by Integrating SAT Solving into USE
Feedback