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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|