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 | ||
| ||
Models in Software Engineering : Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers / / edited by Juergen Dingel, Arnor Solberg
| Models in Software Engineering : Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers / / edited by Juergen Dingel, Arnor Solberg |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XII, 416 p. 149 illus., 70 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Electronic data processing—Management Computer simulation Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming IT Operations Computer Modelling |
| ISBN | 3-642-21210-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | MODELS'10 |
| Record Nr. | UNISA-996465636703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||