Autore	Lúcio Levi
Pubbl/distr/stampa	Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers (IEEE), , 2010
Descrizione fisica	1 online resource (various pagings) : illustrations
Disciplina	005.1
Soggetto topico	Computer software - Development Model-driven software architecture
ISBN	0-7695-4384-7
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Altri titoli varianti	Model-Driven Engineering, Verification, and Validation
Record Nr.	UNISA-996205890203316

Edizione	[1st ed. 2010.]
Pubbl/distr/stampa	Berlin ; ; New York, : Springer, 2010
Descrizione fisica	1 online resource (XIV, 768 p. 328 illus.)
Disciplina	005.1028
Altri autori (Persone)	EngelsG
Collana	Lecture notes in computer science
Soggetto topico	Model-driven software architecture Software architecture
ISBN	1-280-39051-4 9786613568434 3-642-17322-5
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl -- Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl -- Graph Transformations: Theory and Applications -- The Edge of Graph Transformation — Graphs for Behavioural Specification -- Graph Transformation by Computational Category Theory -- On GS-Monoidal Theories for Graphs with Nesting -- Stochastic Modelling and Simulation of Mobile Systems -- Autonomous Units and Their Semantics – The Concurrent Case -- Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation -- Extended Triple Graph Grammars with Efficient and Compatible Graph Translators -- Controlling Reuse in Pattern-Based Model-to-Model Transformations -- Lessons Learned from Building a Graph Transformation System -- Workflow-Driven Tool Integration Using Model Transformations -- Software Architectures and Reengineering -- The Architecture Description Language MoDeL -- Towards Managing Software Architectures with Ontologies -- Using Role-Play Diagrams to Improve Scenario Role-Play -- Reverse Engineering Using Graph Queries -- Graph-Based Structural Analysis for Telecommunication Systems -- Process Support -- Do We Really Know How to Support Processes? Considerations and Reconstruction -- A Meta-Method for Defining Software Engineering Methods -- Techniques for Merging Views of Software Processes -- Embedded Systems Engineering -- Model Checking Programmable Router Configurations -- Architectural Issues of Adaptive Pervasive Systems -- Using Graph Grammars for Modeling Wiring Harnesses – An Experience Report -- Model-Driven Development with Mechatronic UML -- Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent -- Multi-view Modeling to Support Embedded Systems Engineering in SysML -- Engineering Design Applications -- Requirements Engineering in Complex Domains -- Tool Support for Dynamic Development Processes -- An Extensible Modeling Language for the Representation of Work Processes in the Chemical and Process Industries -- Integration Tools for Consistency Management between Design Documents in Development Processes -- Towards Semantic Navigation in Mobile Robotics -- Model Driven Engineering in Operative Industrial Process Control Environments.
Record Nr.	UNINA-9910484056803321

Edizione	[1st ed. 2008.]
Pubbl/distr/stampa	Berlin ; ; New York, : Springer, c2008
Descrizione fisica	1 online resource (XIII, 446 p.)
Disciplina	003.3
Altri autori (Persone)	SchieferdeckerIna HartmanA (Alan)
Collana	Lecture notes in computer science LNCS sublibrary. SL 2, Programming and software engineering
Soggetto topico	Model-driven software architecture
ISBN	3-540-69100-6
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Research Session -- The Epsilon Generation Language -- Constructing and Visualizing Transformation Chains -- Towards Roundtrip Engineering - A Template-Based Reverse Engineering Approach -- Annotation Framework Validation Using Domain Models -- Prototyping Visual Interpreters and Debuggers for Domain-Specific Modelling Languages -- Data Flow Analysis of UML Action Semantics for Executable Models -- From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations -- A Practical MDA Approach for Autonomic Profiling and Performance Assessment -- Ladder Metamodeling and PLC Program Validation through Time Petri Nets -- Array OL Descriptions of Repetitive Structures in VHDL -- Textual Modelling Embedded into Graphical Modelling -- Classification of Concrete Textual Syntax Mapping Approaches -- Metamodel Syntactic Sheets: An Approach for Defining Textual Concrete Syntaxes -- Graphical Concrete Syntax Rendering with SVG -- Semantics Preservation of Sequence Diagram Aspects -- Generic Reusable Concern Compositions -- Modeling Human Aspects of Business Processes – A View-Based, Model-Driven Approach -- A Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol -- Model-Driven Platform-Specific Testing through Configurable Simulations -- Testing Metamodels -- A Metamodeling Approach for Reasoning about Requirements -- Industrial Session -- Model-Driven Security in Practice: An Industrial Experience -- Supporting the UML State Machine Diagrams at Runtime -- Model-Based Generation of Interlocking Controller Software from Control Tables -- Model-Driven Simulation of a Maritime Surveillance System -- Towards Utilizing Model-Driven Engineering of Composite Applications for Business Performance Analysis -- From Business Architecture to SOA Realization Using MDD -- Realizing an MDA and SOA Marriage for the Development of Mobile Services -- A Survey about the Intent to Use Visual Defect Annotations for Software Models -- MDA-Based Methodologies: An Analytical Survey -- Where Is the Proof? - A Review of Experiences from Applying MDE in Industry.
Altri titoli varianti	ECMDA-FA 2008
Record Nr.	UNINA-9910484628803321