Generative and Component-Based Software Engineering [[electronic resource] ] : First International Symposium, GCSE'99, Erfurt, Germany, September 28-30, 1999. Revised Papers / / edited by Krzysztof Czarnecki, Ulrich W. Eisenecker |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (VIII, 225 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer logic Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
ISBN | 3-540-40048-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Paper -- A Survey and a Categorization Scheme of Automatic Programming Systems -- Aspects -- Using Reflective Logic Programming to Describe Domain Knowledge as an Aspect -- Aspect Weaving with Graph Rewriting -- Aspects in Distributed Environments -- Generative Approaches -- Lightweight and Generative Components I: Source-Level Components -- Scoping Constructs for Software Generators -- Efficient Object-Oriented Software with Design Patterns -- Language Composition -- Vanilla: an open language framework -- From Macros to Reusable Generative Programming -- Aspect-Oriented Compilers -- Component-Oriented Language Idioms -- Dynamic Component Gluing -- Recursive Types and Pattern-Matching in Java -- C++ Function Object Binders Made Easy -- Domain Analysis and Component-Based Development -- Customizable Domain Analysis -- A Grey-Box Approach to Component Composition -- An XML Based Component Model for Generating Scientific Applications and Performing Large Scale Simulations in a Meta-computing Environment. |
Record Nr. | UNISA-996465614503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Generative and Component-Based Software Engineering : First International Symposium, GCSE'99, Erfurt, Germany, September 28-30, 1999. Revised Papers / / edited by Krzysztof Czarnecki, Ulrich W. Eisenecker |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (VIII, 225 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer logic Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
ISBN | 3-540-40048-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Paper -- A Survey and a Categorization Scheme of Automatic Programming Systems -- Aspects -- Using Reflective Logic Programming to Describe Domain Knowledge as an Aspect -- Aspect Weaving with Graph Rewriting -- Aspects in Distributed Environments -- Generative Approaches -- Lightweight and Generative Components I: Source-Level Components -- Scoping Constructs for Software Generators -- Efficient Object-Oriented Software with Design Patterns -- Language Composition -- Vanilla: an open language framework -- From Macros to Reusable Generative Programming -- Aspect-Oriented Compilers -- Component-Oriented Language Idioms -- Dynamic Component Gluing -- Recursive Types and Pattern-Matching in Java -- C++ Function Object Binders Made Easy -- Domain Analysis and Component-Based Development -- Customizable Domain Analysis -- A Grey-Box Approach to Component Composition -- An XML Based Component Model for Generating Scientific Applications and Performing Large Scale Simulations in a Meta-computing Environment. |
Record Nr. | UNINA-9910143634003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
MODULARITY '16 : proceedings of the 15th International Conference on Modularity : March 14-17, 2016, Málaga, Spain / / edited by Lidia Fuentes, Don Batory, and Krzysztof Czarnecki ; sponsored by AOSA |
Pubbl/distr/stampa | New York : , : ACM, , 2016 |
Descrizione fisica | 1 online resource (145 pages) |
Disciplina | 005.1 |
Collana | ACM International Conference Proceeding Series |
Soggetto topico |
Computer software
Modularity (Engineering) Aspect-oriented programming |
ISBN | 1-4503-3995-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | Proceedings of the 15th International Conference on Modularity |
Record Nr. | UNINA-9910376342603321 |
New York : , : ACM, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
MODULARITY Companion '16 : companion proceedings of the 15th International Conference on Modularity : March 14-17, 2016, Málaga, Spain / / edited by Lidia Fuentes, Don Batory, and Krzysztof Czarnecki |
Pubbl/distr/stampa | New York : , : ACM, , 2016 |
Descrizione fisica | 1 online resource (217 pages) |
Disciplina | 005.1 |
Soggetto topico |
Computer software
Modularity (Engineering) Aspect-oriented programming |
ISBN | 1-4503-4033-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
Companion proceedings of the 15th International Conference on Modularity
Modularity '16 : companion volume of the 15th International Conference on Modularity : Málaga, Spain, March 14-18, 2016 |
Record Nr. | UNINA-9910376343503321 |
New York : , : ACM, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems |
Autore | Heymans Patrick |
Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2011 |
Descrizione fisica | 1 online resource (174 pages) |
Collana | ACM Other conferences |
Soggetto topico |
Engineering & Applied Sciences
Computer Science |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | VaMoS '11 2011 Variability Modeling of Software-Intensive Systems, Namur, Belgium - January 27 - 29, 2010 |
Record Nr. | UNINA-9910376019703321 |
Heymans Patrick
![]() |
||
[Place of publication not identified], : ACM, 2011 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Software Language Engineering [[electronic resource] ] : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers / / edited by Krzysztof Czarnecki, Görel Hedin |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XII, 413 p. 172 illus.) |
Disciplina | 005.13 |
Collana | Programming and Software Engineering |
Soggetto topico |
Programming languages (Electronic computers)
Software engineering Mathematical logic Artificial intelligence Computer simulation Management information systems Computer science Programming Languages, Compilers, Interpreters Software Engineering Mathematical Logic and Formal Languages Artificial Intelligence Simulation and Modeling Management of Computing and Information Systems |
ISBN | 3-642-36088-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Addressing Cognitive and Social Challenges in Designing and Using Ontologies in the Biomedical Domain -- Object Grammars: Compositional and Bidirectional Mapping between Text and Graphs -- Profile-Based Abstraction and Analysis of Attribute Grammar Evaluation -- Termination Analysis for Higher-Order Attribute Grammars -- Metamodelling for Grammarware Researchers -- Temporal Constraint Support for OCL -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model-to-Platform Transformations -- Model Transformation Co-evolution: A Semi-automatic Approach -- Guided Merging of Sequence Diagrams -- Bridging the Chasm between Executable Metamodeling and Models of Computation -- Grammatical Inference in Software Engineering: An Overview of the State of the Art -- Island Grammar-Based Parsing Using GLL and Tom -- Layout-Sensitive Generalized Parsing -- PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars -- TouchRAM: A Multitouch-Enabled Tool for Aspect-Oriented Software Design -- A Common Foundational Theory for Bridging Two Levels in Ontology-Driven Conceptual Modeling -- Declarative Name Binding and Scope Rules -- On the Reusable Specification of Non-functional Properties in DSLs -- Modular Well-Definedness Analysis for Attribute Grammars -- Meta-language Support for Type-Safe Access to External Resources -- Approaches and Tools for Implementing Type Systems in Xtext. |
Record Nr. | UNISA-996465999203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Software Language Engineering : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers / / edited by Krzysztof Czarnecki, Görel Hedin |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XII, 413 p. 172 illus.) |
Disciplina | 005.13 |
Collana | Programming and Software Engineering |
Soggetto topico |
Programming languages (Electronic computers)
Software engineering Mathematical logic Artificial intelligence Computer simulation Management information systems Computer science Programming Languages, Compilers, Interpreters Software Engineering Mathematical Logic and Formal Languages Artificial Intelligence Simulation and Modeling Management of Computing and Information Systems |
ISBN | 3-642-36088-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Addressing Cognitive and Social Challenges in Designing and Using Ontologies in the Biomedical Domain -- Object Grammars: Compositional and Bidirectional Mapping between Text and Graphs -- Profile-Based Abstraction and Analysis of Attribute Grammar Evaluation -- Termination Analysis for Higher-Order Attribute Grammars -- Metamodelling for Grammarware Researchers -- Temporal Constraint Support for OCL -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model-to-Platform Transformations -- Model Transformation Co-evolution: A Semi-automatic Approach -- Guided Merging of Sequence Diagrams -- Bridging the Chasm between Executable Metamodeling and Models of Computation -- Grammatical Inference in Software Engineering: An Overview of the State of the Art -- Island Grammar-Based Parsing Using GLL and Tom -- Layout-Sensitive Generalized Parsing -- PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars -- TouchRAM: A Multitouch-Enabled Tool for Aspect-Oriented Software Design -- A Common Foundational Theory for Bridging Two Levels in Ontology-Driven Conceptual Modeling -- Declarative Name Binding and Scope Rules -- On the Reusable Specification of Non-functional Properties in DSLs -- Modular Well-Definedness Analysis for Attribute Grammars -- Meta-language Support for Type-Safe Access to External Resources -- Approaches and Tools for Implementing Type Systems in Xtext. |
Record Nr. | UNINA-9910484606403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|