Workflow Management Based on Objects, Rules, and Roles.

Gerti Kappel, P. Lang, S. Rausch-Schott, +1

Automated verification of model transformations based on visual contracts

Esther Guerra, Juan de Lara, Manuel Wimmer, +5

Automated Software Engineering

EngineeringProgram AnalysisAutomated ReasoningVerificationFormal Methods +8

Customisation for ubiquitous web applications: a comparison of approaches

Gerti Kappel, Birgit Pröll, Werner Retschitzegger, +1

International Journal of Web Engineering and Technology

Browser User InterfaceContext-aware Pervasive SystemUbiquitous Web ApplicationsEngineeringNext-generation Customisation Approaches +10

Towards a semantic infrastructure supporting model-based tool integration

Gerhard Kramler, Gerti Kappel, Tobias Reiter, +3

Software MaintenanceModel-driven Software DevelopmentSemantic InfrastructureEngineeringSoftware Engineering +15

Reuse in model-to-model transformation languages: are we there yet?

Angelika Kusel, Johannes Schönböck, Manuel Wimmer, +3

Software & Systems Modeling

EngineeringModel ReuseModel-to-model Transformation LanguagesFormal MethodsSystems Engineering +5

A posteriori operation detection in evolving software models

Philip Langer, Manuel Wimmer, Petra Brosch, +4

Journal of Systems and Software

Towards Living Inter-organizational Processes

Ruth Breu, Schahram Dustdar, Johann Eder, +11

Business Process IntegrationNew TechnologiesBusiness Process ModelingHuman Resource ManagementOrganizational Behavior +15

UML-based Cloud Application Modeling with Libraries, Profiles, and Templates

Alexander Bergmayr, Javier Troya, Patrick Neubauer, +2

idUS (Universidad de Sevilla)

Contents for a Model-Based Software Engineering Body of Knowledge

Loli Burgueño, Federico Ciccozzi, Michalis Famelis, +10

Software & Systems Modeling

Software MaintenanceSystem Engineering EducationMbe DisciplineModel-based EngineeringEngineering +13

A runtime model for fUML

Tanja Mayerhofer, Philip Langer, Gerti Kappel

Software MaintenanceEngineeringObject-oriented ModelingSoftware EngineeringModel Checking +18