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.
14th International Conference on Modularity (MODULARITY Companion 2015) : proceedings : March 16-19, 2015, Fort Collins, CO, USA / / Robert B. France, Sudipto Ghosh, and Gary T. Leavens
| 14th International Conference on Modularity (MODULARITY Companion 2015) : proceedings : March 16-19, 2015, Fort Collins, CO, USA / / Robert B. France, Sudipto Ghosh, and Gary T. Leavens |
| Pubbl/distr/stampa | New York : , : ACM, , 2015 |
| Descrizione fisica | 1 online resource (69 pages) |
| Disciplina | 005.1 |
| Soggetto topico |
Computer software
Modularity (Engineering) Aspect-oriented programming |
| ISBN | 1-4503-3283-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Companion proceedings of the 14th International Conference on Modularity
Modularity '15 : companion publication of the 14th International Conference on Modularity : Fort Collins, CO, USA, March 16-19, 2015 |
| Record Nr. | UNINA-9910376604003321 |
| New York : , : ACM, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering modeling languages : turning domain knowledge into tools / / Benoit Combemale, University of Rennes I, France, Robert B. France, Colorado State University, USA, Jean-Marc Jezequel, University of Rennes I, France, Bernhard Rumpe, RWTH Aachen University and Fraunhofer FIT, Germany, James Steel, AEHRC, CSIRO, Australia, Didier Vojtisek, Inria, France
| Engineering modeling languages : turning domain knowledge into tools / / Benoit Combemale, University of Rennes I, France, Robert B. France, Colorado State University, USA, Jean-Marc Jezequel, University of Rennes I, France, Bernhard Rumpe, RWTH Aachen University and Fraunhofer FIT, Germany, James Steel, AEHRC, CSIRO, Australia, Didier Vojtisek, Inria, France |
| Autore | Combemale Benoit |
| Pubbl/distr/stampa | Boca Raton : , : Taylor & Francis, CRC Press, , [2017] |
| Descrizione fisica | 1 online resource (403 pages) : illustrations |
| Disciplina | 620.00113513 |
| Collana | Chapman & Hall/CRC Innovations in Software Engineering and Software Development |
| Soggetto topico |
Engineering - Data processing
Modeling languages (Computer science) Computer software - Development Computer simulation |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-315-38792-1
1-315-38794-8 1-4665-8373-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. What's a model? -- Chapter 2. What's a modeling language? -- Chapter 3. Metamodeling with MOF and Ecore -- Chapter 4. Metamodeling with OCL -- Chapter 5. Building editors and viewers -- Chapter 6. Model transformation : from contemplative to productive models -- Chapter 7. Interpreter -- Chapter 8. Refactoring and refinement -- Chapter 9. Generators -- Chapter 10. Variability management -- Chapter 11. Scaling up modeling -- Chapter 12. Wrapup : metamodeling process -- Chapter 13. Language engineering : the logo example -- Chapter 14. Model-driven engineering of a role-playing game -- Chapter 15. Civil/construction engineering : the BIM example. |
| Record Nr. | UNINA-9910151566603321 |
Combemale Benoit
|
||
| Boca Raton : , : Taylor & Francis, CRC Press, , [2017] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model driven engineering languages and systems : 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012, proceedings / / Robert B. France ...[et al.] (eds.)
| Model driven engineering languages and systems : 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012, proceedings / / Robert B. France ...[et al.] (eds.) |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer, c2012 |
| Descrizione fisica | 1 online resource (XX, 828 p. 298 illus.) |
| Disciplina | 005.117 |
| Altri autori (Persone) | FranceRobert (Robert B.) |
| Collana |
Lecture notes in computer science
LNCS sublibrary |
| Soggetto topico |
Computer software - Development
Model-integrated computing Model-driven software architecture |
| ISBN | 3-642-33666-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Quantitative Reactive -- Bottom-Up Meta-Modelling: An Interactive -- T_: A Domain Specific Language for Rapid Workflow -- Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time -- Dynamic Evolution of Context-Aware Systems with Models at Runtime -- An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements -- Automated and Transparent Model Fragmentation for Persisting Large Models -- Formally Defining and Iterating Infinite Models -- Query-Driven Soft Interconnection of EMF Models -- Modeling the Linguistic Architecture of Software Products -- Cross-Language Support Mechanisms Significantly Aid Software Development -- Do Professional Developers Benefit from Design Pattern Documentation? A Replication in the Context of Source Code Comprehension -- Incremental Consistency Checking for Complex Design Rules and Larger Model Changes -- Evaluating the Impact of Aspects on Inconsistency Detection Effort: A Controlled Experiment -- On Integrating Structure and Behavior Modeling with OCL -- Multi-perspectives on Feature Models -- Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines -- Towards Business Application Product Lines -- Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines -- The Coroutine Model of Computation -- Assume-Guarantee Scenarios: Semantics and Synthesis -- An Exploratory Study of Forces and Frictions Affecting Large-Scale Model-Driven Development -- A Model-Driven Approach to Support Engineering Changes in Industrial Robotics Software -- Managing Related Models in Vehicle Control Software Development -- Detecting Specification Errors in Declarative Languages with Constraints -- From UML and OCL to Relational Logic and Back -- On Verifying ATL Transformations Using ‘off-the-shelf’ SMT Solvers -- ATLTest: A White-Box Test Generation Approach for ATL Transformations -- Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis -- Seeing Errors: Model Driven Simulation Trace Visualization -- A Modeling Approach to Support the Similarity-Based Reuse of Configuration Data -- Model Driven Configuration of Fault Tolerance Solutions for Component-Based Software System -- Applying a Consistency Checking Framework for Heterogeneous Models and Artifacts in Industrial Product Lines -- Generation of Operational Transformation Rules from Examples of Model Transformations -- Using Feature Model to Build Model Transformation Chains -- A Generic Approach Simplifying Model-to-Model Transformation Chains -- An Approach for Synchronizing UML Models and Narrative Text in Literate Modeling -- Model Matching for Trace Link Generation in Model-Driven Software Development -- Matching Business Process Workflows across Abstraction Levels -- Experiences of Applying UML/MARTE on Three Industrial Projects -- Evaluating the Effort of Composing Design Models: A Controlled -- Transition to Model-Driven Engineering: What Is Revolutionary, What Remains the Same? -- Towards an Automatic Service Discovery for UML-Based Rich Service Descriptions -- A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study -- Sensitivity Analysis in Model-Driven Engineering -- Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing -- Weaving-Based Configuration and Modular Transformation of Multi-layer Systems -- Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering -- An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design. |
| Altri titoli varianti | MODELS 2012 |
| Record Nr. | UNINA-9910510602203321 |
| Berlin ; ; Heidelberg, : Springer, c2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||