Bidirectional Transformations [[electronic resource] ] : International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures / / edited by Jeremy Gibbons, Perdita Stevens |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (IX, 189 p.) |
Disciplina | 511.326 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Management information systems Computer science Database management Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Management of Computing and Information Systems Database Management |
ISBN | 3-319-79108-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction to Bidirectional Transformations -- An Introduction to Triple Graph Grammars as an Implementation of the Delta-Lens Framework -- Modular Edit Lenses -- Principles and Practice of Bidirectional Programming in BiGUL -- Engineering Bidirectional Transformations. |
Record Nr. | UNINA-9910349425103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Bidirectional Transformations [[electronic resource] ] : International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures / / edited by Jeremy Gibbons, Perdita Stevens |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (IX, 189 p.) |
Disciplina | 511.326 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Management information systems Computer science Database management Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Management of Computing and Information Systems Database Management |
ISBN | 3-319-79108-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction to Bidirectional Transformations -- An Introduction to Triple Graph Grammars as an Implementation of the Delta-Lens Framework -- Modular Edit Lenses -- Principles and Practice of Bidirectional Programming in BiGUL -- Engineering Bidirectional Transformations. |
Record Nr. | UNISA-996466227503316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Methods for Open Object-Based Distributed Systems [[electronic resource] ] : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings / / edited by Elie Najm, Uwe Nestmann, Perdita Stevens |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (VIII, 340 p.) |
Disciplina | 005.13/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer programming
Computer communication systems Software engineering Programming languages (Electronic computers) Operating systems (Computers) Computer logic Programming Techniques Computer Communication Networks Software Engineering Programming Languages, Compilers, Interpreters Operating Systems Logics and Meanings of Programs |
ISBN | 3-540-39958-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talk -- Java’s Integral Types in PVS -- Models -- Towards Object-Oriented Graphs and Grammars -- A Rewriting Based Model for Probabilistic Distributed Object Systems -- Engineering the SDL Formal Language Definition -- Logic and Verification -- A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts -- Inheritance of Temporal Logic Properties -- Temporal Logic Based Static Analysis for Non-uniform Behaviours -- Calculi -- The Kell Calculus: Operational Semantics and Type System -- A Calculus for Long-Running Transactions -- Formal Analysis of Some Timed Security Properties in Wireless Protocols -- Java and .NET -- Inductive Proof Outlines for Monitors in Java -- Proof Scores in the OTS/CafeOBJ Method -- Managing the Evolution of .NET Programs -- UML -- On Mobility Extensions of UML Statecharts. A Pragmatic Approach -- New Operators for the TURTLE Real-Time UML Profile -- Checking Consistency in UML Diagrams: Classes and State Machines -- Composition and Verification -- Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components -- Verification of Distributed Object-Based Systems -- Design and Verification of Distributed Multi-media Systems. |
Record Nr. | UNINA-9910144213303321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Methods for Open Object-Based Distributed Systems [[electronic resource] ] : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings / / edited by Elie Najm, Uwe Nestmann, Perdita Stevens |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (VIII, 340 p.) |
Disciplina | 005.13/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer programming
Computer communication systems Software engineering Programming languages (Electronic computers) Operating systems (Computers) Computer logic Programming Techniques Computer Communication Networks Software Engineering Programming Languages, Compilers, Interpreters Operating Systems Logics and Meanings of Programs |
ISBN | 3-540-39958-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talk -- Java’s Integral Types in PVS -- Models -- Towards Object-Oriented Graphs and Grammars -- A Rewriting Based Model for Probabilistic Distributed Object Systems -- Engineering the SDL Formal Language Definition -- Logic and Verification -- A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts -- Inheritance of Temporal Logic Properties -- Temporal Logic Based Static Analysis for Non-uniform Behaviours -- Calculi -- The Kell Calculus: Operational Semantics and Type System -- A Calculus for Long-Running Transactions -- Formal Analysis of Some Timed Security Properties in Wireless Protocols -- Java and .NET -- Inductive Proof Outlines for Monitors in Java -- Proof Scores in the OTS/CafeOBJ Method -- Managing the Evolution of .NET Programs -- UML -- On Mobility Extensions of UML Statecharts. A Pragmatic Approach -- New Operators for the TURTLE Real-Time UML Profile -- Checking Consistency in UML Diagrams: Classes and State Machines -- Composition and Verification -- Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components -- Verification of Distributed Object-Based Systems -- Design and Verification of Distributed Multi-media Systems. |
Record Nr. | UNISA-996465818803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Fundamental Approaches to Software Engineering [[electronic resource] ] : 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / / edited by Perdita Stevens, Andrzej Wąsowski |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XIII, 436 p. 127 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-662-49665-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Death of Object-Oriented Programming -- Concurrent and Distributed Systems Automated Choreography Repair -- A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs -- ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters -- Integrated environment for verifying and running distributed components -- Model-Driven Development -- Iterative and incremental model generation by logic solvers -- Automated Model Merge by Design Space Exploration -- RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules -- Two-Step Transformation of Model Traversal EOL Queries for Large CDO Repositories -- Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-based Feature Models -- Analysis and Bug Triaging -- Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices -- The Influences of Edge Instability on Change Propagation and Connectivity in Call Graphs -- Modeling and Abstraction of Memory Management in a Hypervisor -- Crowdsourced Bug Triaging: Leveraging Q&A resources for Bug Assignment -- Probabilistic and Stochastic Systems Model-Based Testing of Probabilistic Systems -- An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-Adaptive Systems -- Family-Based Modeling and Analysis for Probabilistic Systems – Featuring ProFeat -- Statistical model checking of e-Motions domain-specific modeling languages -- Proof and Theorem Proving -- Towards Formal Proof Metrics -- Reduction Rules for Colored Workflow Nets -- Many-valued Institutions for Constraint Specification -- CafeInMaude: a CafeOBJ interpreter in Maude -- Verification -- Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique -- Hybrid Session Verification through Endpoint API Generation -- PVAIR: Partial Variable Assignment InterpolatoR. . |
Record Nr. | UNISA-996465720403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Fundamental Approaches to Software Engineering [[electronic resource] ] : 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / / edited by Perdita Stevens, Andrzej Wąsowski |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XIII, 436 p. 127 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-662-49665-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Death of Object-Oriented Programming -- Concurrent and Distributed Systems Automated Choreography Repair -- A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs -- ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters -- Integrated environment for verifying and running distributed components -- Model-Driven Development -- Iterative and incremental model generation by logic solvers -- Automated Model Merge by Design Space Exploration -- RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules -- Two-Step Transformation of Model Traversal EOL Queries for Large CDO Repositories -- Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-based Feature Models -- Analysis and Bug Triaging -- Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices -- The Influences of Edge Instability on Change Propagation and Connectivity in Call Graphs -- Modeling and Abstraction of Memory Management in a Hypervisor -- Crowdsourced Bug Triaging: Leveraging Q&A resources for Bug Assignment -- Probabilistic and Stochastic Systems Model-Based Testing of Probabilistic Systems -- An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-Adaptive Systems -- Family-Based Modeling and Analysis for Probabilistic Systems – Featuring ProFeat -- Statistical model checking of e-Motions domain-specific modeling languages -- Proof and Theorem Proving -- Towards Formal Proof Metrics -- Reduction Rules for Colored Workflow Nets -- Many-valued Institutions for Constraint Specification -- CafeInMaude: a CafeOBJ interpreter in Maude -- Verification -- Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique -- Hybrid Session Verification through Endpoint API Generation -- PVAIR: Partial Variable Assignment InterpolatoR. . |
Record Nr. | UNINA-9910483587803321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Tools and Algorithms for the Construction and Analysis of Systems [[electronic resource] ] : 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings / / edited by Joost-Pieter Katoen, Perdita Stevens |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (XIV, 486 p.) |
Disciplina | 004.2/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Computer logic Software engineering Computer communication systems Algorithms Theory of Computation Logics and Meanings of Programs Software Engineering Computer Communication Networks Algorithm Analysis and Problem Complexity |
ISBN | 3-540-46002-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Contributions -- Software Construction and Analysis Tools for Future Space Missions -- Alloy: A New Technology for Software Modelling -- Real-Time and Probabilistic Systems -- Improving the Verification of Timed Systems Using Influence Information -- Digitisation and Full Abstraction for Dense-Time Model Checking -- Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach -- Scheduling -- Timed Automata with Asynchronous Processes: Schedulability and Decidability -- Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems -- An Analysis of Zero-Clairvoyant Scheduling -- Preemptive Job-Shop Scheduling Using Stopwatch Automata -- Miscellaneous -- Explicit Modeling of Influences, and of Their Absence, in Distributed Systems -- A Functional Semantics of Attribute Grammars -- Software Verification -- Relative Completeness of Abstraction Refinement for Software Model Checking -- Towards the Automated Verification of Multithreaded Java Programs -- CLPS-B—A Constraint Solver for B -- Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS -- Infinite-State and Parametric Systems -- Beyond Parameterized Verification -- Resource-Constrained Model Checking of Recursive Programs -- Model Checking Large-Scale and Parameterized Resource Allocation Systems -- Model Checking: Logics and Algorithms -- Exploring Very Large State Spaces Using Genetic Algorithms -- Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems -- The ForSpec Temporal Logic: A New Temporal Property-Specification Language -- Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis -- Model Checking and Testing -- A Temporal Logic Based Theory of Test Coverage and Generation -- Synthesizing Monitors for Safety Properties -- Adaptive Model Checking -- Partial-Order and Simulation Techniques -- Parallelisation of the Petri Net Unfolding Algorithm -- Black Box Unfolding with Local First Search -- Applicability of Fair Simulation -- Simulation as Coarsest Partition Problem -- Debugging with Model Checking -- Temporal Debugging for Concurrent Systems -- Fate and FreeWill in Error Traces -- Tool Papers -- TIMES b— A Tool for Modelling and Implementation of Embedded Systems -- Compositional Verification Using SVL Scripts -- STG: A Symbolic Test Generation Tool -- Real-Time Systems Design with PEP. |
Record Nr. | UNINA-9910143914703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Tools and Algorithms for the Construction and Analysis of Systems [[electronic resource] ] : 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings / / edited by Joost-Pieter Katoen, Perdita Stevens |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (XIV, 486 p.) |
Disciplina | 004.2/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Computer logic Software engineering Computer communication systems Algorithms Theory of Computation Logics and Meanings of Programs Software Engineering Computer Communication Networks Algorithm Analysis and Problem Complexity |
ISBN | 3-540-46002-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Contributions -- Software Construction and Analysis Tools for Future Space Missions -- Alloy: A New Technology for Software Modelling -- Real-Time and Probabilistic Systems -- Improving the Verification of Timed Systems Using Influence Information -- Digitisation and Full Abstraction for Dense-Time Model Checking -- Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach -- Scheduling -- Timed Automata with Asynchronous Processes: Schedulability and Decidability -- Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems -- An Analysis of Zero-Clairvoyant Scheduling -- Preemptive Job-Shop Scheduling Using Stopwatch Automata -- Miscellaneous -- Explicit Modeling of Influences, and of Their Absence, in Distributed Systems -- A Functional Semantics of Attribute Grammars -- Software Verification -- Relative Completeness of Abstraction Refinement for Software Model Checking -- Towards the Automated Verification of Multithreaded Java Programs -- CLPS-B—A Constraint Solver for B -- Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS -- Infinite-State and Parametric Systems -- Beyond Parameterized Verification -- Resource-Constrained Model Checking of Recursive Programs -- Model Checking Large-Scale and Parameterized Resource Allocation Systems -- Model Checking: Logics and Algorithms -- Exploring Very Large State Spaces Using Genetic Algorithms -- Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems -- The ForSpec Temporal Logic: A New Temporal Property-Specification Language -- Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis -- Model Checking and Testing -- A Temporal Logic Based Theory of Test Coverage and Generation -- Synthesizing Monitors for Safety Properties -- Adaptive Model Checking -- Partial-Order and Simulation Techniques -- Parallelisation of the Petri Net Unfolding Algorithm -- Black Box Unfolding with Local First Search -- Applicability of Fair Simulation -- Simulation as Coarsest Partition Problem -- Debugging with Model Checking -- Temporal Debugging for Concurrent Systems -- Fate and FreeWill in Error Traces -- Tool Papers -- TIMES b— A Tool for Modelling and Implementation of Embedded Systems -- Compositional Verification Using SVL Scripts -- STG: A Symbolic Test Generation Tool -- Real-Time Systems Design with PEP. |
Record Nr. | UNISA-996465391203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications [[electronic resource] ] : 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings / / edited by Perdita Stevens, Jon Whittle, Grady Booch |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (XIV, 418 p.) |
Disciplina | 005.1/17 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer programming
Software engineering Programming languages (Electronic computers) Computer simulation Management information systems Computer science Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Management of Computing and Information Systems |
ISBN | 3-540-45221-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talk 1 -- Agile Processes: Developing Your Own “Secret Recipes” -- Practical Model Management -- Difference and Union of Models -- GREAT: UML Transformation Tool for Porting Middleware Applications -- Model-Centric Engineering with the Evolution and Validation Environment -- Time and Quality of Service -- Representing Temporal Information in UML -- Formal Semantics of UML with Real-Time Constructs -- A QoS-Oriented Extension of UML Statecharts -- Short Tool Papers -- CheckVML: A Tool for Model Checking Visual Modeling Languages -- A Workbench to Experiment on New Model Engineering Applications -- ProGUM-Web: Tool Support for Model-Based Development of Web Applications -- Composition and Architecture -- On the Key Role of Composition in Object-Oriented Modelling -- Compositional and Relational Reasoning During Class Abstraction -- Encoding Informal Architectural Descriptions with UML: An Experience Report -- Invited Talk 2 -- UML/MDA Reality Check: Heterogenous Architecture Style -- Transformation -- Towards Automating Source-Consistent UML Refactorings -- Model Refactorings as Rule-Based Update Transformations -- Reflective Model Driven Engineering -- The Web -- A Model-Driven Runtime Environment for Web Applications -- Using UML and XMI for Generating Adaptive Navigation Sequences in Web-Based Systems -- Platform Independent Web Application Modeling -- Testing and Validation -- Rigorous Testing by Merging Structural and Behavioral UML Representations -- Towards Automated Support for Deriving Test Data from UML Statecharts -- Validation of UML and OCL Models by Automatic Snapshot Generation -- Improving UML/OCL -- A Critique of UML’s Definition of the Use-Case Class -- Modelling Database Views with Derived Classes in the UML/OCL-framework -- An OCL Extension for Low-Coupling Preserving Contracts -- Invited Talk 3 -- What Is the Point of the UML? -- Consistency -- Using Description Logic to Maintain Consistency between UML Models -- Modeling and Testing Legacy Data Consistency Requirements -- The Consistency Workbench: A Tool for Consistency Management in UML-Based Development -- Methodology -- Developing Safety-Critical Systems with UML -- Consistent and Complete Access Control Policies in Use Cases -- STAIRS – Steps To Analyze Interactions with Refinement Semantics -- Workshops and Tutorials -- Workshops at the UML 2003 Conference -- Tutorials at the UML 2003 Conference. |
Record Nr. | UNINA-9910144031403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications [[electronic resource] ] : 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings / / edited by Perdita Stevens, Jon Whittle, Grady Booch |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (XIV, 418 p.) |
Disciplina | 005.1/17 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer programming
Software engineering Programming languages (Electronic computers) Computer simulation Management information systems Computer science Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Management of Computing and Information Systems |
ISBN | 3-540-45221-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talk 1 -- Agile Processes: Developing Your Own “Secret Recipes” -- Practical Model Management -- Difference and Union of Models -- GREAT: UML Transformation Tool for Porting Middleware Applications -- Model-Centric Engineering with the Evolution and Validation Environment -- Time and Quality of Service -- Representing Temporal Information in UML -- Formal Semantics of UML with Real-Time Constructs -- A QoS-Oriented Extension of UML Statecharts -- Short Tool Papers -- CheckVML: A Tool for Model Checking Visual Modeling Languages -- A Workbench to Experiment on New Model Engineering Applications -- ProGUM-Web: Tool Support for Model-Based Development of Web Applications -- Composition and Architecture -- On the Key Role of Composition in Object-Oriented Modelling -- Compositional and Relational Reasoning During Class Abstraction -- Encoding Informal Architectural Descriptions with UML: An Experience Report -- Invited Talk 2 -- UML/MDA Reality Check: Heterogenous Architecture Style -- Transformation -- Towards Automating Source-Consistent UML Refactorings -- Model Refactorings as Rule-Based Update Transformations -- Reflective Model Driven Engineering -- The Web -- A Model-Driven Runtime Environment for Web Applications -- Using UML and XMI for Generating Adaptive Navigation Sequences in Web-Based Systems -- Platform Independent Web Application Modeling -- Testing and Validation -- Rigorous Testing by Merging Structural and Behavioral UML Representations -- Towards Automated Support for Deriving Test Data from UML Statecharts -- Validation of UML and OCL Models by Automatic Snapshot Generation -- Improving UML/OCL -- A Critique of UML’s Definition of the Use-Case Class -- Modelling Database Views with Derived Classes in the UML/OCL-framework -- An OCL Extension for Low-Coupling Preserving Contracts -- Invited Talk 3 -- What Is the Point of the UML? -- Consistency -- Using Description Logic to Maintain Consistency between UML Models -- Modeling and Testing Legacy Data Consistency Requirements -- The Consistency Workbench: A Tool for Consistency Management in UML-Based Development -- Methodology -- Developing Safety-Critical Systems with UML -- Consistent and Complete Access Control Policies in Use Cases -- STAIRS – Steps To Analyze Interactions with Refinement Semantics -- Workshops and Tutorials -- Workshops at the UML 2003 Conference -- Tutorials at the UML 2003 Conference. |
Record Nr. | UNISA-996465778103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|