DSM '15 : proceedings of the Workshop on Domain-Specific Modeling : October 27, 2015, Pittsburgh, PA, USA / / edited by Jeff Gray [and three others] ; sponsored by ACM SIGPLAN |
Pubbl/distr/stampa | New York : , : ACM, , 2015 |
Descrizione fisica | 1 online resource (76 pages) |
Disciplina | 005.13 |
Soggetto topico |
Domain-specific programming languages
Computer software - Development Domain specificity |
ISBN | 1-4503-3903-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
Domain-Specific Modeling 2015
Proceedings of the Workshop on Domain-Specific Modeling |
Record Nr. | UNINA-9910376555203321 |
New York : , : ACM, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
MobileDeLi '15 : proceedings of the 3rd International Workshop on Mobile Development Lifecycle : October 26, 2015, Pittsburgh, PA, USA / / edited by Aharon Abadi, Lori Flynn, and Jeff Gray ; sponsored by ACM SIGPLAN |
Pubbl/distr/stampa | New York : , : ACM, , 2015 |
Descrizione fisica | 1 online resource (57 pages) |
Disciplina | 004.165 |
Soggetto topico |
Mobile computing
Computer software - Development Application software - Development |
ISBN | 1-4503-3906-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
Mobile Development Lifecycle 2015
Proceedings of the 3rd International Workshop on Mobile Development Lifecycle |
Record Nr. | UNINA-9910376554503321 |
New York : , : ACM, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Model-Driven Engineering Languages and Systems [[electronic resource] ] : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings / / edited by Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter Clarke |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XXVIII, 792 p. 299 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Programming languages (Electronic computers)
Software engineering Computer logic Management information systems Computer science Computer simulation Computer system failures Programming Languages, Compilers, Interpreters Software Engineering Logics and Meanings of Programs Management of Computing and Information Systems Simulation and Modeling System Performance and Evaluation |
ISBN | 3-642-41533-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Tool support -- Dependability -- Comprehensibility -- Testing -- Evolution -- Verification -- Product lines -- Semantics -- Domain-specific modeling languages -- Design and architecture -- Model transformation -- Model analysis.- System synthesis. |
Record Nr. | UNISA-996465522003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Model-Driven Engineering Languages and Systems : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings / / edited by Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter Clarke |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XXVIII, 792 p. 299 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Programming languages (Electronic computers)
Software engineering Computer logic Management information systems Computer science Computer simulation Computer system failures Programming Languages, Compilers, Interpreters Software Engineering Logics and Meanings of Programs Management of Computing and Information Systems Simulation and Modeling System Performance and Evaluation |
ISBN | 3-642-41533-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Tool support -- Dependability -- Comprehensibility -- Testing -- Evolution -- Verification -- Product lines -- Semantics -- Domain-specific modeling languages -- Design and architecture -- Model transformation -- Model analysis.- System synthesis. |
Record Nr. | UNINA-9910483238903321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling / / editors, Jeff Gray [and three others] |
Pubbl/distr/stampa | New York : , : Association for Computing Machinery, , 2019 |
Descrizione fisica | 1 online resource (62 pages) : illustrations |
Disciplina | 005.11 |
Collana | ACM Conferences |
Soggetto topico |
Computer software - Development
Domain-specific programming languages Computer science |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910412113803321 |
New York : , : Association for Computing Machinery, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of the 18th ACM SIGPLAN international workshop on domain-specific modeling / / Jeff Gray [and three others], editors |
Pubbl/distr/stampa | New York, New York : , : Association for Computing Machinery, , 2021 |
Descrizione fisica | 1 online resource |
Disciplina | 004 |
Soggetto topico | Electronic data processing |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910510418803321 |
New York, New York : , : Association for Computing Machinery, , 2021 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
SLE '19 : proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering : October 20-22, 2019, Athens, Greece / / edited by Oscar Nierstrasz, Jeff Gray, and Bruno C. d. S. Oliveira |
Pubbl/distr/stampa | New York : , : The Association for Computing Machinery, , 2019 |
Descrizione fisica | 1 online resource (vi, 216 pages) : illustrations |
Disciplina | 005.13 |
Collana | ACM international conference proceedings series |
Soggetto topico |
Programming languages (Electronic computers)
Software engineering |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910412122503321 |
New York : , : The Association for Computing Machinery, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
|
Theory and Practice of Model Transformations [[electronic resource] ] : First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings / / edited by Antonio Vallecillo, Jeff Gray, Alfonso Pierantonio |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (XII, 261 p.) |
Disciplina | 004.0151 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computers
Computer science Theory of Computation Computer Science, general |
ISBN | 3-540-69927-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Process and Engineering of Model Transformations -- Transformations Have to be Developed ReST Assured -- Lifting Transformational Models of Product Lines: A Case Study -- Model Synchronisation: Definitions for Round-Trip Engineering -- The Epsilon Transformation Language -- Model Transformations Supporting Concurrency and Time -- Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap? -- On Specifying and Visualising Long-Running Empirical Studies -- Programmed Graph Rewriting with Time for Simulation-Based Design -- Matching and Mapping within Model Transformation Rules -- Live Model Transformations Driven by Incremental Pattern Matching -- Semantics-Based Weaving of UML Sequence Diagrams -- Translation of QVT Relations into QVT Operational Mappings -- Language Support for Model Transformation Reuse and Modularity -- Composition Techniques for Rule-Based Model Transformation Languages -- Approaches for Model Transformation Reuse: Factorization and Composition -- Code Generation by Model Transformation -- Application of Reflection in Model Transformation Languages -- Correctness and Analysis of Model Transformations -- Proofs-as-Model-Transformations -- Analysing Graph Transformation Rules through OCL -- Extracting Object Interactions Out of Software Contracts Using Model Transformations. |
Record Nr. | UNISA-996465762503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Theory and practice of model transformations : first international conference, ICMT 2008, Zurich, Switzerland, July 1-2, 2008 : proceedings / / Antonion Vallecillo, Jeff Gray, Alfonso Pierantonio (eds.) |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, : Springer, 2008 |
Descrizione fisica | 1 online resource (XII, 261 p.) |
Disciplina | 004.0151 |
Altri autori (Persone) |
VallecilloAntonio
GrayJeff PierantonioAlfonso |
Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
Soggetto topico |
Computer software - Development
Model-driven software architecture |
ISBN | 3-540-69927-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Process and Engineering of Model Transformations -- Transformations Have to be Developed ReST Assured -- Lifting Transformational Models of Product Lines: A Case Study -- Model Synchronisation: Definitions for Round-Trip Engineering -- The Epsilon Transformation Language -- Model Transformations Supporting Concurrency and Time -- Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap? -- On Specifying and Visualising Long-Running Empirical Studies -- Programmed Graph Rewriting with Time for Simulation-Based Design -- Matching and Mapping within Model Transformation Rules -- Live Model Transformations Driven by Incremental Pattern Matching -- Semantics-Based Weaving of UML Sequence Diagrams -- Translation of QVT Relations into QVT Operational Mappings -- Language Support for Model Transformation Reuse and Modularity -- Composition Techniques for Rule-Based Model Transformation Languages -- Approaches for Model Transformation Reuse: Factorization and Composition -- Code Generation by Model Transformation -- Application of Reflection in Model Transformation Languages -- Correctness and Analysis of Model Transformations -- Proofs-as-Model-Transformations -- Analysing Graph Transformation Rules through OCL -- Extracting Object Interactions Out of Software Contracts Using Model Transformations. |
Altri titoli varianti | ICMT 2008 |
Record Nr. | UNINA-9910767510403321 |
Berlin, : Springer, 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|