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.
16th IEEE International Conference on Program Comprehension : 10-13 June 2008, Amsterdam, The Netherlands
| 16th IEEE International Conference on Program Comprehension : 10-13 June 2008, Amsterdam, The Netherlands |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2008 |
| Disciplina | 005.1/6 |
| Soggetto topico |
Computer programs
Software maintenance Engineering & Applied Sciences Computer Science |
| ISBN | 1-5090-8190-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996216639103316 |
| [Place of publication not identified], : IEEE Computer Society, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
16th IEEE International Conference on Program Comprehension : 10-13 June 2008, Amsterdam, The Netherlands
| 16th IEEE International Conference on Program Comprehension : 10-13 June 2008, Amsterdam, The Netherlands |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2008 |
| Disciplina | 005.1/6 |
| Soggetto topico |
Computer programs
Software maintenance Engineering & Applied Sciences Computer Science |
| ISBN |
9781509081905
1509081909 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910145677803321 |
| [Place of publication not identified], : IEEE Computer Society, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Generative and Transformational Techniques in Software Engineering [[electronic resource] ] : International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers / / edited by Ralf Lämmel, João Saraiva, Joost Visser
| Generative and Transformational Techniques in Software Engineering [[electronic resource] ] : International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers / / edited by Ralf Lämmel, João Saraiva, Joost Visser |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (X, 474 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Management information systems Computer science Application software Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Management of Computing and Information Systems Computer Appl. in Administrative Data Processing |
| ISBN | 3-540-46235-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tutorials -- A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite -- Model Driven Engineering: An Emerging Technical Space -- Program Transformation with Reflection and Aspect-Oriented Programming -- The Transformational Approach to Database Engineering -- Program Optimizations and Transformations in Calculation Form -- Mappings Make Data Processing Go ’Round -- On the Use of Graph Transformations for Model Refactoring -- Technology Presentations -- Forms2Net – Migrating Oracle Forms to Microsoft .NET -- Applications of the Asf+Sdf Meta-Environment -- MetaBorg in Action: Examples of Domain-Specific Language Embedding and Assimilation Using Stratego/XT -- Agile Parsing to Transform Web Applications -- Data Cleaning and Transformation Using the AJAX Framework -- Developing Tools with Fujaba XProM -- The COMPOST, COMPASS, Inject/J and RECODER Tool Suite for Invasive Software Composition: Invasive Composition with COMPASS Aspect-Oriented Connectors -- Program Transformation Using HATS 1.84 -- Participants’ Contributions -- Using Java CSP Solvers in the Automated Analyses of Feature Models -- Co-transformations in Database Applications Evolution -- Modular Name Analysis for Java Using JastAdd -- Techniques for Lightweight Generator Refactoring -- E-CARES Project: Reengineering of Telecommunication Systems -- A Feature Composition Problem and a Solution Based on C++ Template Metaprogramming. |
| Record Nr. | UNISA-996466149303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Generative and Transformational Techniques in Software Engineering II [[electronic resource] ] : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7. 2007, Revised Papers / / edited by Ralf Lämmel, Joost Visser, João Saraiva
| Generative and Transformational Techniques in Software Engineering II [[electronic resource] ] : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7. 2007, Revised Papers / / edited by Ralf Lämmel, Joost Visser, João Saraiva |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (X, 521 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Computer communication systems Computers Microprogramming Software Engineering/Programming and Operating Systems Programming Techniques Computer Communication Networks Software Engineering Computation by Abstract Devices Control Structures and Microprogramming |
| ISBN | 3-540-88643-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Full Tutorials -- Design Space of Heterogeneous Synchronization -- Software Reuse beyond Components with XVCL (Tutorial) -- .QL: Object-Oriented Queries Made Easy -- Transforming Data by Calculation -- How to Write Fast Numerical Code: A Small Introduction -- A Gentle Introduction to Multi-stage Programming, Part II -- WebDSL: A Case Study in Domain-Specific Language Engineering -- Short Tutorials -- Model-Driven Engineering of Rules for Web Services -- An Introduction to Context-Oriented Programming with ContextS -- A Landscape of Bidirectional Model Transformations -- Evolving a DSL Implementation -- Adding Dimension Analysis to Java as a Composable Language Extension -- Participants Contributions -- Model Transformations for the Compilation of Multi-processor Systems-on-Chip -- Implementation of a Finite State Machine with Active Libraries in C++ -- Automated Merging of Feature Models Using Graph Transformations -- Modelling the Operational Semantics of Domain-Specific Modelling Languages. |
| Record Nr. | UNISA-996466065003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Generative and Transformational Techniques in Software Engineering II : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7. 2007, Revised Papers / / edited by Ralf Lämmel, Joost Visser, João Saraiva
| Generative and Transformational Techniques in Software Engineering II : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7. 2007, Revised Papers / / edited by Ralf Lämmel, Joost Visser, João Saraiva |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (X, 521 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Computer networks Computers Microprogramming Software Engineering/Programming and Operating Systems Programming Techniques Computer Communication Networks Software Engineering Computation by Abstract Devices Control Structures and Microprogramming |
| ISBN | 3-540-88643-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Full Tutorials -- Design Space of Heterogeneous Synchronization -- Software Reuse beyond Components with XVCL (Tutorial) -- .QL: Object-Oriented Queries Made Easy -- Transforming Data by Calculation -- How to Write Fast Numerical Code: A Small Introduction -- A Gentle Introduction to Multi-stage Programming, Part II -- WebDSL: A Case Study in Domain-Specific Language Engineering -- Short Tutorials -- Model-Driven Engineering of Rules for Web Services -- An Introduction to Context-Oriented Programming with ContextS -- A Landscape of Bidirectional Model Transformations -- Evolving a DSL Implementation -- Adding Dimension Analysis to Java as a Composable Language Extension -- Participants Contributions -- Model Transformations for the Compilation of Multi-processor Systems-on-Chip -- Implementation of a Finite State Machine with Active Libraries in C++ -- Automated Merging of Feature Models Using Graph Transformations -- Modelling the Operational Semantics of Domain-Specific Modelling Languages. |
| Record Nr. | UNINA-9910484533403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Generative and Transformational Techniques in Software Engineering III [[electronic resource] ] : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised Papers / / edited by João M. Fernandes, Ralf Lämmel, Joost Visser, João Saraiva
| Generative and Transformational Techniques in Software Engineering III [[electronic resource] ] : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised Papers / / edited by João M. Fernandes, Ralf Lämmel, Joost Visser, João Saraiva |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (X, 499 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer programming Mathematical logic Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques Mathematical Logic and Formal Languages Software Engineering/Programming and Operating Systems |
| ISBN | 3-642-18023-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An Introduction to Software Product Line Refactoring -- Excerpts from the TXL Cookbook -- Model Synchronization: Mappings, Tiles, and Categories -- An Introductory Tutorial on JastAdd Attribute Grammars -- Model Driven Language Engineering with Kermeta; EASY Meta-programming with Rascal -- The Theory and Practice of Modeling Language Design for Model-Based Software Engineering—A Personal Perspective -- Code Transformations for Embedded Reconfigurable Computing Architectures -- Model Transformation Chains and Model Management for End-to-End Performance Decision Support; Building Code Generators with Genesys: A Tutorial Introduction; The Need for Early Aspects -- Lightweight Language Processing in Kiama -- Some Issues in the ‘Archaeology’ of Software Evolution; Teaching Computer Language Handling – From Compiler Theory to Meta-modelling; C++ Metastring Library and Its Applications -- Language Convergence Infrastructure. |
| Record Nr. | UNISA-996466050903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Generative and Transformational Techniques in Software Engineering IV [[electronic resource] ] : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011, Revised and Extended Papers / / edited by Ralf Lämmel, João Saraiva, Joost Visser
| Generative and Transformational Techniques in Software Engineering IV [[electronic resource] ] : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011, Revised and Extended Papers / / edited by Ralf Lämmel, João Saraiva, Joost Visser |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 449 p. 112 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer programming Mathematical logic Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques Mathematical Logic and Formal Languages Software Engineering/Programming and Operating Systems |
| ISBN | 3-642-35992-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Compilation of Legacy Languages in the 21st Century -- Variation Programming with the Choice Calculus -- Leveraging Static Analysis in an IDE -- Differencing UML Models: A Domain-Specific vs. a Domain-Agnostic Method -- Model Management in the Wild -- Bidirectional by Necessity: Data Persistence and Adaptability for Evolving Application Development -- Requirements for Self-adaptation -- Dynamic Program Analysis for Database Reverse Engineering -- Model-Based Language Engineering with EMFText -- Feature-Oriented Software Development: A Short Tutorial on Feature-Oriented Programming, Virtual Separation of Concerns, and Variability-Aware Analysis -- Language and IDE Modularization and Composition with MPS -- Tengi Interfaces for Tracing between Heterogeneous Components. |
| Record Nr. | UNISA-996465975203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Grand Timely Topics in Software Engineering [[electronic resource] ] : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures / / edited by Jácome Cunha, João P. Fernandes, Ralf Lämmel, João Saraiva, Vadim Zaytsev
| Grand Timely Topics in Software Engineering [[electronic resource] ] : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures / / edited by Jácome Cunha, João P. Fernandes, Ralf Lämmel, João Saraiva, Vadim Zaytsev |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XI, 235 p. 44 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Computer programming Mathematical logic Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Programming Techniques Mathematical Logic and Formal Languages |
| ISBN | 3-319-60074-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Probabilistic program analysis -- Ontologies in software engineering -- Empirical evaluation of programming and programming languages -- Model synchronization management of software product families -- "People analytics" in software development -- DSLs in robotics, structured program generation techniques -- Advanced aspects of software refactoring -- Name binding in language implementation. |
| Record Nr. | UNISA-996466290803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Grand Timely Topics in Software Engineering : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures / / edited by Jácome Cunha, João P. Fernandes, Ralf Lämmel, João Saraiva, Vadim Zaytsev
| Grand Timely Topics in Software Engineering : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures / / edited by Jácome Cunha, João P. Fernandes, Ralf Lämmel, João Saraiva, Vadim Zaytsev |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XI, 235 p. 44 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Computer programming Mathematical logic Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Programming Techniques Mathematical Logic and Formal Languages |
| ISBN | 3-319-60074-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Probabilistic program analysis -- Ontologies in software engineering -- Empirical evaluation of programming and programming languages -- Model synchronization management of software product families -- "People analytics" in software development -- DSLs in robotics, structured program generation techniques -- Advanced aspects of software refactoring -- Name binding in language implementation. |
| Record Nr. | UNINA-9910484135803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Language Engineering [[electronic resource] ] : First International Conference, SLE 2008 Toulouse, France, September 29-30, 2008, Revised Selected Papers / / edited by Dragan Gaševic, Ralf Lämmel, Eric van Wyk
| Software Language Engineering [[electronic resource] ] : First International Conference, SLE 2008 Toulouse, France, September 29-30, 2008, Revised Selected Papers / / edited by Dragan Gaševic, Ralf Lämmel, Eric van Wyk |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XIII, 343 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 | 3-642-00434-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynotes -- The Field of Software Language Engineering -- Model-Driven Engineering Meets Generic Language Technology -- Regular Papers -- Evaluating the Visual Syntax of UML: An Analysis of the Cognitive Effectiveness of the UML Family of Diagrams -- Neon: A Library for Language Usage Analysis -- Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude -- Parse Table Composition -- Practical Scope Recovery Using Bridge Parsing -- Generating Rewritable Abstract Syntax Trees -- Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains -- Engineering a DSL for Software Traceability -- Towards an Incremental Update Approach for Concrete Textual Syntaxes for UUID-Based Model Repositories -- A Model Engineering Approach to Tool Interoperability -- Engineering Languages for Specifying Product-Derivation Processes in Software Product Lines -- Transformation Language Integration Based on Profiles and Higher Order Transformations -- Formalization and Rule-Based Transformation of EMF Ecore-Based Models -- A Practical Evaluation of Using TXL for Model Transformation -- DeFacto: Language-Parametric Fact Extraction from Source Code -- A Case Study in Grammar Engineering -- Sudoku – A Language Description Case Study -- The Java Programmer’s Phrase Book. |
| Record Nr. | UNISA-996465885103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||