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 : 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, Proceedings / / edited by Andy Schürr, Bran V. Selic
| Model Driven Engineering Languages and Systems : 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, Proceedings / / edited by Andy Schürr, Bran V. Selic |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XX, 756 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
User interfaces (Computer systems) Programming languages (Electronic computers) Computer programming Architecture, Computer Software Engineering/Programming and Operating Systems User Interfaces and Human Computer Interaction Programming Languages, Compilers, Interpreters Software Engineering Programming Techniques Computer System Implementation |
| Soggetto genere / forma |
Denver (Colo., 2009)
Kongress. |
| ISBN | 3-642-04425-5 |
| Classificazione |
DAT 310f
SS 4800 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote 1 -- Models. Models. Models. So What? -- (Meta-)Model Modeling and Management -- Modeling Modeling -- Representation and Traversal of Large Clabject Models -- Meta-model Pruning -- Quantitative Modeling with UML -- A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems -- Model Driven Performance Measurement and Assessment with MoDePeMART -- Security Analysis of a Biometric Authentication System Using UMLsec and JML -- Model Transformations and Constraints -- Automatically Discovering Hidden Transformation Chaining Constraints -- CSP(M): Constraint Satisfaction Problem over Models -- Parsing SBVR-Based Controlled Languages -- Model Management -- SLIM—A Lightweight Environment for Synchronous Collaborative Modeling -- Language-Independent Change Management of Process Models -- Requirements for Practical Model Merge – An Industrial Perspective -- UML in Practice and Quality Assurance -- Evaluating the Impact of UML Modeling on Software Quality: An Industrial Case Study -- Concern Visibility in Base Station Development – An Empirical Investigation -- Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation -- Formalization of Model Transformations -- Towards Composite Model Transformations Using Distributed Graph Transformation Concepts -- On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars -- Formal Support for QVT-Relations with Coloured Petri Nets -- Scenario Modeling -- An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example -- Refactoring-Safe Modeling of Aspect-Oriented Scenarios -- Model-Based Testing Using LSCs and S2A -- Business Application Development -- Model Driven Development of Graphical User Interfaces for Enterprise Business Applications – Experience, Lessons Learnt and a Way Forward -- Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors -- Rule-Enhanced Business Process Modeling Language for Service Choreographies -- Model Synchronisation and Change Propagation -- Change-Driven Model Transformations -- An Incremental Algorithm for High-Performance Runtime Model Consistency -- Traceability-Based Change Awareness -- Keynote 2 -- Interaction Design and Model-Driven Development -- Language Specification and Annotation -- Towards Test-Driven Semantics Specification -- Scalable Semantic Annotation Using Lattice-Based Ontologies -- OntoDSL: An Ontology-Based Framework for Domain-Specific Languages -- Domain-Specific Languages -- Domain-Specific Languages in Practice: A User Study on the Success Factors -- Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation -- Anatomy of a Visual Domain-Specific Language Project in an Industrial Context -- Model-Based Analysis -- A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty -- A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation -- Polymorphic Scenario-Based Specification Models: Semantics and Applications -- Model (De-)Composition and Abstractio -- Aspect Model Unweaving -- Model Composition Contracts -- Abstracting Complex Languages through Transformation and Composition -- An Approach for Evolving Transformation Chains -- Distributed Software Development -- Deterministic UML Models for Interconnected Activities and State Machines -- Automated Encapsulation of UML Activities for Incremental Development and Verification -- Using UML Statecharts with Knowledge Logic Guards -- Service and Business Process Integration -- A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems -- A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems -- Executable Domain Specific Language for Message-Based System Integration -- Keynote 3 -- Architectural Mining: The Other Side of the MDD -- Genericity and Constraints -- Generic Model Refactorings -- Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers -- Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages -- OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language -- Variability Management -- Variability within Modeling Language Definitions -- Variability Modelling throughout the Product Line Lifecycle -- Weaving Variability into Domain Metamodels -- Automatic Domain Model Migration to Manage Metamodel Evolution -- Model Transformation Engineering -- Model Transformation by Demonstration -- Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets -- Incremental Development of Model Transformation Chains Using Automated Testing -- Test-Driven Development of Model Transformations -- Symposium -- Educators’ Symposium at MODELS 2009. |
| Altri titoli varianti | MODELS '09 |
| Record Nr. | UNISA-996465332803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Language Engineering [[electronic resource] ] : Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers / / edited by Mark van den Brand, Dragan Gasevic, Jeff Gray
| Software Language Engineering [[electronic resource] ] : Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers / / edited by Mark van den Brand, Dragan Gasevic, Jeff Gray |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (390 p. 126 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer simulation Management information systems Computer science Computer logic Software Engineering Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Simulation and Modeling Management of Computing and Information Systems Logics and Meanings of Programs |
| Soggetto genere / forma |
Denver (Colo., 2009)
Kongress. |
| ISBN |
1-280-38595-2
9786613563873 3-642-12107-1 |
| Classificazione |
DAT 310f
DAT 350f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynotes -- Eating Our Own Dog Food: DSLs for Generative and Transformational Engineering -- If MDE Is the Solution, Then What Is the Problem? -- Regular Papers -- Language Evolution in Practice: The History of GMF -- A Novel Approach to Semi-automated Evolution of DSML Model Transformation -- Study of an API Migration for Two XML APIs -- Composing Feature Models -- VML* – A Family of Languages for Variability Management in Software Product Lines -- Multi-view Composition Language for Software Product Line Requirements -- Yet Another Language Extension Scheme -- Model Transformation Languages Relying on Models as ADTs -- Towards Dynamic Evolution of Domain Specific Languages -- ScalaQL: Language-Integrated Database Queries for Scala -- Integration of Data Validation and User Interface Concerns in a DSL for Web Applications -- Ontological Metamodeling with Explicit Instantiation -- Verifiable Parse Table Composition for Deterministic Parsing -- Natural and Flexible Error Recovery for Generated Parsers -- PIL: A Platform Independent Language for Retargetable DSLs -- Graphical Template Language for Transformation Synthesis -- A Role-Based Approach towards Modular Language Engineering -- Language Boxes -- Declarative Scripting in Haskell -- An Automated Process for Implementing Multilevel Domain Models -- Domain-Specific Metamodelling Languages for Software Language Engineering -- Generating Smart Wrapper Libraries for Arbitrary APIs -- Closing the Gap between Modelling and Java. |
| Record Nr. | UNISA-996465285003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
