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.
Fundamental Approaches to Software Engineering [[electronic resource] ] : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / / edited by Stefania Gnesi, Arend Rensink
| Fundamental Approaches to Software Engineering [[electronic resource] ] : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / / edited by Stefania Gnesi, Arend Rensink |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVI, 432 p. 103 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Machine theory Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN | 3-642-54804-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Probabilistic Model Checking and Non-standard Multi-objective Reasoning -- Target Oriented Relational Model Finding -- Splitting Models Using Information Retrieval and Model Crawling Techniques -- Sound Merging and Differencing for Class Diagrams -- Heterogeneous and Asynchronous Networks of Timed Systems -- Family-Based Performance Analysis of Variant-Rich Software Systems -- Touch Cost: Cost Analysis of Touch Develop Scripts -- Efficient Incremental Static Analysis Using Path Abstraction -- Type-Based Taint Analysis for Java Web Applications -- Mining the Categorized Software Repositories to Improve the Analysis of Security Vulnerabilities -- Modularizing Early Architectural Assumptions in Scenario-Based Requirements -- Semantically Configurable Analysis of Scenario-Based Specifications -- Formal Verification of Medical Device User Interfaces Using PVS -- Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs -- Verifying Class Invariants in Concurrent Programs -- Automatic Program Repair by Fixing Contracts -- Dynamic Package Interfaces -- SMT-Based Checking of SOLOIST over Sparse Traces -- An Online Validator for Provenance: Algorithmic Design, Testing and API -- Comparator: A Tool for Quantifying Behavioural Compatibility -- Transformation of Attributed Structures with Cloning -- Implementing Graph Transformations in the Bulk Synchronous Parallel Model -- Modularizing Triple Graph Grammars Using Rule Refinement -- Polymorphic Single-Pushout Graph Transformation -- Causal-Consistent Reversible Debugging -- An Expressive Semantics of Mocking -- Integration Testing in the Test Template Framework -- Data Flow Coverage for Circus-Based Testing. |
| Record Nr. | UNISA-996203270603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fundamental Approaches to Software Engineering : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / / edited by Stefania Gnesi, Arend Rensink
| Fundamental Approaches to Software Engineering : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / / edited by Stefania Gnesi, Arend Rensink |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVI, 432 p. 103 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Machine theory Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN | 3-642-54804-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Probabilistic Model Checking and Non-standard Multi-objective Reasoning -- Target Oriented Relational Model Finding -- Splitting Models Using Information Retrieval and Model Crawling Techniques -- Sound Merging and Differencing for Class Diagrams -- Heterogeneous and Asynchronous Networks of Timed Systems -- Family-Based Performance Analysis of Variant-Rich Software Systems -- Touch Cost: Cost Analysis of Touch Develop Scripts -- Efficient Incremental Static Analysis Using Path Abstraction -- Type-Based Taint Analysis for Java Web Applications -- Mining the Categorized Software Repositories to Improve the Analysis of Security Vulnerabilities -- Modularizing Early Architectural Assumptions in Scenario-Based Requirements -- Semantically Configurable Analysis of Scenario-Based Specifications -- Formal Verification of Medical Device User Interfaces Using PVS -- Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs -- Verifying Class Invariants in Concurrent Programs -- Automatic Program Repair by Fixing Contracts -- Dynamic Package Interfaces -- SMT-Based Checking of SOLOIST over Sparse Traces -- An Online Validator for Provenance: Algorithmic Design, Testing and API -- Comparator: A Tool for Quantifying Behavioural Compatibility -- Transformation of Attributed Structures with Cloning -- Implementing Graph Transformations in the Bulk Synchronous Parallel Model -- Modularizing Triple Graph Grammars Using Rule Refinement -- Polymorphic Single-Pushout Graph Transformation -- Causal-Consistent Reversible Debugging -- An Expressive Semantics of Mocking -- Integration Testing in the Test Template Framework -- Data Flow Coverage for Circus-Based Testing. |
| Record Nr. | UNINA-9910483638103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Graph Transformations [[electronic resource] ] : 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings / / edited by Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr
| Graph Transformations [[electronic resource] ] : 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings / / edited by Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XII, 419 p.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Discrete mathematics Software engineering Artificial intelligence—Data processing Computer science Algorithms Machine theory Discrete Mathematics in Computer Science Software Engineering Data Science Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN |
1-280-38925-7
9786613567178 3-642-15928-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Speakers -- A False History of True Concurrency: From Petri to Tools -- How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation? -- Session 1. Graphs and Logic -- Graph Transformation Units Guided by a SAT Solver -- Delaying Constraint Solving in Symbolic Graph Transformation -- A Dynamic Logic for Termgraph Rewriting -- Session 2. Behavioural Analysis -- A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes -- On the Computation of McMillan’s Prefix for Contextual Nets and Graph Grammars -- Verification of Graph Transformation Systems with Context-Free Specifications -- Saturated LTSs for Adhesive Rewriting Systems -- A Hoare Calculus for Graph Programs -- Session 3. Models and Model Transformation -- Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars -- Conflict Detection for Model Versioning Based on Graph Modifications -- A Component Concept for Typed Graphs with Inheritance and Containment Structures -- Combining Termination Criteria by Isolating Deletion -- Session 4. Algebraic Foundations -- Graph Rewriting in Span-Categories -- Finitary -Adhesive Categories -- Hereditary Pushouts Reconsidered -- Session 5. Applications -- Graph Transformation for Domain-Specific Discrete Event Time Simulation -- Counterpart Semantics for a Second-Order ?-Calculus -- Declarative Mesh Subdivision Using Topological Rewriting in MGS -- A Model for Distribution and Revocation of Certificates -- Session 6. Rule Composition -- Local Confluence for Rules with Nested Application Conditions -- Multi-Amalgamation in Adhesive Categories -- Amalgamating Pushout and Pullback Graph Transformation in Collagories -- Doctoral Symposium -- ICGT 2010 Doctoral Symposium -- EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment -- Recognizable Graph Languages for the Verification of Dynamic Systems -- Stochastic Modelling and Simulation of Dynamic Resource Allocation -- Bisimulation Theory for Graph Transformation Systems -- Realizing Impure Functions in Interaction Nets -- Composite EMF Modeling Based on Typed Graphs with Inheritance and Containment Structures -- Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems -- LTS Semantics for Process Calculi from Their Graphical Encodings -- Automated Assistance for Search-Based Refactoring Using Unfolding of Graph Transformation Systems -- Correctness of Graph Programs Relative to HR?+? Conditions -- Static Type Checking of Model Transformation Programs -- Using Graph Transformations and Graph Abstractions for Software Verification. |
| Record Nr. | UNISA-996465906403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model driven architecture : foundations and applications : second European conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006 : proceedings / / Arend Rensink, Jos Warmer (eds.)
| Model driven architecture : foundations and applications : second European conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006 : proceedings / / Arend Rensink, Jos Warmer (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, : Springer-Verlag, c2006 |
| Descrizione fisica | 1 online resource (XII, 396 p.) |
| Disciplina | 004.2/2 |
| Altri autori (Persone) |
RensinkArend
WarmerJos B |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
| Soggetto topico | Model-driven software architecture |
| ISBN | 3-540-35910-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Integration -- A Model-Driven Architectural Framework for Integration-Capable Enterprise Application Product Lines -- Systems Integration Methodology Based on MDA -- Applications of Transformations -- From Analysis Model to Software Architecture: A PIM2PIM Mapping -- MDA Approach for Maintenance of Business Applications -- Applications of MDA -- Definition and Generation of Data Exchange Formats in AUTOSAR -- A Model Driven Approach to Engineering of Flexible Manufacturing System Control Software -- Process -- MDD Maturity Model: A Roadmap for Introducing Model-Driven Development -- A Process Framework for the Successful Adoption of Model Driven Development -- Model Consistency -- Finding a Path to Model Consistency -- Dynamic Logic Semantics for UML Consistency -- Model Management -- The Epsilon Object Language (EOL) -- Using a Model Merging Language for Reconciling Model Versions -- Transformation (1) -- RubyTL: A Practical, Extensible Transformation Language -- MCC: A Model Transformation Environment -- Ontologies -- A Model Driven Integration Architecture for Ontology-Based Context Modelling and Context-Aware Application Development -- Ontology-Based Composition and Transformation for Model-Driven Service Architecture -- Reengineering -- Harvesting Software Systems for MDA-Based Reengineering -- A Methodology for Database Reengineering to Web Services -- Tools and Profiles -- Business Process Modeling: Defining Domain Specific Modeling Languages by Use of UML Profiles -- Constraint Support in MDA Tools: A Survey -- Tool Generation -- Automatic Generation of Modelling Tools -- Model Driven Development of Multi-Agent Systems -- Constraints -- Limes: An Aspect-Oriented Constraint Checking Language -- An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework -- Model Management and Transformations -- A Comparison of Configuration Techniques for Model Transformations -- A Canonical Scheme for Model Composition -- Transformation (2) -- MOFLON: A Standard-Compliant Metamodeling Framework with Graph Transformations -- Mutation Analysis Testing for Model Transformations. |
| Altri titoli varianti | ECMDA-FA 2006 |
| Record Nr. | UNINA-9910483713703321 |
| Berlin, : Springer-Verlag, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model Driven Architecture [[electronic resource] ] : European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003, and Linköping, Sweden, June 10-11, 2004, Revised Selected Papers / / edited by Uwe Aßmann, Mehmet Aksit, Arend Rensink
| Model Driven Architecture [[electronic resource] ] : European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003, and Linköping, Sweden, June 10-11, 2004, Revised Selected Papers / / edited by Uwe Aßmann, Mehmet Aksit, Arend Rensink |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (X, 238 p.) |
| Disciplina | 003.3 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Architecture, Computer
Computer organization Software engineering Computer logic Management information systems Computer science Computer System Implementation Computer Systems Organization and Communication Networks Software Engineering Logics and Meanings of Programs Management of Computing and Information Systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Designing Application Domain Models with Roles -- Model Bus: Towards the Interoperability of Modelling Tools -- Modeling in the Large and Modeling in the Small -- Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML -- Model Transformation Language MOLA -- A Graphical Notation to Specify Model Queries for MDA Transformations on UML Models -- Describing Horizontal Model Transformations with Graph Rewriting Rules -- Open MDA Using Transformational Patterns -- “Weaving” MTL Model Transformations -- MISTRAL: A Language for Model Transformations in the MOF Meta-modeling Architecture -- Integrating Platform Selection Rules in the Model Driven Architecture Approach -- Platform-Independent Modelling in MDA: Supporting Abstract Platforms -- Context-Driven Model Refinement -- A UML Profile for OWL Ontologies -- Developing a UML Profile for Modelling Knowledge-Based Systems. |
| Record Nr. | UNISA-996465923203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model driven architecture : European MDA workshops: foundations and applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linkoping, Sweden, June 10-11, 2004 : revised selected papers / / Uwe Assmann, Mehmet Aksit, Arend Rensink (eds.)
| Model driven architecture : European MDA workshops: foundations and applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linkoping, Sweden, June 10-11, 2004 : revised selected papers / / Uwe Assmann, Mehmet Aksit, Arend Rensink (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2005 |
| Descrizione fisica | 1 online resource (X, 238 p.) |
| Disciplina | 003.3 |
| Altri autori (Persone) |
RensinkArend
AssmannUwe <1963-> AksitMehmet |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Object-oriented programming (Computer science)
Model-driven software architecture |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Designing Application Domain Models with Roles -- Model Bus: Towards the Interoperability of Modelling Tools -- Modeling in the Large and Modeling in the Small -- Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML -- Model Transformation Language MOLA -- A Graphical Notation to Specify Model Queries for MDA Transformations on UML Models -- Describing Horizontal Model Transformations with Graph Rewriting Rules -- Open MDA Using Transformational Patterns -- “Weaving” MTL Model Transformations -- MISTRAL: A Language for Model Transformations in the MOF Meta-modeling Architecture -- Integrating Platform Selection Rules in the Model Driven Architecture Approach -- Platform-Independent Modelling in MDA: Supporting Abstract Platforms -- Context-Driven Model Refinement -- A UML Profile for OWL Ontologies -- Developing a UML Profile for Modelling Knowledge-Based Systems. |
| Altri titoli varianti |
MDAFA 2003
MDAFA 2004 |
| Record Nr. | UNINA-9910483161803321 |
| Berlin ; ; New York, : Springer, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model Driven Architecture - Foundations and Applications [[electronic resource] ] : 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009, Proceedings / / edited by Richard F. Paige, Alan Hartman, Arend Rensink
| Model Driven Architecture - Foundations and Applications [[electronic resource] ] : 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009, Proceedings / / edited by Richard F. Paige, Alan Hartman, Arend Rensink |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XIII, 337 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer communication systems Computer organization Computer logic Management information systems Computer science Software Engineering/Programming and Operating Systems Computer Communication Networks Computer Systems Organization and Communication Networks Software Engineering Logics and Meanings of Programs Management of Computing and Information Systems |
| ISBN | 3-642-02674-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Creating Embedded Platforms with MDA: Where’s the Sweet Spot? -- Creating Embedded Platforms with MDA: Where’s the Sweet Spot? -- Foundations -- Comparison of Three Model Transformation Languages -- On the Use of Higher-Order Model Transformations -- Managing Model Adaptation by Precise Detection of Metamodel Changes -- A Pattern Mining Approach Using QVT -- A Language-Theoretic View on Guidelines and Consistency Rules of UML -- A Domain Specific Language for Extracting Models in Software Modernization -- Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems -- Derivation and Refinement of Textual Syntax for Models -- Uniform Random Generation of Huge Metamodel Instances -- Establishing Correspondences between Models with the Epsilon Comparison Language -- Dependent and Conflicting Change Operations of Process Models -- Enabling Automated Traceability Maintenance through the Upkeep of Traceability Relations -- Temporal Extensions of OCL Revisited -- An MDA-Based Approach for Behaviour Modelling of Context-Aware Mobile Applications -- A Model Driven Approach to the Analysis of Timeliness Properties -- A Hybrid Graphical and Textual Notation and Editor for UML Actions -- Applications -- Mapping Requirement Models to Mathematical Models in Control System Development -- On Study Results: Round Trip Engineering of Space Systems -- MoPCoM/MARTE Process Applied to a Cognitive Radio System Design and Analysis -- Managing Flexibility: Modeling Binding-Times in Simulink -- Experiences of Developing a Network Modeling Tool Using the Eclipse Environment -- MBT4Chor: A Model-Based Testing Approach for Service Choreographies -- Model-Based Interoperability of Heterogeneous Information Systems: An Industrial Case Study. |
| Record Nr. | UNISA-996465401703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model driven architecture - foundations and applications : 5th European conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009 ; proceedings / / Richard F. Paige, Alan Hartman, Arend Rensink (eds.)
| Model driven architecture - foundations and applications : 5th European conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009 ; proceedings / / Richard F. Paige, Alan Hartman, Arend Rensink (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2009 |
| Descrizione fisica | 1 online resource (XIII, 337 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
HartmanA (Alan)
PaigeRichard F RensinkArend |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer architecture
Computer software - Development Model-driven software architecture Object-oriented programming (Computer science) Software engineering |
| ISBN | 3-642-02674-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Creating Embedded Platforms with MDA: Where’s the Sweet Spot? -- Creating Embedded Platforms with MDA: Where’s the Sweet Spot? -- Foundations -- Comparison of Three Model Transformation Languages -- On the Use of Higher-Order Model Transformations -- Managing Model Adaptation by Precise Detection of Metamodel Changes -- A Pattern Mining Approach Using QVT -- A Language-Theoretic View on Guidelines and Consistency Rules of UML -- A Domain Specific Language for Extracting Models in Software Modernization -- Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems -- Derivation and Refinement of Textual Syntax for Models -- Uniform Random Generation of Huge Metamodel Instances -- Establishing Correspondences between Models with the Epsilon Comparison Language -- Dependent and Conflicting Change Operations of Process Models -- Enabling Automated Traceability Maintenance through the Upkeep of Traceability Relations -- Temporal Extensions of OCL Revisited -- An MDA-Based Approach for Behaviour Modelling of Context-Aware Mobile Applications -- A Model Driven Approach to the Analysis of Timeliness Properties -- A Hybrid Graphical and Textual Notation and Editor for UML Actions -- Applications -- Mapping Requirement Models to Mathematical Models in Control System Development -- On Study Results: Round Trip Engineering of Space Systems -- MoPCoM/MARTE Process Applied to a Cognitive Radio System Design and Analysis -- Managing Flexibility: Modeling Binding-Times in Simulink -- Experiences of Developing a Network Modeling Tool Using the Eclipse Environment -- MBT4Chor: A Model-Based Testing Approach for Service Choreographies -- Model-Based Interoperability of Heterogeneous Information Systems: An Industrial Case Study. |
| Record Nr. | UNINA-9910483670103321 |
| Berlin ; ; New York, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model-Driven Architecture - Foundations and Applications [[electronic resource] ] : Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings / / edited by Jos Warmer, Arend Rensink
| Model-Driven Architecture - Foundations and Applications [[electronic resource] ] : Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings / / edited by Jos Warmer, Arend Rensink |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XII, 396 p.) |
| Disciplina | 004.2/2 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Architecture, Computer
Computer organization Software engineering Computer logic Management information systems Computer science Computer System Implementation Computer Systems Organization and Communication Networks Software Engineering Logics and Meanings of Programs Management of Computing and Information Systems |
| ISBN | 3-540-35910-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Integration -- A Model-Driven Architectural Framework for Integration-Capable Enterprise Application Product Lines -- Systems Integration Methodology Based on MDA -- Applications of Transformations -- From Analysis Model to Software Architecture: A PIM2PIM Mapping -- MDA Approach for Maintenance of Business Applications -- Applications of MDA -- Definition and Generation of Data Exchange Formats in AUTOSAR -- A Model Driven Approach to Engineering of Flexible Manufacturing System Control Software -- Process -- MDD Maturity Model: A Roadmap for Introducing Model-Driven Development -- A Process Framework for the Successful Adoption of Model Driven Development -- Model Consistency -- Finding a Path to Model Consistency -- Dynamic Logic Semantics for UML Consistency -- Model Management -- The Epsilon Object Language (EOL) -- Using a Model Merging Language for Reconciling Model Versions -- Transformation (1) -- RubyTL: A Practical, Extensible Transformation Language -- MCC: A Model Transformation Environment -- Ontologies -- A Model Driven Integration Architecture for Ontology-Based Context Modelling and Context-Aware Application Development -- Ontology-Based Composition and Transformation for Model-Driven Service Architecture -- Reengineering -- Harvesting Software Systems for MDA-Based Reengineering -- A Methodology for Database Reengineering to Web Services -- Tools and Profiles -- Business Process Modeling: Defining Domain Specific Modeling Languages by Use of UML Profiles -- Constraint Support in MDA Tools: A Survey -- Tool Generation -- Automatic Generation of Modelling Tools -- Model Driven Development of Multi-Agent Systems -- Constraints -- Limes: An Aspect-Oriented Constraint Checking Language -- An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework -- Model Management and Transformations -- A Comparison of Configuration Techniques for Model Transformations -- A Canonical Scheme for Model Composition -- Transformation (2) -- MOFLON: A Standard-Compliant Metamodeling Framework with Graph Transformations -- Mutation Analysis Testing for Model Transformations. |
| Record Nr. | UNISA-996465850503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
ModelEd, TestEd, TrustEd [[electronic resource] ] : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday / / edited by Joost-Pieter Katoen, Rom Langerak, Arend Rensink
| ModelEd, TestEd, TrustEd [[electronic resource] ] : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday / / edited by Joost-Pieter Katoen, Rom Langerak, Arend Rensink |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XII, 391 p. 115 illus.) |
| Disciplina | 621.395 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer logic
Software engineering Programming languages (Electronic computers) Computer simulation Mathematical logic Algorithms Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity |
| ISBN | 3-319-68270-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling and Semantics -- Testing -- Analysis -- Probabilities -- System Dynamics -- Applications. |
| Record Nr. | UNISA-996465409403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
