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.
Applied Semantics [[electronic resource] ] : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures / / edited by Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva
| Applied Semantics [[electronic resource] ] : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures / / edited by Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (VIII, 536 p.) |
| Disciplina | 005.13/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Semantics
Programming languages (Electronic computers) Computer logic Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| ISBN | 3-540-45699-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An Introduction to Dependent Type Theory -- Monads and Effects -- Abstract Machines, Control, and Sequents -- Normalization and Partial Evaluation -- Computing with Real Numbers -- The Join Calculus: A Language for Distributed Mobile Programming -- An Introduction to Functional Nets -- Operational Semantics and Program Equivalence -- Using, Understanding, and Unraveling the OCaml Language From Practice to Theory and Vice Versa. |
| Record Nr. | UNISA-996465524703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Applied Semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures / / edited by Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva
| Applied Semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures / / edited by Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (VIII, 536 p.) |
| Disciplina | 005.13/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Semantics
Programming languages (Electronic computers) Computer logic Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| ISBN | 3-540-45699-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An Introduction to Dependent Type Theory -- Monads and Effects -- Abstract Machines, Control, and Sequents -- Normalization and Partial Evaluation -- Computing with Real Numbers -- The Join Calculus: A Language for Distributed Mobile Programming -- An Introduction to Functional Nets -- Operational Semantics and Program Equivalence -- Using, Understanding, and Unraveling the OCaml Language From Practice to Theory and Vice Versa. |
| Record Nr. | UNINA-9910143883203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| 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 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. | 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 | ||
| ||