Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
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 | ||
| ||
Model driven engineering languages and systems : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010 : proceedings. Part II / / Dorina C. Petriu, Nicolas Rouquette, ystein Haugen (eds.)
| Model driven engineering languages and systems : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010 : proceedings. Part II / / Dorina C. Petriu, Nicolas Rouquette, ystein Haugen (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2010 |
| Descrizione fisica | 1 online resource (XXI, 422 p. 162 illus.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
PetriuDorina C
RouquetteNicolas Haugenystein |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
| Soggetto topico |
Model-driven software architecture
UML (Computer science) Computer software - Development |
| 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. |
| Record Nr. | UNINA-9910484912103321 |
| Berlin, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model driven engineering languages and systems : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010 : proceedings, part I / / Dorina C. Petriu, Nicolas Rouquette, ystein Haugen (eds.)
| Model driven engineering languages and systems : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010 : proceedings, part I / / Dorina C. Petriu, Nicolas Rouquette, ystein Haugen (eds.) |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | New York, : Springer, 2010 |
| Descrizione fisica | 1 online resource (XXI, 424 p. 173 illus.) |
| Disciplina | 006.7/4 |
| Altri autori (Persone) |
PetriuDorina C
RouquetteNicolas Haugenystein |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
| Soggetto topico |
Model-driven software architecture
UML (Computer science) |
| 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 -- session 1a. Genericity and generalization -- session 1b. Model migration incremental manipulation -- session 1c. Modeling model transformations -- session 2a. Verifying consistency and conformance -- session 2b. Taming modeling complexity -- session 2c. Modeling user-system interaction -- session 3a. Model-driven quality assurance -- session 3b. Managing variability -- session 3c. Multi-modeling approaches. |
| Record Nr. | UNINA-9910483531603321 |
| New York, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the Joint ACM SIGSOFT Conference -- QoSA and ACM SIGSOFT Symposium -- ISARCS on Quality of Software Architectures -- QoSA and Architecting Critical Systems -- ISARCS
| Proceedings of the Joint ACM SIGSOFT Conference -- QoSA and ACM SIGSOFT Symposium -- ISARCS on Quality of Software Architectures -- QoSA and Architecting Critical Systems -- ISARCS |
| Autore | Crnkovic Ivica |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2011 |
| Descrizione fisica | 1 online resource (194 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-0724-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Proceedings of the Joint Association for Computing Machinery Special Interest Group on Software Engineering Conference -- Quality of Software Architectures and Association for Computing Machinery Special Interest Group on Software Engineering Symposium -- International Symposium on Architecting Critical Systems on Quality of Software Architectures -- Quality of Software Architectures and Architecting Critical Systems -- International Symposium on Architecting Critical Systems |
| Record Nr. | UNINA-9910376525303321 |
Crnkovic Ivica
|
||
| [Place of publication not identified], : ACM, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||