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 : 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings / / edited by Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio
| Model Driven Engineering Languages and Systems : 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings / / edited by Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XIV, 694 p.) |
| Disciplina | 005.117 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programming
Software engineering Programming languages (Electronic computers) Computer simulation Management information systems Computer science Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Management of Computing and Information Systems |
| ISBN | 3-540-45773-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote 1 -- A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines -- Evaluating UML -- Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0 -- An Experimental Investigation of UML Modeling Conventions -- Improving the Definition of UML -- MDA in Software Development -- Adopting Model Driven Software Development in Industry – A Case Study at Two Companies -- Use Case Driven Iterative Development: Hurdles and Solutions -- Model-Driven Development with SDL – Process, Tools, and Experiences -- Concrete Syntax -- Model-Driven Analysis and Synthesis of Concrete Syntax -- Correctly Defined Concrete Syntax for Visual Modeling Languages -- Applying UML to Interaction and Coordination -- Compositional MDA -- CUP 2.0: High-Level Modeling of Context-Sensitive Interactive Applications -- Aspects -- Domain Models Are NOT Aspect Free -- A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects -- Model Integration -- Package Merge in UML 2: Practice vs. Theory? -- Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis -- Merging Models with the Epsilon Merging Language (EML) -- Formal Semantics of UML -- Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2 -- Semantic Variations Among UML StateMachines -- Facilitating the Definition of General Constraints in UML -- Security -- Towards a MOF/QVT-Based Domain Architecture for Model Driven Security -- MDA-Based Re-engineering with Object-Z -- A Model Transformation Semantics and Analysis Methodology for SecureUML -- Model Transformation Tools and Implementation -- Incremental Model Transformation for the Evolution of Model-Driven Systems -- A Plugin-Based Language to Experiment with Model Transformation -- SiTra: Simple Transformations in Java -- Analyzing Dynamic Models -- Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models -- Model Extraction Using Context Information -- Dynamic and Generic Manipulation of Models: From Introspection to Scripting -- Specifying Transformations -- Model Transformation by Example -- Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework -- Model Transformations? Transformation Models! -- MOF -- A Mapping Language from Models to DI Diagrams -- Basic Operations over Models Containing Subset and Union Properties -- A Metamodeling Approach to Pattern Specification -- Keynote 2 -- Immune System Computation and the Immunological Homunculus -- Bridging Models -- Building Abstractions in Class Models: Formal Concept Analysis in a Model-Driven Approach -- Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages -- Incremental Model Synchronization with Triple Graph Grammars -- Risk, Trust and Dependability -- Model-Driven Assessment of Use Cases for Dependable Systems -- A Graphical Approach to Risk Identification, Motivated by Empirical Investigations -- Reusable MDA Components: A Testing-for-Trust Approach -- Tool Environments -- Using Smalltalk as a Reflective Executable Meta-language -- UML Model Interchange in Heterogeneous Tool Environments: An Analysis of Adoptions of XMI 2 -- Applying Model Fragment Copy-Restore to Build an Open and Distributed MDA Environment -- OCL -- An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE -- An OCL Semantics Specified with QVT -- Specification of Invariability in OCL -- Roundtrip Engineering -- Framework-Specific Modeling Languages with Round-Trip Engineering -- A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems -- Layered Class Diagrams: Supporting the Design Process -- Real Time and Embedded Systems -- Using UML Activities for System-on-Chip Design and Synthesis -- Modeling and Early Performance Estimation for Network Processor Applications -- A Formal Semantics of UML-RT -- Workshops, Tutorials and Panels -- Workshops and Symposia at MoDELS 2006 -- Tutorials at MoDELS 2006 -- Panels at MoDELS 2006. |
| Altri titoli varianti | MoDELS'06 |
| Record Nr. | UNISA-996466111403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Models in Software Engineering : Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers / / edited by Thomas Kühne
| Models in Software Engineering : Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers / / edited by Thomas Kühne |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XII, 334 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 Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Management of Computing and Information Systems |
| ISBN |
1-280-90214-0
9786610902149 3-540-69489-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | W1 – Aspect-Oriented Modeling -- 9th International Workshop on Aspect-Oriented Modeling -- Modeling Features in Aspect-Based Product Lines with Use Case Slices: An Exploratory Case Study -- Join Point Patterns: A High-Level Join Point Selection Mechanism -- W2 – Critical Systems Development -- Critical Systems Development Using Modeling Languages – CSDUML 2006 Workshop Report -- Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset -- Model Checking of UML 2.0 Interactions -- W3 – Reverse Engineering -- 3rd International Workshop on Metamodels, Schemas, Grammars and Ontologies -- A Unified Ontology-Based Process Model for Software Maintenance and Comprehension -- Formalizing the Well-Formedness Rules of EJB3QL in UML + OCL -- W4 – Quality in Modeling -- The 1st Workshop on Quality in Modeling -- Consistency of Business Process Models and Object Life Cycles -- A Qualitative Investigation of UML Modeling Conventions -- W5 – Advanced User Interfaces -- Model Driven Development of Advanced User Interfaces (MDDAUI) – MDDAUI’06 Workshop Report -- A Model-Driven Approach to the Engineering of Multiple User Interfaces -- Model-Driven Dynamic Generation of Context-Adaptive Web User Interfaces -- W6 – Real-Time and Embedded Systems -- Modelling and Analysis of Real Time and Embedded Systems – Using UML -- Time Exceptions in Sequence Diagrams -- Applying Model Intelligence Frameworks for Deployment Problem in Real-Time and Embedded Systems -- W7 – OCL -- OCL for (Meta-)Models in Multiple Application Domains -- OCL-Based Validation of a Railway Domain Profile -- OCL Support in an Industrial Environment -- W8 – Integrating MDA and V&V -- Report on the 3rd MoDeVa Workshop – Model Design and Validation -- Towards Model-Driven Unit Testing -- Validation of Model Transformations – First Experiences Using a White Box Approach -- W9 – Model Size Metrics -- Summary of the 2006 Model Size Metrics Workshop -- Model Size Matters -- On the Application of Software Metrics to UML Models -- W10 – Models@run.time -- Summary of the Workshop Models@run.time at MoDELS 2006 -- Using Runtime Models to Unify and Structure the Handling of Meta-information in Reflective Middleware -- Applying OMG D&C Specification and ECA Rules for Autonomous Distributed Component-Based Systems -- W11 – Multi-Paradigm Modeling -- Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools -- Think Global, Act Local: Implementing Model Management with Domain-Specific Integration Languages -- S1 – Doctoral Symposium -- MoDELS 2006 Doctoral Symposium -- Model Driven Security Engineering for the Realization of Dynamic Security Requirements in Collaborative Systems -- S2 – Educators Symposium -- Educators’ Symposium at MoDELS 2006 -- If You’re Not Modeling, You’re Just Programming: Modeling Throughout an Undergraduate Software Engineering Program -- Teaching Software Modeling in a Simulated Project Environment -- Repository for Model Driven Development (ReMoDD) -- S3 – A Formal Semantics for UML -- 2 nd UML 2 Semantics Symposium: Formal Semantics for UML -- A UML Simulator Based on a Generic Model Execution Engine -- Queries and Constraints: A Comprehensive Semantic Model for UML2 -- Analysis of UML Activities with Dynamic Meta Modeling Techniques. |
| Altri titoli varianti | MoDELS'06 |
| Record Nr. | UNISA-996465837903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Models in Software Engineering : Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers / / edited by Thomas Kühne
| Models in Software Engineering : Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers / / edited by Thomas Kühne |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XII, 334 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 Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Management of Computing and Information Systems |
| ISBN |
1-280-90214-0
9786610902149 3-540-69489-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | W1 – Aspect-Oriented Modeling -- 9th International Workshop on Aspect-Oriented Modeling -- Modeling Features in Aspect-Based Product Lines with Use Case Slices: An Exploratory Case Study -- Join Point Patterns: A High-Level Join Point Selection Mechanism -- W2 – Critical Systems Development -- Critical Systems Development Using Modeling Languages – CSDUML 2006 Workshop Report -- Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset -- Model Checking of UML 2.0 Interactions -- W3 – Reverse Engineering -- 3rd International Workshop on Metamodels, Schemas, Grammars and Ontologies -- A Unified Ontology-Based Process Model for Software Maintenance and Comprehension -- Formalizing the Well-Formedness Rules of EJB3QL in UML + OCL -- W4 – Quality in Modeling -- The 1st Workshop on Quality in Modeling -- Consistency of Business Process Models and Object Life Cycles -- A Qualitative Investigation of UML Modeling Conventions -- W5 – Advanced User Interfaces -- Model Driven Development of Advanced User Interfaces (MDDAUI) – MDDAUI’06 Workshop Report -- A Model-Driven Approach to the Engineering of Multiple User Interfaces -- Model-Driven Dynamic Generation of Context-Adaptive Web User Interfaces -- W6 – Real-Time and Embedded Systems -- Modelling and Analysis of Real Time and Embedded Systems – Using UML -- Time Exceptions in Sequence Diagrams -- Applying Model Intelligence Frameworks for Deployment Problem in Real-Time and Embedded Systems -- W7 – OCL -- OCL for (Meta-)Models in Multiple Application Domains -- OCL-Based Validation of a Railway Domain Profile -- OCL Support in an Industrial Environment -- W8 – Integrating MDA and V&V -- Report on the 3rd MoDeVa Workshop – Model Design and Validation -- Towards Model-Driven Unit Testing -- Validation of Model Transformations – First Experiences Using a White Box Approach -- W9 – Model Size Metrics -- Summary of the 2006 Model Size Metrics Workshop -- Model Size Matters -- On the Application of Software Metrics to UML Models -- W10 – Models@run.time -- Summary of the Workshop Models@run.time at MoDELS 2006 -- Using Runtime Models to Unify and Structure the Handling of Meta-information in Reflective Middleware -- Applying OMG D&C Specification and ECA Rules for Autonomous Distributed Component-Based Systems -- W11 – Multi-Paradigm Modeling -- Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools -- Think Global, Act Local: Implementing Model Management with Domain-Specific Integration Languages -- S1 – Doctoral Symposium -- MoDELS 2006 Doctoral Symposium -- Model Driven Security Engineering for the Realization of Dynamic Security Requirements in Collaborative Systems -- S2 – Educators Symposium -- Educators’ Symposium at MoDELS 2006 -- If You’re Not Modeling, You’re Just Programming: Modeling Throughout an Undergraduate Software Engineering Program -- Teaching Software Modeling in a Simulated Project Environment -- Repository for Model Driven Development (ReMoDD) -- S3 – A Formal Semantics for UML -- 2 nd UML 2 Semantics Symposium: Formal Semantics for UML -- A UML Simulator Based on a Generic Model Execution Engine -- Queries and Constraints: A Comprehensive Semantic Model for UML2 -- Analysis of UML Activities with Dynamic Meta Modeling Techniques. |
| Altri titoli varianti | MoDELS'06 |
| Record Nr. | UNINA-9910483201203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||