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.
2010 15th IEEE International Conference on the Engineering of Complex Computer Systems : ICECCS 2010 : proceedings : 22-26 March 2010 Oxford, United Kingdom
| 2010 15th IEEE International Conference on the Engineering of Complex Computer Systems : ICECCS 2010 : proceedings : 22-26 March 2010 Oxford, United Kingdom |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2010 |
| Soggetto topico |
System design
Systems engineering Electrical & Computer Engineering Engineering & Applied Sciences Electrical Engineering |
| ISBN | 0-7695-4015-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | ICECCS 2010 |
| Record Nr. | UNISA-996208430403316 |
| [Place of publication not identified], : IEEE Computer Society, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 | ||
| ||
Modelling -- Foundation and Applications [[electronic resource] ] : 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011, Proceedings / / edited by Robert B. France, Jochen M. Kuester, Behzad Bordbar, Richard F. Paige
| Modelling -- Foundation and Applications [[electronic resource] ] : 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011, Proceedings / / edited by Robert B. France, Jochen M. Kuester, Behzad Bordbar, Richard F. Paige |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XIV, 396 p. 212 illus., 65 illus. in color.) |
| Disciplina | 005.1 |
| 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-642-21470-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465428903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Security in Pervasive Computing [[electronic resource] ] : Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings / / edited by John A. Clark, Richard F. Paige, Fiona A.C. Polack, Phillip J. Brooke
| Security in Pervasive Computing [[electronic resource] ] : Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings / / edited by John A. Clark, Richard F. Paige, Fiona A.C. Polack, Phillip J. Brooke |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (X, 243 p.) |
| Disciplina | 005.82 |
| Collana | Security and Cryptology |
| Soggetto topico |
Data encryption (Computer science)
Computer communication systems Software engineering Operating systems (Computers) Computers and civilization User interfaces (Computer systems) Cryptology Computer Communication Networks Software Engineering Operating Systems Computers and Society User Interfaces and Human Computer Interaction |
| ISBN | 3-540-33377-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Trust Without Identification -- Protocols -- Constant-Round Password-Based Group Key Generation for Multi-layer Ad-Hoc Networks -- Enabling Secure Discovery in a Pervasive Environment -- Forward Secure Communication in Wireless Sensor Networks -- Mechanisms -- Low Rate DoS Attack to Monoprocess Servers -- Delegating Secure Logging in Pervasive Computing Systems -- Implementing Minimized Multivariate PKC on Low-Resource Embedded Systems -- Integrity -- Higher Dependability and Security for Mobile Applications -- Tampering with Motes: Real-World Physical Attacks on Wireless Sensor Networks -- Privacy and Security -- The Brave New World of Ambient Intelligence: An Analysis of Scenarios Regarding Privacy, Identity and Security Issues -- Profiles and Context Awareness for Mobile Users – A Middleware Approach Supporting Personal Security -- Privacy Sensitive Location Information Systems in Smart Buildings -- Silent Cascade: Enhancing Location Privacy Without Communication QoS Degradation -- Information Flow and Access Control -- Securing Information Gateways with Derivation-Constrained Access Control -- Information Flow Control to Secure Dynamic Web Service Composition -- Authentication -- Analysing a Biometric Authentication Protocol for 3G Mobile Systems Using CSP and Rank Functions -- Attribute-Based Authentication Model for Dynamic Mobile Environments. |
| Record Nr. | UNISA-996466124203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Language Engineering [[electronic resource] ] : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings / / edited by Martin Erwig, Richard F. Paige, Eric Van Wyk
| Software Language Engineering [[electronic resource] ] : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings / / edited by Martin Erwig, Richard F. Paige, Eric Van Wyk |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 385 p. 156 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Mathematical logic Artificial intelligence Computer simulation Management information systems Computer science Programming Languages, Compilers, Interpreters Software Engineering Mathematical Logic and Formal Languages Artificial Intelligence Simulation and Modeling Management of Computing and Information Systems |
| ISBN | 3-319-02654-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Domain-Specific Languages -- Language Patterns and Evolution -- Grammars -- Tools -- Language Analysis -- Meta- and Megamodelling. |
| Record Nr. | UNISA-996465746303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Language Engineering : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings / / edited by Martin Erwig, Richard F. Paige, Eric Van Wyk
| Software Language Engineering : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings / / edited by Martin Erwig, Richard F. Paige, Eric Van Wyk |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 385 p. 156 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Logic, Symbolic and mathematical Artificial intelligence Computer simulation Management information systems Computer science Programming Languages, Compilers, Interpreters Software Engineering Mathematical Logic and Formal Languages Artificial Intelligence Simulation and Modeling Management of Computing and Information Systems |
| ISBN | 3-319-02654-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Domain-Specific Languages -- Language Patterns and Evolution -- Grammars -- Tools -- Language Analysis -- Meta- and Megamodelling. |
| Record Nr. | UNINA-9910739439203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theory and Practice of Model Transformations [[electronic resource] ] : Second International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, Proceedings / / edited by Richard F. Paige
| Theory and Practice of Model Transformations [[electronic resource] ] : Second International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, Proceedings / / edited by Richard F. Paige |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 285 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer simulation Management information systems Computer science Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Simulation and Modeling Software Engineering Management of Computing and Information Systems |
| ISBN | 3-642-02408-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- Foundations for Bidirectional Programming -- Full Papers -- Model Superimposition in Software Product Lines -- Efficient Model Transformations by Combining Pattern Matching Strategies -- Managing Dependent Changes in Coupled Evolution -- Model Transformation By-Example: An Algorithm for Generating Many-to-Many Transformation Rules in Several Model Transformation Languages -- A Collection Operator for Graph Transformation -- Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions -- Towards Model Round-Trip Engineering: An Abductive Approach -- Rewriting Queries by Means of Model Transformations from SPARQL to OQL and Vice-Versa -- Solving Constraints in Model Transformations -- Automatic Model Generation Strategies for Model Transformation Testing -- A Simple Game-Theoretic Approach to Checkonly QVT Relations -- Supporting Model–Driven Development of Object–Relational Database Schemas: A Case Study -- Typing in Model Management -- Supporting Parallel Updates with Bidirectional Model Transformations -- Short Papers -- Experiments with a High-Level Navigation Language -- Using Metrics for Assessing the Quality of ASF+SDF Model Transformations -- Achieving Rule Interoperability Using Chains of Model Transformations -- Panel on Bidirectional Transformations -- Bidirectional Transformations: A Cross-Discipline Perspective. |
| Record Nr. | UNISA-996465590903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theory and practice of model transformations : Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009 : proceedings / / Richard F. Paige (ed.)
| Theory and practice of model transformations : Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009 : proceedings / / Richard F. Paige (ed.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2009 |
| Descrizione fisica | 1 online resource (X, 285 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) | PaigeRichard F |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer software - Development
Model-driven software architecture |
| ISBN | 3-642-02408-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- Foundations for Bidirectional Programming -- Full Papers -- Model Superimposition in Software Product Lines -- Efficient Model Transformations by Combining Pattern Matching Strategies -- Managing Dependent Changes in Coupled Evolution -- Model Transformation By-Example: An Algorithm for Generating Many-to-Many Transformation Rules in Several Model Transformation Languages -- A Collection Operator for Graph Transformation -- Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions -- Towards Model Round-Trip Engineering: An Abductive Approach -- Rewriting Queries by Means of Model Transformations from SPARQL to OQL and Vice-Versa -- Solving Constraints in Model Transformations -- Automatic Model Generation Strategies for Model Transformation Testing -- A Simple Game-Theoretic Approach to Checkonly QVT Relations -- Supporting Model–Driven Development of Object–Relational Database Schemas: A Case Study -- Typing in Model Management -- Supporting Parallel Updates with Bidirectional Model Transformations -- Short Papers -- Experiments with a High-Level Navigation Language -- Using Metrics for Assessing the Quality of ASF+SDF Model Transformations -- Achieving Rule Interoperability Using Chains of Model Transformations -- Panel on Bidirectional Transformations -- Bidirectional Transformations: A Cross-Discipline Perspective. |
| Record Nr. | UNINA-9910483562403321 |
| Berlin ; ; New York, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||