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.
Applications of Graph Transformations with Industrial Relevance [[electronic resource] ] : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers / / edited by Andy Schürr, Dániel Varró, Gergely Varró
| Applications of Graph Transformations with Industrial Relevance [[electronic resource] ] : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers / / edited by Andy Schürr, Dániel Varró, Gergely Varró |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XII, 255 p. 133 illus.) |
| Disciplina | 004.015115 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer science—Mathematics
Data structures (Computer science) Software engineering Algorithms Computer logic Mathematical logic Discrete Mathematics in Computer Science Data Structures Software Engineering Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-642-34176-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Best Practices to Model Business Services in Complex IT Environments -- Drools: A Rule Engine for Complex Event Processing -- Graph Transformation Concepts for Meta-model Evolution Guaranteeing Permanent Type Conformance throughout Model Migration -- A Graph Transformation-Based Semantics for Deep Metamodelling -- Reusable Graph Transformation Templates -- Towards an Automated 3D Reconstruction of Plant Architecture.- Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors -- AGG 2.0 – New Features for Specifying and Analyzing Algebraic Graph Transformations -- Integration of a Pattern-Based Layout Engine into Diagram Editors -- Tool Demonstration of the Transformation Judge -- Knowledge-Based Graph Exploration Analysis.- Graph Grammar Induction as a Parser-Controlled Heuristic Search Process.- Planning Self-adaption with Graph Transformations -- From Graph Transformation Units via MiniSat to GrGen.NET -- Locality in Reasoning about Graph Transformations -- Contextual Hyperedge Replacement -- The Added Value of Programmed Graph Transformations – A Case Study from Software Configuration Management -- A Case Study Based Comparison of ATL and SDM -- Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata -- Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations. Drools: A Rule Engine for Complex Event Processing -- Graph Transformation Concepts for Meta-model Evolution Guaranteeing Permanent Type Conformance throughout Model Migration -- A Graph Transformation-Based Semantics for Deep Metamodelling -- Reusable Graph Transformation Templates -- Towards an Automated 3D Reconstruction of Plant Architecture.- Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors -- AGG 2.0 – New Features for Specifying and Analyzing Algebraic Graph Transformations -- Integration of a Pattern-Based Layout Engine into Diagram Editors -- Tool Demonstration of the Transformation Judge -- Knowledge-Based Graph Exploration Analysis.- Graph Grammar Induction as a Parser-Controlled Heuristic Search Process.- Planning Self-adaption with Graph Transformations -- From Graph Transformation Units via MiniSat to GrGen.NET -- Locality in Reasoning about Graph Transformations -- Contextual Hyperedge Replacement -- The Added Value of Programmed Graph Transformations – A Case Study from Software Configuration Management -- A Case Study Based Comparison of ATL and SDM -- Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata -- Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations. |
| Record Nr. | UNISA-996465298803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fundamental Approaches to Software Engineering [[electronic resource] ] : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings / / edited by Vittorio Cortellessa, Dániel Varró
| Fundamental Approaches to Software Engineering [[electronic resource] ] : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings / / edited by Vittorio Cortellessa, Dániel Varró |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XX, 376 p. 90 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Information technology—Management Computers, Special purpose Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Computer Application in Administrative Data Processing Special Purpose and Application-Based Systems |
| ISBN | 3-642-37057-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Towards a Distributed Modeling Process Based on Composite Models -- Change Propagation due to Uncertainty Change -- A Model-Based Synthesis Process for Choreography Realizability Enforcement -- On Extracting Feature Models from Sets of Valid Feature Combinations -- On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets -- Quality of Merge-Refactorings for Product Lines -- Towards Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs -- Discovering Branching Conditions from Business Process Execution Logs -- Exposing Behavioral Differences in Cross-Language API Mapping Relations -- Explicit-State Software Model Checking Based on CEGAR and Interpolation -- Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks -- Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification -- Scenario Realizability with Constraint Optimization -- Andromeda: Accurate and Scalable Security Analysis of Web Applications -- VerChor: A Framework for Verifying Choreographies -- Javanni: A Verifier for JavaScript -- Model-Based Implementation of Parallel Real-Time Systems -- A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications -- A Mechanized Model for CAN Protocols -- Enforcing QVT-R with mu-Calculus and Games -- Implementing QVT-R Bidirectional Model Transformations Using Alloy -- Abstraction and Training of Stochastic Graph Transformation Systems -- Discovering Math APIs by Mining Unit Tests -- POGen: A Test Code Generator Based on Template Variable Coverage in Gray-Box Integration Testing for Web Applications -- Testing with Inputs and Outputs in CSP. |
| Record Nr. | UNISA-996465684603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fundamental Approaches to Software Engineering : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings / / edited by Vittorio Cortellessa, Dániel Varró
| Fundamental Approaches to Software Engineering : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings / / edited by Vittorio Cortellessa, Dániel Varró |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XX, 376 p. 90 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Information technology—Management Computers, Special purpose Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Computer Application in Administrative Data Processing Special Purpose and Application-Based Systems |
| ISBN | 3-642-37057-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Towards a Distributed Modeling Process Based on Composite Models -- Change Propagation due to Uncertainty Change -- A Model-Based Synthesis Process for Choreography Realizability Enforcement -- On Extracting Feature Models from Sets of Valid Feature Combinations -- On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets -- Quality of Merge-Refactorings for Product Lines -- Towards Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs -- Discovering Branching Conditions from Business Process Execution Logs -- Exposing Behavioral Differences in Cross-Language API Mapping Relations -- Explicit-State Software Model Checking Based on CEGAR and Interpolation -- Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks -- Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification -- Scenario Realizability with Constraint Optimization -- Andromeda: Accurate and Scalable Security Analysis of Web Applications -- VerChor: A Framework for Verifying Choreographies -- Javanni: A Verifier for JavaScript -- Model-Based Implementation of Parallel Real-Time Systems -- A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications -- A Mechanized Model for CAN Protocols -- Enforcing QVT-R with mu-Calculus and Games -- Implementing QVT-R Bidirectional Model Transformations Using Alloy -- Abstraction and Training of Stochastic Graph Transformation Systems -- Discovering Math APIs by Mining Unit Tests -- POGen: A Test Code Generator Based on Template Variable Coverage in Gray-Box Integration Testing for Web Applications -- Testing with Inputs and Outputs in CSP. |
| Record Nr. | UNINA-9910741162903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Technologies: Applications and Foundations [[electronic resource] ] : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers / / edited by Paolo Milazzo, Dániel Varró, Manuel Wimmer
| Software Technologies: Applications and Foundations [[electronic resource] ] : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers / / edited by Paolo Milazzo, Dániel Varró, Manuel Wimmer |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXXII, 472 p. 185 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Artificial intelligence Application software Mathematical logic Computer communication systems Software Engineering Logics and Meanings of Programs Artificial Intelligence Information Systems Applications (incl. Internet) Mathematical Logic and Formal Languages Computer Communication Networks |
| ISBN | 3-319-50230-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Practical and foundational advances in software technology -- Formal foundations of software technology -- Testing and formal analysis -- Graph transformations and model transformations -- Model driven engineering, and tools. |
| Record Nr. | UNISA-996465490103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Technologies: Applications and Foundations : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers / / edited by Paolo Milazzo, Dániel Varró, Manuel Wimmer
| Software Technologies: Applications and Foundations : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers / / edited by Paolo Milazzo, Dániel Varró, Manuel Wimmer |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXXII, 472 p. 185 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Artificial intelligence Application software Mathematical logic Computer communication systems Software Engineering Logics and Meanings of Programs Artificial Intelligence Information Systems Applications (incl. Internet) Mathematical Logic and Formal Languages Computer Communication Networks |
| ISBN | 3-319-50230-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Practical and foundational advances in software technology -- Formal foundations of software technology -- Testing and formal analysis -- Graph transformations and model transformations -- Model driven engineering, and tools. |
| Record Nr. | UNINA-9910484291203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| 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 : 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 : 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 | ||
| ||