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.
Models in Software Engineering [[electronic resource] ] : Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers / / by Holger Giese
| Models in Software Engineering [[electronic resource] ] : Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers / / by Holger Giese |
| Autore | Giese Holger |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (X, 326 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer simulation Management information systems Computer science Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Simulation and Modeling Software Engineering Management of Computing and Information Systems |
| ISBN | 3-540-69073-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Aspect-Oriented Modeling -- 11th International Workshop on Aspect-Oriented Modeling -- A Generic Approach for Automatic Model Composition -- MATA: A Tool for Aspect-Oriented Modeling Based on Graph Transformation -- Language Engineering -- 4th International Workshop on Language Engineering (ATEM 2007) -- Designing Syntax Embeddings and Assimilations for Language Libraries -- A Comparison of Standard Compliant Ways to Define Domain Specific Languages -- Model Driven Development of Advanced User Interfaces -- Third International Workshop on Model Driven Development of Advanced User Interfaces -- Domain-Specific Methods and Tools for the Design of Advanced Interactive Techniques -- Transforming Discourse Models to Structural User Interface Models -- Model Size Metrics -- Second International Workshop on Model Size Metrics -- On the Relation between Class-Count and Modeling Effort -- Measuring the Level of Abstraction and Detail of Models in the Context of MDD -- Model-Based Design of Trustworthy Health Information Systems -- First International Workshop on the Model-Based Design of Trustworthy Health Information Systems -- Rigorously Defining and Analyzing Medical Processes: An Experience Report -- Modeling and Enforcing Advanced Access Control Policies in Healthcare Systems with Sectet -- Model-Driven Engineering, Verification and Validation -- 4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE -- Deriving Input Partitions from UML Models for Automatic Test Generation -- Putting Performance Engineering into Model-Driven Engineering: Model-Driven Performance Engineering -- Ocl4All: Modelling Systems with OCL -- 7th International Workshop on Ocl4All: Modelling Systems with OCL -- Model-Level Integration of the OCL Standard Library Using a Pivot Model with Generics Support -- Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse -- Models@run.time -- Second International Workshop on Models@run.time -- AMOEBA-RT: Run-Time Verification of Adaptive Software -- Model-Based Run-Time Error Detection -- Multi-Paradigm Modeling: Concepts and Tools -- Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools -- ModHel’X: A Component-Oriented Approach to Multi-Formalism Modeling -- Domain-Specific Model Editors with Model Completion -- Quality in Modeling -- Third Intenational Workshop on Quality in Modeling -- Developing a Quality Framework for Model-Driven Engineering -- Doctoral Symposium -- Doctoral Symposium -- Models in Conflict – Towards a Semantically Enhanced Version Control System for Models -- Aspect-Oriented User Requirements Notation: Aspects in Goal and Scenario Models -- Educators’ Symposium -- Educators’ Symposium. |
| Record Nr. | UNISA-996465275503316 |
Giese Holger
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
SEAMS'11 : proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems : May 23-24, 2011, Waikiki, Honolulu, HI, USA
| SEAMS'11 : proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems : May 23-24, 2011, Waikiki, Honolulu, HI, USA |
| Autore | Giese Holger |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2011 |
| Descrizione fisica | 1 online resource (238 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-0575-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Software Engineering for Adaptive and Self-Managing Systems'11
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems ICSE '11 International Conference on Software Engineering, Waikiki, Honolulu , HI, USA - May 21 - 28, 2011 |
| Record Nr. | UNINA-9910376516203321 |
|
Giese Holger
|
||
| [Place of publication not identified], : ACM, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||