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.
Theory and Practice of Model Transformations [[electronic resource] ] : 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings / / edited by Davide Di Ruscio, Dániel Varró
| Theory and Practice of Model Transformations [[electronic resource] ] : 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings / / edited by Davide Di Ruscio, Dániel Varró |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVI, 203 p. 81 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Management information systems Computer science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Management of Computing and Information Systems |
| ISBN | 3-319-08789-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On the Usage of TGGs for Automated Model Transformation Testing -- A Search Based Test Data Generation Approach for Model Transformations -- Test Data Generation for Model Transformations Combining Partition and Constraint Analysis -- Testing MOF Script Transformations with Handy MOF -- Towards a Rational Taxonomy for Increasingly Symmetric Model Synchronization -- Correctness of Incremental Model Synchronization with Triple Graph Grammars -- Towards a Language for Graph-Based Model Transformation Design Patterns -- Synchronization of Models of Rich Languages with Triple Graph Grammars: An Experience Report -- Triple Graph Grammars in the Large for Translating Satellite Procedures -- Developing eMoflon with eMoflon -- ChainTracker, a Model-Transformation Trace Analysis Tool for Code-Generation Environments -- Tracing Program Transformations with String Origins -- Transformation of UML and OCL Models into Filmstrip Models -- Reverse Engineering of Model Transformations for Reusability. |
| Record Nr. | UNINA-9910484265803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theory and Practice of Model Transformations [[electronic resource] ] : 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings / / edited by Davide Di Ruscio, Dániel Varró
| Theory and Practice of Model Transformations [[electronic resource] ] : 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings / / edited by Davide Di Ruscio, Dániel Varró |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVI, 203 p. 81 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Management information systems Computer science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Management of Computing and Information Systems |
| ISBN | 3-319-08789-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On the Usage of TGGs for Automated Model Transformation Testing -- A Search Based Test Data Generation Approach for Model Transformations -- Test Data Generation for Model Transformations Combining Partition and Constraint Analysis -- Testing MOF Script Transformations with Handy MOF -- Towards a Rational Taxonomy for Increasingly Symmetric Model Synchronization -- Correctness of Incremental Model Synchronization with Triple Graph Grammars -- Towards a Language for Graph-Based Model Transformation Design Patterns -- Synchronization of Models of Rich Languages with Triple Graph Grammars: An Experience Report -- Triple Graph Grammars in the Large for Translating Satellite Procedures -- Developing eMoflon with eMoflon -- ChainTracker, a Model-Transformation Trace Analysis Tool for Code-Generation Environments -- Tracing Program Transformations with String Origins -- Transformation of UML and OCL Models into Filmstrip Models -- Reverse Engineering of Model Transformations for Reusability. |
| Record Nr. | UNISA-996213699003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theory and Practice of Model Transformations [[electronic resource] ] : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings / / edited by Keith Duddy, Gerti Kappel
| Theory and Practice of Model Transformations [[electronic resource] ] : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings / / edited by Keith Duddy, Gerti Kappel |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XIV, 221 p. 85 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Management information systems Computer science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Management of Computing and Information Systems |
| ISBN | 3-642-38883-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Mining Models from Generated System Tests -- Streaming model transformations: scenarios, challenges and initial solutions -- Genetic-Programming Approach to Learn Model Transformation Rules from Examples -- Walk Your Tree Any Way You Want -- On an Automated Translation of Satellite Procedures Using Triple Graph Grammars -- The Graph Grammar Library - a generic framework for chemical graph rewrite systems -- Yet Another Three QVT Languages -- Evolution and Synchronisation -- Robust Real-Time Synchronization between Textual and Graphical Editors. |
| Record Nr. | UNISA-996465836603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theory and Practice of Model Transformations [[electronic resource] ] : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings / / edited by Keith Duddy, Gerti Kappel
| Theory and Practice of Model Transformations [[electronic resource] ] : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings / / edited by Keith Duddy, Gerti Kappel |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XIV, 221 p. 85 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Management information systems Computer science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Management of Computing and Information Systems |
| ISBN | 3-642-38883-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Mining Models from Generated System Tests -- Streaming model transformations: scenarios, challenges and initial solutions -- Genetic-Programming Approach to Learn Model Transformation Rules from Examples -- Walk Your Tree Any Way You Want -- On an Automated Translation of Satellite Procedures Using Triple Graph Grammars -- The Graph Grammar Library - a generic framework for chemical graph rewrite systems -- Yet Another Three QVT Languages -- Evolution and Synchronisation -- Robust Real-Time Synchronization between Textual and Graphical Editors. |
| Record Nr. | UNINA-9910483109003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theory and Practice of Model Transformations [[electronic resource] ] : Second International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, Proceedings / / edited by Richard F. Paige
| Theory and Practice of Model Transformations [[electronic resource] ] : Second International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, Proceedings / / edited by Richard F. Paige |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 285 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 Programming Languages, Compilers, Interpreters Simulation and Modeling Software Engineering Management of Computing and Information Systems |
| ISBN | 3-642-02408-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- Foundations for Bidirectional Programming -- Full Papers -- Model Superimposition in Software Product Lines -- Efficient Model Transformations by Combining Pattern Matching Strategies -- Managing Dependent Changes in Coupled Evolution -- Model Transformation By-Example: An Algorithm for Generating Many-to-Many Transformation Rules in Several Model Transformation Languages -- A Collection Operator for Graph Transformation -- Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions -- Towards Model Round-Trip Engineering: An Abductive Approach -- Rewriting Queries by Means of Model Transformations from SPARQL to OQL and Vice-Versa -- Solving Constraints in Model Transformations -- Automatic Model Generation Strategies for Model Transformation Testing -- A Simple Game-Theoretic Approach to Checkonly QVT Relations -- Supporting Model–Driven Development of Object–Relational Database Schemas: A Case Study -- Typing in Model Management -- Supporting Parallel Updates with Bidirectional Model Transformations -- Short Papers -- Experiments with a High-Level Navigation Language -- Using Metrics for Assessing the Quality of ASF+SDF Model Transformations -- Achieving Rule Interoperability Using Chains of Model Transformations -- Panel on Bidirectional Transformations -- Bidirectional Transformations: A Cross-Discipline Perspective. |
| Record Nr. | UNISA-996465590903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theory and Practice of Model Transformations [[electronic resource] ] : Second International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, Proceedings / / edited by Richard F. Paige
| Theory and Practice of Model Transformations [[electronic resource] ] : Second International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, Proceedings / / edited by Richard F. Paige |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 285 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 Programming Languages, Compilers, Interpreters Simulation and Modeling Software Engineering Management of Computing and Information Systems |
| ISBN | 3-642-02408-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- Foundations for Bidirectional Programming -- Full Papers -- Model Superimposition in Software Product Lines -- Efficient Model Transformations by Combining Pattern Matching Strategies -- Managing Dependent Changes in Coupled Evolution -- Model Transformation By-Example: An Algorithm for Generating Many-to-Many Transformation Rules in Several Model Transformation Languages -- A Collection Operator for Graph Transformation -- Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions -- Towards Model Round-Trip Engineering: An Abductive Approach -- Rewriting Queries by Means of Model Transformations from SPARQL to OQL and Vice-Versa -- Solving Constraints in Model Transformations -- Automatic Model Generation Strategies for Model Transformation Testing -- A Simple Game-Theoretic Approach to Checkonly QVT Relations -- Supporting Model–Driven Development of Object–Relational Database Schemas: A Case Study -- Typing in Model Management -- Supporting Parallel Updates with Bidirectional Model Transformations -- Short Papers -- Experiments with a High-Level Navigation Language -- Using Metrics for Assessing the Quality of ASF+SDF Model Transformations -- Achieving Rule Interoperability Using Chains of Model Transformations -- Panel on Bidirectional Transformations -- Bidirectional Transformations: A Cross-Discipline Perspective. |
| Record Nr. | UNINA-9910483562403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theory of Cryptography [[electronic resource] ] : 16th International Conference, TCC 2018, Panaji, India, November 11–14, 2018, Proceedings, Part II / / edited by Amos Beimel, Stefan Dziembowski
| Theory of Cryptography [[electronic resource] ] : 16th International Conference, TCC 2018, Panaji, India, November 11–14, 2018, Proceedings, Part II / / edited by Amos Beimel, Stefan Dziembowski |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVII, 732 p. 318 illus., 22 illus. in color.) |
| Disciplina | 005.82 |
| Collana | Security and Cryptology |
| Soggetto topico |
Data encryption (Computer science)
Computer security Computers Law and legislation Computers and civilization Computer communication systems Management information systems Computer science Cryptology Systems and Data Security Legal Aspects of Computing Computers and Society Computer Communication Networks Management of Computing and Information Systems |
| ISBN | 3-030-03810-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | MPC protocols -- Order-revealing encryption and symmetric encryption -- Information-theoretic cryptography II and quantum cryptography -- LWE-based cryptography -- iO and authentication -- ORAM and PRF. |
| Record Nr. | UNINA-9910349393003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theory of Cryptography [[electronic resource] ] : 16th International Conference, TCC 2018, Panaji, India, November 11–14, 2018, Proceedings, Part I / / edited by Amos Beimel, Stefan Dziembowski
| Theory of Cryptography [[electronic resource] ] : 16th International Conference, TCC 2018, Panaji, India, November 11–14, 2018, Proceedings, Part I / / edited by Amos Beimel, Stefan Dziembowski |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVII, 720 p. 80 illus., 11 illus. in color.) |
| Disciplina | 005.82 |
| Collana | Security and Cryptology |
| Soggetto topico |
Data encryption (Computer science)
Computer security Computers Law and legislation Computers and civilization Computer communication systems Management information systems Computer science Cryptology Systems and Data Security Legal Aspects of Computing Computers and Society Computer Communication Networks Management of Computing and Information Systems |
| ISBN | 3-030-03807-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Memory-based functions and complexity theory -- Two-round MPC protocols -- Zero knowledge -- Information-theoretic cryptography -- Trapdoor permutations and signatures -- Coin-tossing and fairness -- Functional and identity-based encryption. |
| Record Nr. | UNINA-9910349394903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theory of Cryptography [[electronic resource] ] : 16th International Conference, TCC 2018, Panaji, India, November 11–14, 2018, Proceedings, Part II / / edited by Amos Beimel, Stefan Dziembowski
| Theory of Cryptography [[electronic resource] ] : 16th International Conference, TCC 2018, Panaji, India, November 11–14, 2018, Proceedings, Part II / / edited by Amos Beimel, Stefan Dziembowski |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVII, 732 p. 318 illus., 22 illus. in color.) |
| Disciplina | 005.82 |
| Collana | Security and Cryptology |
| Soggetto topico |
Data encryption (Computer science)
Computer security Computers Law and legislation Computers and civilization Computer communication systems Management information systems Computer science Cryptology Systems and Data Security Legal Aspects of Computing Computers and Society Computer Communication Networks Management of Computing and Information Systems |
| ISBN | 3-030-03810-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | MPC protocols -- Order-revealing encryption and symmetric encryption -- Information-theoretic cryptography II and quantum cryptography -- LWE-based cryptography -- iO and authentication -- ORAM and PRF. |
| Record Nr. | UNISA-996466277703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theory of Cryptography [[electronic resource] ] : 16th International Conference, TCC 2018, Panaji, India, November 11–14, 2018, Proceedings, Part I / / edited by Amos Beimel, Stefan Dziembowski
| Theory of Cryptography [[electronic resource] ] : 16th International Conference, TCC 2018, Panaji, India, November 11–14, 2018, Proceedings, Part I / / edited by Amos Beimel, Stefan Dziembowski |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVII, 720 p. 80 illus., 11 illus. in color.) |
| Disciplina | 005.82 |
| Collana | Security and Cryptology |
| Soggetto topico |
Data encryption (Computer science)
Computer security Computers Law and legislation Computers and civilization Computer communication systems Management information systems Computer science Cryptology Systems and Data Security Legal Aspects of Computing Computers and Society Computer Communication Networks Management of Computing and Information Systems |
| ISBN | 3-030-03807-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Memory-based functions and complexity theory -- Two-round MPC protocols -- Zero knowledge -- Information-theoretic cryptography -- Trapdoor permutations and signatures -- Coin-tossing and fairness -- Functional and identity-based encryption. |
| Record Nr. | UNISA-996466279903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
