The proceedings contain 27 papers. The topics discussed include: summary of the workshop on multi-paradigm modelling: concepts and tools;runtime monitoring of functional component changes with behavior models;requirem...
ISBN:
(纸本)9783642296444
The proceedings contain 27 papers. The topics discussed include: summary of the workshop on multi-paradigm modelling: concepts and tools;runtime monitoring of functional component changes with behavior models;requirements and assessment of languages and frameworks for adaptation models;specifying a testing oracle for train stations - going beyond with product line technology;use cases for context aware model-checking;comparing six modeling approaches;summary of the second international workshop on models and evolution;towards semantics-aware merge support in optimistic model versioning;model based architecting and construction of embedded systems (ACES-MB 2011);model-based consistency checks of electric and electronic architectures against requirements;and a model-driven approach for software parallelization.
The proceedings contain 38 papers. The topics discussed include: ReuseMe - towards aspect-driven reuse in modelling method development;novel communication channels in software modeling education;virtual verification o...
ISBN:
(纸本)9783642212093
The proceedings contain 38 papers. The topics discussed include: ReuseMe - towards aspect-driven reuse in modelling method development;novel communication channels in software modeling education;virtual verification of system designs against system requirements;from interaction overview diagrams to temporal logic;aspect-oriented feature models;mapping aspect-oriented models to aspect-oriented code;from the heterogeneity jungle to systematic benchmarking;specifying overlaps of heterogeneous models for global consistency checking;conflicts as first-class entities: a UML profile for model versioning;a manifesto for semantic model differencing;meta-modeling runtime models;the role of models and megamodels at runtime;efficient test suite reduction by merging pairs of suitable test cases;traceability for mutation analysis in model transformation;and model-based system verification: a formal framework for relating analyses, requirements, and tests.
The proceedings contain 38 papers. The topics discussed include: 9th international workshop on aspect-oriented modeling;modeling an electronic throttle controller using the timed abstract state machine language and to...
详细信息
ISBN:
(纸本)9783540694885
The proceedings contain 38 papers. The topics discussed include: 9th international workshop on aspect-oriented modeling;modeling an electronic throttle controller using the timed abstract state machine language and toolset;a unified ontology-based process model for software maintenance and comprehension;consistency of business process models and object life cycles;a qualitative investigation of UML modeling conventions;a model-driven approach to the engineering of multiple user interfaces;model-driven dynamic generation of context-adaptive Web user interfaces;towards model-driven unit testing;on the application of software metrics to UML models;using runtime models to unify and structure the handling of meta-information in reflective middleware;and model driven security engineering for the realization of dynamic security requirements in collaborative systems.
The proceedings contain 31 papers. The topics discussed include: catch me if you can - debugging support for model transformations;a coordination-based model-driven method for parallel application development;teaching...
ISBN:
(纸本)3642122604
The proceedings contain 31 papers. The topics discussed include: catch me if you can - debugging support for model transformations;a coordination-based model-driven method for parallel application development;teaching object-oriented modeling and UML to various audiences;teaching modeling: why, when, what?;using higher-order transformations to derive variability mechanism for embedded systems;model-based extension of AUTOSAR for architectural online reconfiguration;incremental model synchronization for efficient run-time monitoring;generating synchronization engines between running systems and their model-based views;generating class contracts from deterministic UML protocol statemachines;model patches in model-driven engineering;limitations of automating model migration in response to metamodel adaptation;and recent advances in multi-paradigm modeling.
The proceedings contain 32 papers. The topics discussed include: a generic approach for automatic model composition;designing syntax embeddings and assimilations for language libraries;a comparison of standard complia...
详细信息
ISBN:
(纸本)3540690697
The proceedings contain 32 papers. The topics discussed include: a generic approach for automatic model composition;designing syntax embeddings and assimilations for language libraries;a comparison of standard compliant ways to define domain specific languages;domain-specific methods and tools for the design of advanced interactive techniques;transforming discourse models to structural user interface models;deriving input partitions from UML models for automatic test generations;putting performance engineering into model-driven engineering: model-driven performance engineering;model-level integration of the OCL standard library using a pivot model with generics support;domain-specific model editors with model completion;third international workshop on quality in modeling;and developing a quality framework for model-driven engineering.
The proceedings contain 41 papers. The topics discussed include: model based architecting and construction of embedded systems;translating AADL into BIP - application to the verification of real-time systems;towards m...
ISBN:
(纸本)9783642016479
The proceedings contain 41 papers. The topics discussed include: model based architecting and construction of embedded systems;translating AADL into BIP - application to the verification of real-time systems;towards model-based integration of tools and techniques for embedded control system design, verification, and implementation;challenges in model-driven softwareengineering;the grand challenge of scalability for model driven engineering;embedded system construction - evaluation of model-driven and component-based development approaches;assessing the power of a visual modeling notation - preliminary contemplations on designing a test;model co-evolution and consistency management (MCCM'08);on integrating OCL and triple graph grammars;a transformation framework to bridge domain specific languages to MDA;and experiences from model-driven development of homecare services: UML profiles and domain models.
The Educators' Symposium (EduSymp) focuses on discussing teaching the usage of software modelling techniques throughout all phases of a software development process to software engineers at universities and softwa...
详细信息
The doctoral symposium (DocSym) of the 14th International Conference on Model Driven engineering Languages and Systems (models2011) provided an opportunity for doctoral researchers to present and discuss their resear...
详细信息
With the increasing adoption of Model-Based Development in many domains (e.g., Automotive softwareengineering, Business Process engineering), models are starting to become core artifacts of modern software engineerin...
详细信息
暂无评论