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.
Proceedings of the 12th Workshop on OCL and Textual Modelling : OCL 2012 : 2012, Innsbruck, Austria
| Proceedings of the 12th Workshop on OCL and Textual Modelling : OCL 2012 : 2012, Innsbruck, Austria |
| Autore | Balaban Mira |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2012 |
| Descrizione fisica | 1 online resource (66 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-1799-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | OCL '12 |
| Record Nr. | UNINA-9910375906303321 |
Balaban Mira
|
||
| [Place of publication not identified], : ACM, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Tests and Proofs [[electronic resource] ] : 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings / / edited by Martin Gogolla, Burkhart Wolff
| Tests and Proofs [[electronic resource] ] : 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings / / edited by Martin Gogolla, Burkhart Wolff |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (X, 205 p. 48 illus., 20 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Computer logic Mathematical logic Programming languages (Electronic computers) Software Engineering Programming Techniques Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters |
| ISBN | 3-642-21768-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465429203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theory and Practice of Model Transformations [[electronic resource] ] : Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings / / edited by Laurence Tratt, Martin Gogolla
| Theory and Practice of Model Transformations [[electronic resource] ] : Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings / / edited by Laurence Tratt, Martin Gogolla |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (X, 278 p. 95 illus.) |
| Disciplina | 005.10285 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Computer programming Mathematical logic Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Programming Techniques Mathematical Logic and Formal Languages |
| ISBN |
1-280-38724-6
9786613565167 3-642-13688-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- Search Computing: A Model-Driven Perspective -- Research Papers -- Domain-Specific Composition of Model Deltas -- Temporal Model-Based Diagnostics Generation for HVAC Control Systems -- Synthesis of OCL Pre-conditions for Graph Transformation Rules -- From State- to Delta-Based Bidirectional Model Transformations -- A Constructive Approach to Testing Model Transformations -- From Sequence Diagrams to State Machines by Graph Transformation -- Safe Composition of Transformations -- Towards Incremental Execution of ATL Transformations -- Constructing and Navigating Non-invasive Model Decorations -- Model-to-Model Transformations By Demonstration -- Implementing Business Process Recovery Patterns through QVT Transformations -- Model Migration with Epsilon Flock -- Exceptional Transformations -- Improving Higher-Order Transformations Support in ATL -- Towards a Rewriting Logic Semantics for ATL -- Metamodel Matching Based on Planar Graph Edit Distance -- Surviving the Heterogeneity Jungle with Composite Mapping Operators. |
| Record Nr. | UNISA-996466436003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theory and practice of model transformations : Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010 : proceedings / / Martin Gogolla, Laurence Tratt (eds.)
| Theory and practice of model transformations : Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010 : proceedings / / Martin Gogolla, Laurence Tratt (eds.) |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | New York, : Springer, 2010 |
| Descrizione fisica | 1 online resource (X, 278 p. 95 illus.) |
| Disciplina | 005.10285 |
| Altri autori (Persone) |
GogollaMartin
TrattLaurence |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
| Soggetto topico | Search engines |
| ISBN |
1-280-38724-6
9786613565167 3-642-13688-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- Search Computing: A Model-Driven Perspective -- Research Papers -- Domain-Specific Composition of Model Deltas -- Temporal Model-Based Diagnostics Generation for HVAC Control Systems -- Synthesis of OCL Pre-conditions for Graph Transformation Rules -- From State- to Delta-Based Bidirectional Model Transformations -- A Constructive Approach to Testing Model Transformations -- From Sequence Diagrams to State Machines by Graph Transformation -- Safe Composition of Transformations -- Towards Incremental Execution of ATL Transformations -- Constructing and Navigating Non-invasive Model Decorations -- Model-to-Model Transformations By Demonstration -- Implementing Business Process Recovery Patterns through QVT Transformations -- Model Migration with Epsilon Flock -- Exceptional Transformations -- Improving Higher-Order Transformations Support in ATL -- Towards a Rewriting Logic Semantics for ATL -- Metamodel Matching Based on Planar Graph Edit Distance -- Surviving the Heterogeneity Jungle with Composite Mapping Operators. |
| Record Nr. | UNINA-9910483992103321 |
| New York, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools [[electronic resource] ] : 4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings / / edited by Martin Gogolla, Cris Kobryn
| UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools [[electronic resource] ] : 4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings / / edited by Martin Gogolla, Cris Kobryn |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XIV, 514 p.) |
| Disciplina | 005.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Management information systems Computer science Information technology Business—Data processing Software Engineering/Programming and Operating Systems Programming Techniques Programming Languages, Compilers, Interpreters Software Engineering Management of Computing and Information Systems IT in Business |
| ISBN | 3-540-45441-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- The Preacher at Arrakeen -- Metamodeling -- An Action Semantics for MML -- The Essence of Multilevel Metamodeling -- Mapping between Levels in the Metamodel Architecture -- Activity Diagrams -- An Execution Algorithm for UML Activity Graphs -- Timing Analysis of UML Activity Diagrams -- UML Activity Diagrams as a Workflow Specification Language -- OCL -- On Querying UML Data Models with OCL -- OCL as a Specification Language for Business Rules in Database Applications -- A Formal Semantics for OCL 1.4 -- Architecture and Patterns -- Refactoring UML Models -- UML Support for Designing Software Systems as a Composition of Design Patterns -- Integrating the ConcernBASE Approach with SADL -- Analysis and Testing -- The Message Paradigm in Object-Oriented Analysis -- A UML-Based Approach to System Testing -- Performance and Databases -- UML Modelling and Performance Analysis of Mobile Software Architectures -- Extending UML for Object-Relational Database Design -- Invited Talk -- Understanding UML — Pains and Rewards -- Graph Transformations -- A Formal Semantics of UML State Machines Based on Structured Graph Transformation -- A Visualization of OCL Using Collaborations -- Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model -- Real-Time and Embedded Systems -- A New UML Profile for Real-Time System Formal Design and Validation -- Representing Embedded System Sequence Diagrams as a Formal Language -- Scenario-Based Monitoring and Testing of Real-Time UML Models -- Associations and Ontology -- Semantics of the Minimum Multiplicity in Ternary Associations in UML -- Extending UML to Support Ontology Engineering for the Semantic Web -- On Associations in the Unified Modelling Language -- Statecharts -- iState: A Statechart Translator -- Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML -- Formalization of UML-Statecharts -- Invited Talk -- UML for Agent-Oriented Software Development: The Tropos Proposal -- Components -- A UML Meta-model for Contract Aware Components -- A Specification Model for Interface Suites -- Use Cases -- Against Use Case Interleaving -- Estimating Software Development Effort Based on Use Cases — Experiences from Industry -- Workshops and Tutorials -- Workshops and Tutorials at the UML 2001 Conference. |
| Record Nr. | UNISA-996465828303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools : 4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings / / edited by Martin Gogolla, Cris Kobryn
| UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools : 4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings / / edited by Martin Gogolla, Cris Kobryn |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XIV, 514 p.) |
| Disciplina | 005.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Management information systems Computer science Information technology Business—Data processing Software Engineering/Programming and Operating Systems Programming Techniques Programming Languages, Compilers, Interpreters Software Engineering Management of Computing and Information Systems IT in Business |
| ISBN | 3-540-45441-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- The Preacher at Arrakeen -- Metamodeling -- An Action Semantics for MML -- The Essence of Multilevel Metamodeling -- Mapping between Levels in the Metamodel Architecture -- Activity Diagrams -- An Execution Algorithm for UML Activity Graphs -- Timing Analysis of UML Activity Diagrams -- UML Activity Diagrams as a Workflow Specification Language -- OCL -- On Querying UML Data Models with OCL -- OCL as a Specification Language for Business Rules in Database Applications -- A Formal Semantics for OCL 1.4 -- Architecture and Patterns -- Refactoring UML Models -- UML Support for Designing Software Systems as a Composition of Design Patterns -- Integrating the ConcernBASE Approach with SADL -- Analysis and Testing -- The Message Paradigm in Object-Oriented Analysis -- A UML-Based Approach to System Testing -- Performance and Databases -- UML Modelling and Performance Analysis of Mobile Software Architectures -- Extending UML for Object-Relational Database Design -- Invited Talk -- Understanding UML — Pains and Rewards -- Graph Transformations -- A Formal Semantics of UML State Machines Based on Structured Graph Transformation -- A Visualization of OCL Using Collaborations -- Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model -- Real-Time and Embedded Systems -- A New UML Profile for Real-Time System Formal Design and Validation -- Representing Embedded System Sequence Diagrams as a Formal Language -- Scenario-Based Monitoring and Testing of Real-Time UML Models -- Associations and Ontology -- Semantics of the Minimum Multiplicity in Ternary Associations in UML -- Extending UML to Support Ontology Engineering for the Semantic Web -- On Associations in the Unified Modelling Language -- Statecharts -- iState: A Statechart Translator -- Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML -- Formalization of UML-Statecharts -- Invited Talk -- UML for Agent-Oriented Software Development: The Tropos Proposal -- Components -- A UML Meta-model for Contract Aware Components -- A Specification Model for Interface Suites -- Use Cases -- Against Use Case Interleaving -- Estimating Software Development Effort Based on Use Cases — Experiences from Industry -- Workshops and Tutorials -- Workshops and Tutorials at the UML 2001 Conference. |
| Record Nr. | UNINA-9910143621203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||