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.
Formal Methods in Software and Systems Modeling [[electronic resource] ] : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / / edited by Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer
| Formal Methods in Software and Systems Modeling [[electronic resource] ] : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / / edited by Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XXVIII, 420 p.) |
| Disciplina | 004/.01/51 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Mathematical logic
Computer logic Software engineering Computer science—Mathematics Programming languages (Electronic computers) Computers Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Discrete Mathematics in Computer Science Programming Languages, Compilers, Interpreters Computation by Abstract Devices |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Graph Transformation -- On the Concurrent Semantics of Algebraic Graph Grammars -- From Graph Transformation to Software Engineering and Back -- Flexible Interconnection of Graph Transformation Modules -- Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation -- Graph Processes with Fusions: Concurrency by Colimits, Again -- Graph Transformation with Variables -- Graph Transformation in Molecular Biology -- Changing Labels in the Double-Pushout Approach Can Be Treated Categorically -- Algebraic Specification and Logic -- Modules, Brains and Schemas -- From Conditional Specifications to Interaction Charts -- Algebraic Properties of Interfaces -- ? T -Integration of Logics -- Functorial Semantics of Rewrite Theories -- Expander2 -- Relationships Between Equational and Inductive Data Types -- Cofree Coalgebras for Signature Morphisms -- Formal and Visual Modeling -- Nested Constraints and Application Conditions for High-Level Structures -- Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements -- Main Concepts of Networks of Transformation Units with Interlinking Semantics -- Embeddings and Contexts for Link Graphs -- Towards Architectural Connectors for UML -- Loose Semantics of Petri Nets -- A Formal Framework for the Development of Concurrent Object-Based Systems -- A Formal Description of the Basic Concepts of System Theory for Transportation. |
| Record Nr. | UNISA-996465956603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fundamental Approaches to Software Engineering [[electronic resource] ] : 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings / / edited by David S. Rosenblum, Gabriele Taentzer
| Fundamental Approaches to Software Engineering [[electronic resource] ] : 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings / / edited by David S. Rosenblum, Gabriele Taentzer |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIII, 383 p. 127 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer networks Computer science Compilers (Computer programs) Computer programming Software Engineering Computer Communication Networks Computer Science Logic and Foundations of Programming Compilers and Interpreters Programming Techniques |
| ISBN |
1-280-38587-1
9786613563798 3-642-12029-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Speaker -- Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization -- Model Transformation -- A Formalisation of Constraint-Aware Model Transformations -- Formal Real-Time Model Transformations in MOMENT2 -- Reusing Model Transformations While Preserving Properties -- Software Evolution -- Are Popular Classes More Defect Prone? -- Operation-Based, Fine-Grained Version Control Model for Tree-Based Representation -- A Method for Analyzing Code Homology in Genealogy of Evolving Software -- Dynamic Resource Scheduling in Disruption-Prone Software Development Environments -- Graph Transformation -- Incremental Service Composition Based on Partial Matching of Visual Contracts -- Formal Analysis and Verification of Self-Healing Systems -- Stochastic Simulation of Graph Transformation Systems -- Modeling Concepts -- Prescriptive Semantics for Big-Step Modelling Languages -- A Modular Model Composition Technique -- A Verifiable Modeling Approach to Configurable Role-Based Access Control -- Incremental Consistency Checking of Dynamic Constraints -- Verification -- Proving Consistency and Completeness of Model Classes Using Theory Interpretation -- Automatic Cross Validation of Multiple Specifications: A Case Study -- An Automata-Theoretic Approach to Hardware/Software Co-verification -- Program Analysis -- Shape Refinement through Explicit Heap Analysis -- Memory Leaks Detection in Java by Bi-abductive Inference -- Analyzing the Impact of Change in Multi-threaded Programs -- Testing and Debugging -- Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques -- A Lightweight and Portable Approach to Making Concurrent Failures Reproducible -- Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups -- Performance Modeling and Analysis -- Performance Modeling and Analysis of Context-Aware Mobile Software Systems -- A Process to Effectively Identify “Guilty” Performance Antipatterns. |
| Record Nr. | UNISA-996465329803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fundamental Approaches to Software Engineering : 13th international conference, FASE 2010 ; held as part of the joint European conferences on Theory and Practice of Software, ETAPS 2010 ; Paphos, Cyprus, March 20-28, 2010. Proceedings / / David S. Rosenblum, Gabriele Taentzer (eds.)
| Fundamental Approaches to Software Engineering : 13th international conference, FASE 2010 ; held as part of the joint European conferences on Theory and Practice of Software, ETAPS 2010 ; Paphos, Cyprus, March 20-28, 2010. Proceedings / / David S. Rosenblum, Gabriele Taentzer (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | New York, : Springer, 2010 |
| Descrizione fisica | 1 online resource (XIII, 383 p. 127 illus.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
RosenblumDavid Samuel
TaentzerGabriele |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Software engineering
Computer software |
| ISBN |
1-280-38587-1
9786613563798 3-642-12029-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Speaker -- Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization -- Model Transformation -- A Formalisation of Constraint-Aware Model Transformations -- Formal Real-Time Model Transformations in MOMENT2 -- Reusing Model Transformations While Preserving Properties -- Software Evolution -- Are Popular Classes More Defect Prone? -- Operation-Based, Fine-Grained Version Control Model for Tree-Based Representation -- A Method for Analyzing Code Homology in Genealogy of Evolving Software -- Dynamic Resource Scheduling in Disruption-Prone Software Development Environments -- Graph Transformation -- Incremental Service Composition Based on Partial Matching of Visual Contracts -- Formal Analysis and Verification of Self-Healing Systems -- Stochastic Simulation of Graph Transformation Systems -- Modeling Concepts -- Prescriptive Semantics for Big-Step Modelling Languages -- A Modular Model Composition Technique -- A Verifiable Modeling Approach to Configurable Role-Based Access Control -- Incremental Consistency Checking of Dynamic Constraints -- Verification -- Proving Consistency and Completeness of Model Classes Using Theory Interpretation -- Automatic Cross Validation of Multiple Specifications: A Case Study -- An Automata-Theoretic Approach to Hardware/Software Co-verification -- Program Analysis -- Shape Refinement through Explicit Heap Analysis -- Memory Leaks Detection in Java by Bi-abductive Inference -- Analyzing the Impact of Change in Multi-threaded Programs -- Testing and Debugging -- Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques -- A Lightweight and Portable Approach to Making Concurrent Failures Reproducible -- Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups -- Performance Modeling and Analysis -- Performance Modeling and Analysis of Context-Aware Mobile Software Systems -- A Process to Effectively Identify “Guilty” Performance Antipatterns. |
| Altri titoli varianti |
FASE 2010
ETAPS 2010 |
| Record Nr. | UNINA-9910483771603321 |
| New York, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Graph transformation for software engineers : with applications to model-based development and domain-specific language engineering / / Reiko Heckel, Gabriele Taentzer
| Graph transformation for software engineers : with applications to model-based development and domain-specific language engineering / / Reiko Heckel, Gabriele Taentzer |
| Autore | Heckel Reiko |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (323 pages) : illustrations |
| Disciplina | 005.1 |
| Soggetto topico |
Computers
Software engineering |
| ISBN | 3-030-43916-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I, Graph Transformation -- Graphs for Modeling and Specification -- Graph Transformation Concepts -- Beyond Individual Rules: Usage Scenarios and Control Structures -- Analysis and Improvement of Graph Transformation Systems -- Part II, Graph Transformation in Software Engineering -- Detecting Inconsistent Requirements in a Use Case-Driven Approach -- Service Specification and Matching -- Model-Based Testing -- Reverse Engineering: Inferring Visual Contracts from Java Programs -- Stochastic Analysis of Dynamic Software Architectures -- Advanced Modeling Language Definition: Integrating Meta-modeling with Graph Transformation -- Improving Models and Understanding Model Changes -- Translating and Synchronizing Models. |
| Record Nr. | UNISA-996465469003316 |
Heckel Reiko
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph transformation for software engineers : with applications to model-based development and domain-specific language engineering / / Reiko Heckel, Gabriele Taentzer
| Graph transformation for software engineers : with applications to model-based development and domain-specific language engineering / / Reiko Heckel, Gabriele Taentzer |
| Autore | Heckel Reiko |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (323 pages) : illustrations |
| Disciplina | 005.1 |
| Soggetto topico |
Computers
Software engineering |
| ISBN | 3-030-43916-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I, Graph Transformation -- Graphs for Modeling and Specification -- Graph Transformation Concepts -- Beyond Individual Rules: Usage Scenarios and Control Structures -- Analysis and Improvement of Graph Transformation Systems -- Part II, Graph Transformation in Software Engineering -- Detecting Inconsistent Requirements in a Use Case-Driven Approach -- Service Specification and Matching -- Model-Based Testing -- Reverse Engineering: Inferring Visual Contracts from Java Programs -- Stochastic Analysis of Dynamic Software Architectures -- Advanced Modeling Language Definition: Integrating Meta-modeling with Graph Transformation -- Improving Models and Understanding Model Changes -- Translating and Synchronizing Models. |
| Record Nr. | UNINA-9910410039503321 |
|
Heckel Reiko
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Graph Transformation, Specifications, and Nets [[electronic resource] ] : In Memory of Hartmut Ehrig / / edited by Reiko Heckel, Gabriele Taentzer
| Graph Transformation, Specifications, and Nets [[electronic resource] ] : In Memory of Hartmut Ehrig / / edited by Reiko Heckel, Gabriele Taentzer |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIV, 333 p. 106 illus.) |
| Disciplina | 511.5 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer graphics
Compilers (Computer programs) Computer programming Software engineering Algorithms Computer Graphics Compilers and Interpreters Programming Techniques Software Engineering |
| ISBN | 3-319-75396-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches.- Integration of graph constraints into graph grammars.- Multi-view Consistency in UML.- A Simple Notion of Parallel Graph Transformation and its Perspectives.- A Tutorial on Graph Transformation.- Initial Conflicts and Dependencies: Critical Pairs Revisited.- Towards a Navigational Logic for Graphical Structures.- Model Transformations as Free Constructions.- The Verigraph Tool for Graph Transformation -- Decomposition Structures for Soft Constraint Evaluation Problems: an Algebraic Approach.- Overview of Recon gurable Petri Nets.- The Category "Undirected Graph".- Modular Termination of Graph Transformation.- Graph Attribution through Sub-Graphs.- On normal forms for structured speci cations with generating constraints -- Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models.- Graph Operations and Free Graph Algebras. |
| Record Nr. | UNISA-996465333803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph Transformation, Specifications, and Nets : In Memory of Hartmut Ehrig / / edited by Reiko Heckel, Gabriele Taentzer
| Graph Transformation, Specifications, and Nets : In Memory of Hartmut Ehrig / / edited by Reiko Heckel, Gabriele Taentzer |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIV, 333 p. 106 illus.) |
| Disciplina | 511.5 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer graphics
Compilers (Computer programs) Computer programming Software engineering Algorithms Computer Graphics Compilers and Interpreters Programming Techniques Software Engineering |
| ISBN | 3-319-75396-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches.- Integration of graph constraints into graph grammars.- Multi-view Consistency in UML.- A Simple Notion of Parallel Graph Transformation and its Perspectives.- A Tutorial on Graph Transformation.- Initial Conflicts and Dependencies: Critical Pairs Revisited.- Towards a Navigational Logic for Graphical Structures.- Model Transformations as Free Constructions.- The Verigraph Tool for Graph Transformation -- Decomposition Structures for Soft Constraint Evaluation Problems: an Algebraic Approach.- Overview of Recon gurable Petri Nets.- The Category "Undirected Graph".- Modular Termination of Graph Transformation.- Graph Attribution through Sub-Graphs.- On normal forms for structured speci cations with generating constraints -- Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models.- Graph Operations and Free Graph Algebras. |
| Record Nr. | UNINA-9910349460003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modelling Foundations and Applications [[electronic resource] ] : 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings / / edited by Gabriele Taentzer, Francis Bordeleau
| Modelling Foundations and Applications [[electronic resource] ] : 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings / / edited by Gabriele Taentzer, Francis Bordeleau |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XII, 203 p. 85 illus.) |
| Disciplina | 004.22 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Management information systems Computer science Computer programming Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Management of Computing and Information Systems Programming Techniques |
| ISBN | 3-319-21151-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Towards Incremental Updates in Large-Scale Model Indexes -- Energy Consumption Analysis and Design of Energy-aware WSN Agents in fUML -- Reusable Model Interfaces with Instantiation Cardinalities -- A Generative Approach to Define Rich Domain-Specific Trace Metamodels -- On Lightweight Metamodel Extension to Support Modeling Tools Agility -- A Model Management Imperative: Being Graphical is not Sufficient, You Have to be Categorical -- A Model-based Approach for the Integration of Configuration Fragments -- AspectOCL: An extension to OCL for specifying crosscutting constraints -- Property Access Traces for Source Incremental Model-to-Text Transformation -- A comparison of two-level and multi-level modelling for cloud-based Applications -- Empirical Evaluation of UML Modeling Tools- A Controlled Experiment -- Opening the Black-Box of Model Transformation -- Type Inference in Flexible Model-Driven Engineering. |
| Record Nr. | UNISA-996204582703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Modelling Foundations and Applications : 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings / / edited by Gabriele Taentzer, Francis Bordeleau
| Modelling Foundations and Applications : 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings / / edited by Gabriele Taentzer, Francis Bordeleau |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XII, 203 p. 85 illus.) |
| Disciplina | 004.22 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Management information systems Computer science Computer programming Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Management of Computing and Information Systems Programming Techniques |
| ISBN | 3-319-21151-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Towards Incremental Updates in Large-Scale Model Indexes -- Energy Consumption Analysis and Design of Energy-aware WSN Agents in fUML -- Reusable Model Interfaces with Instantiation Cardinalities -- A Generative Approach to Define Rich Domain-Specific Trace Metamodels -- On Lightweight Metamodel Extension to Support Modeling Tools Agility -- A Model Management Imperative: Being Graphical is not Sufficient, You Have to be Categorical -- A Model-based Approach for the Integration of Configuration Fragments -- AspectOCL: An extension to OCL for specifying crosscutting constraints -- Property Access Traces for Source Incremental Model-to-Text Transformation -- A comparison of two-level and multi-level modelling for cloud-based Applications -- Empirical Evaluation of UML Modeling Tools- A Controlled Experiment -- Opening the Black-Box of Model Transformation -- Type Inference in Flexible Model-Driven Engineering. |
| Record Nr. | UNINA-9910484447103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the third International Workshop on Graph and Model Transformations
| Proceedings of the third International Workshop on Graph and Model Transformations |
| Autore | Karsai Gabor |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2008 |
| Descrizione fisica | 1 online resource (54 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Mathematics
Physical Sciences & Mathematics Algebra |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | GRaMoT '08 |
| Record Nr. | UNINA-9910376168203321 |
|
Karsai Gabor
|
||
| [Place of publication not identified], : ACM, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||