the proceedings contain 53 papers. the topics discussed include: a software modeling odyssey: designing evolutionary architecture-centric real-time systems and product lines;uses and abuses of the stereotype mechanism...
详细信息
ISBN:
(纸本)3540457720
the proceedings contain 53 papers. the topics discussed include: a software modeling odyssey: designing evolutionary architecture-centric real-time systems and product lines;uses and abuses of the stereotype mechanism in UML 1.x and 2.0;an experimental investigation of UML modeling conventions;improving the definition of UML;adopting modeldriven software development in industry - a case study at two companies;use case driven iterative development: hurdles and solutions;model-driven analysis and synthesis of concrete syntax;correctly defined concrete syntax for visual modeling languages;a slice of MDE with AOP: transforming high-level business rules to aspects;detecting and resolving model inconsistencies using transformation dependency analysis;and a plugin-based language to experiment withmodel transformation.
the proceedings contain 9 papers. the topics discussed include: partial models: a position paper;towards automatic determination of problem bounds for object instantiation in static model verification;on the interacti...
ISBN:
(纸本)9781450309141
the proceedings contain 9 papers. the topics discussed include: partial models: a position paper;towards automatic determination of problem bounds for object instantiation in static model verification;on the interaction of inter-relationship constraints;formal extension of use cases for context-aware verification;specifying a testing oracle for train stations;analyzing realizability of choreographies using initiating and responding flows;runtime model validation with parallel object constraint language;natural language generation from class diagrams;and on validation of ATL transformation rules by transformation models.
the proceedings contain 31 papers. the topics discussed include: DataTime: a framework to smoothly integrate past, present and future into models;integrated and iterative requirements analysis and test specification: ...
ISBN:
(纸本)9781665434959
the proceedings contain 31 papers. the topics discussed include: DataTime: a framework to smoothly integrate past, present and future into models;integrated and iterative requirements analysis and test specification: a case study at Kostal;restricted natural language and model-based adaptive test generation for autonomous driving;applying declarative analysis to software product line models: an industrial study;quality guidelines for research artifacts in model-drivenengineering;and identifying manual changes to generated code: experiences from the industrial automation domain.
the proceedings contain 9 papers. the topics discussed include: summary of the extreme modeling workshop (XM9;12);natural modeling - retrospective and perspectives an anthropological point of view;towards tool supp...
ISBN:
(纸本)9781450318044
the proceedings contain 9 papers. the topics discussed include: summary of the extreme modeling workshop (XM'12);natural modeling - retrospective and perspectives an anthropological point of view;towards tool support for agile modeling: sketching equals modeling;EuGENia live: a flexible graphical modeling tool;co-creation of models and metamodels for enterprise architecture projects;negotiated grammar transformation;comparative analysis of data persistence technologies for large-scale models;towards early emergent property understanding. merging behavior space exploration and model-based software engineering;and agile requirements traceability using domain-specific modeling languages.
the proceedings contain 40 papers. the topics discussed include: multi-variability modeling and realization for software derivation in industrial automation management;a model-based approach for multi-device user inte...
ISBN:
(纸本)9781450343213
the proceedings contain 40 papers. the topics discussed include: multi-variability modeling and realization for software derivation in industrial automation management;a model-based approach for multi-device user interactions;using free modeling as an agile method for developing domain specific modeling languages;supporting the model-driven development of real-time embedded systems with run-time monitoring and animation via highly customizable code generation;model-driven performance prediction of systems of systems;automatic generation of detailed flight plans from high-level mission descriptions;towards the characterization of realistic models: evaluation of multidisciplinary graph metrics;and metamodel specialization for graphical modeling language support.
the proceedings contain 9 papers. the topics discussed include: towards a formal framework for multimodeling in software engineering;definition of visual language editors using declarative languages;slicing the three-...
the proceedings contain 9 papers. the topics discussed include: towards a formal framework for multimodeling in software engineering;definition of visual language editors using declarative languages;slicing the three-layer architecture: a semantic foundation for behavioral specification;models in conflict - towards a semantically enhanced version control system for models;scenario integration via the transformation and manipulation of higher-order graphs;a methodological approach to developing model transformations;validation of system behavior utilizing an integrated semantics of use case and design models;semantics preserving model composition;and semantics preserving model composition.
the proceedings contain 12 papers. the topics discussed include: goal models as run-time entities in context-aware systems;model-driven development of DSML execution engines;extracting user requirements for pervasive ...
ISBN:
(纸本)9781450317993
the proceedings contain 12 papers. the topics discussed include: goal models as run-time entities in context-aware systems;model-driven development of DSML execution engines;extracting user requirements for pervasive service compositions;rapid GUI development on legacy systems: an runtime model-based solution;a process for continuous validation of self-adapting component based systems;a process for continuous validation of self-adapting component based systems;towards supporting multiple execution environments for UML/OCL models at runtime;a runtime model for fUML;model execution adaptation?;a semi-automatic behavioral mediation approach based on models@runtime;and expressing model relations as basis for structural consistency analysis in models@***.
the proceedings contain 31 papers. the topics discussed include: uncertainty-aware consistency checking in industrial settings;applicability of model checking for verifying spacecraft operational designs;automated gra...
ISBN:
(纸本)9798350324808
the proceedings contain 31 papers. the topics discussed include: uncertainty-aware consistency checking in industrial settings;applicability of model checking for verifying spacecraft operational designs;automated grading of use cases;experience in specializing a generic realization language for SPL engineering at Airbus;an extended model-based characterization of fine-grained access control for SQL queries;variability-aware Neo4j for analyzing a graphical model of a software product line;a model-driven and template-based approach for requirements specification;leveraging modeling concepts and techniques to address challenges in network management;on developing and operating GLSP-based web modeling tools: lessons learned from BIGUML;and rapid-prototyping and early validation of software models through uniform integration of hardware.
暂无评论