Info
Model Driven Engineering Languages and Systems : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I / / edited by Dorina C. Petriu, Nicolas Rouquette, Oystein Haugen
| Model Driven Engineering Languages and Systems : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I / / edited by Dorina C. Petriu, Nicolas Rouquette, Oystein Haugen |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XXI, 424 p. 173 illus.) |
| Disciplina | 006.7/4 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programming
Software engineering Computer engineering Programming languages (Electronic computers) Architecture, Computer Programming Techniques Software Engineering/Programming and Operating Systems Computer Engineering Software Engineering Programming Languages, Compilers, Interpreters Computer System Implementation |
| ISBN |
1-280-38957-5
9786613567499 3-642-16145-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote 1 -- A Unified Approach to Modeling and Programming -- Session 1a: Genericity and Generalization -- Generic Meta-modelling with Concepts, Templates and Mixin Layers -- An Observer-Based Notion of Model Inheritance -- MDE-Based Approach for Generalizing Design Space Exploration -- Session 1b: Model Migration and Incremental Manipulation -- A Comparison of Model Migration Tools -- Incremental Evaluation of Model Queries over EMF Models -- Active Operations on Collections -- Session 1c: Modeling Model Transformations -- transML: A Family of Languages to Model Model Transformations -- Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations -- A Technique for Automatic Validation of Model Transformations -- Session 2a: Verifying Consistency and Conformance -- Static- and Dynamic Consistency Analysis of UML State Chart Models -- Verifying Semantic Conformance of State Machine-to-Java Code Generators -- A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models -- Session 2b: Taming Modeling Complexity -- Taming Graphical Modeling -- Taming EMF and GMF Using Model Transformation -- A Visual Traceability Modeling Language -- Session 2c: Modeling User-System Interaction -- Application Logic Patterns – Reusable Elements of User-System Interaction -- A Metamodel-Based Approach for Automatic User Interface Generation -- Rapid UI Development for Enterprise Applications: Combining Manual and Model-Driven Techniques -- Session 3a: Model-Driven Quality Assurance -- Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies -- Improving Test Models for Large Scale Industrial Systems: An Inquisitive Study -- Automatically Discovering Properties That Specify the Latent Behavior of UML Models -- Session 3b: Managing Variability -- Towards a Semantics of Activity Diagrams with Semantic Variation Points -- An AADL-Based Approach to Variability Modeling of Automotive Control Systems -- Extending Variability for OCL Interpretation -- Session 3c: Multi-Modeling Approaches -- Inter-modelling: From Theory to Practice -- Consistent Modeling Using Multiple UML Profiles -- A Systematic Review on the Definition of UML Profiles. |
| Altri titoli varianti | MODELS'10 |
| Record Nr. | UNISA-996465984903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model Driven Engineering Languages and Systems : 13th International Conference, MODELS 2010, Oslo, Norway 3-8, 2010, Proceedings, Part II / / edited by Dorina C. Petriu, Nicolas Rouquette, Oystein Haugen
| Model Driven Engineering Languages and Systems : 13th International Conference, MODELS 2010, Oslo, Norway 3-8, 2010, Proceedings, Part II / / edited by Dorina C. Petriu, Nicolas Rouquette, Oystein Haugen |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XXI, 422 p. 162 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer engineering Programming languages (Electronic computers) Computer programming Architecture, Computer Software Engineering/Programming and Operating Systems Computer Engineering Programming Languages, Compilers, Interpreters Software Engineering Programming Techniques Computer System Implementation |
| ISBN |
1-280-38955-9
9786613567475 3-642-16129-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote 2 -- Modeling the Internet -- Transformation-Based Parallelization of Request-Processing Applications -- Model Driven Orchestration: Design for Service Compatibility -- Embedded Software Development with Projectional Language Workbenches -- Concern-Based (de)composition of Model-Driven Software Development Processes -- Flexible Model Element Introduction Policies for Aspect-Oriented Modeling -- Role-Based Generic Model Refactoring -- Precise Detection of Conflicting Change Operations Using Process Model Terms -- Capturing the Intention of Model Changes -- Selective and Consistent Undoing of Model Changes -- Modeling Features at Runtime -- Metamodel-Based Information Integration at Industrial Scale -- Inferring Meta-models for Runtime System Data from the Clients of Management APIs -- A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned in Requirements Engineering -- A Common Framework for Synchronization in Requirements Modelling Languages -- A Systematic Review of the Use of Requirements Engineering Techniques in Model-Driven Development -- Slicing of UML Models Using Model Transformations -- An Adjustable Transformation from OWL to Ecore -- Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program -- Keynote 3 -- Disciplined Heterogeneous Modeling -- Design Guidelines for the Development of Quality-Driven Model Transformations -- Early Deviation Detection in Modeling Activities of MDE Processes -- Artifact or Process Guidance, an Empirical Study -- Scaling Up Model Driven Engineering – Experience and Lessons Learnt -- Mod4J: A Qualitative Case Study of Model-Driven Software Development -- Modeling Issues: a Survival Guide for a Non-expert Modeler -- Monarch: Model-Based Development of Software Architectures -- Model-to-Metamodel Transformation for the Development of Component-Based Systems -- Architectural Descriptions as Boundary Objects in System and Design Work. |
| Altri titoli varianti | MODELS'10 |
| Record Nr. | UNISA-996465983603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
System Analysis and Modeling: Theory and Practice : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers / / edited by Oystein Haugen, Rick Reed, Reinhard Gotzhein
| System Analysis and Modeling: Theory and Practice : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers / / edited by Oystein Haugen, Rick Reed, Reinhard Gotzhein |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 249 p. 91 illus.) |
| Disciplina | 004.2/1 |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering Programming and Software Engineering |
| Soggetto topico |
Sistemas, Análisis de
Software engineering Sistemas de información de gestión Computer communication systems Programming languages (Electronic computers) Management information systems Computer science Software Engineering Ingeniería del software Computer Communication Networks Programming Languages, Compilers, Interpreters Management of Computing and Information Systems |
| Soggetto genere / forma | Conference proceedings. |
| ISBN | 3-642-36757-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Models ’67 Revisited -- Identification and Selection of Interaction Test Scenarios for Integration Testing -- An Approach to Specify and Analyze Goal Model Families -- Real-Time Tasks in SDL -- Prototyping Domain Specific Languages as Extensions of a General Purpose Language -- Behavioral Fuzzing Operators for UML Sequence Diagrams -- Relativity and Abstract State Machines -- From Earthquake Detection to Traffic Surveillance – About Information and Communication Infrastructures for Smart Cities -- On Deriving Detailed Component Design from High-Level Service Specification -- Type-Safe Symmetric Composition of Metamodels Using Templates -- Towards Correct Product Derivation in Model-Driven Product Lines -- Simulation Configuration Modeling of Distributed Communication Systems -- GRL Model Validation: A Statistical Approach -- Configuration-Based Service Availability Analysis for Middleware Managed Applications. |
| Altri titoli varianti | SAM'12 |
| Record Nr. | UNISA-996465673103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
System Analysis and Modeling: Theory and Practice : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers / / edited by Oystein Haugen, Rick Reed, Reinhard Gotzhein
| System Analysis and Modeling: Theory and Practice : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers / / edited by Oystein Haugen, Rick Reed, Reinhard Gotzhein |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 249 p. 91 illus.) |
| Disciplina | 004.2/1 |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering Programming and Software Engineering |
| Soggetto topico |
Sistemas, Análisis de
Software engineering Sistemas de información de gestión Computer networks Programming languages (Electronic computers) Management information systems Computer science Software Engineering Ingeniería del software Computer Communication Networks Programming Languages, Compilers, Interpreters Management of Computing and Information Systems |
| Soggetto genere / forma | Conference proceedings. |
| ISBN | 3-642-36757-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Models ’67 Revisited -- Identification and Selection of Interaction Test Scenarios for Integration Testing -- An Approach to Specify and Analyze Goal Model Families -- Real-Time Tasks in SDL -- Prototyping Domain Specific Languages as Extensions of a General Purpose Language -- Behavioral Fuzzing Operators for UML Sequence Diagrams -- Relativity and Abstract State Machines -- From Earthquake Detection to Traffic Surveillance – About Information and Communication Infrastructures for Smart Cities -- On Deriving Detailed Component Design from High-Level Service Specification -- Type-Safe Symmetric Composition of Metamodels Using Templates -- Towards Correct Product Derivation in Model-Driven Product Lines -- Simulation Configuration Modeling of Distributed Communication Systems -- GRL Model Validation: A Statistical Approach -- Configuration-Based Service Availability Analysis for Middleware Managed Applications. |
| Altri titoli varianti | SAM'12 |
| Record Nr. | UNINA-9910484215803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||