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 | ||
|
Models@run.time [[electronic resource] ] : Foundations, Applications, and Roadmaps / / edited by Nelly Bencomo, Robert B. France, Betty H.C. Cheng, Uwe Aßmann |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (X, 319 p. 89 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer programming Management information systems Computer science Computer simulation Software Engineering Programming Techniques Management of Computing and Information Systems Simulation and Modeling |
ISBN | 3-319-08915-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A Reference Architecture and Roadmap for Models@run.time Systems -- Mechanisms for Leveraging Models at Runtime in Self-adaptive Software -- Living with Uncertainty in the Age of Runtime Models -- Using Models at Runtime to Address Assurance for Self-Adaptive Systems -- Model-Driven, Moving-Target Defense for Enterprise Network Security -- ModelLAND: Where Do Models Come from? -- From Model-Driven Software Development Processes to Problem Diagnoses at Runtime -- Research Challenges for Business Process Models at Runtime -- Fine-Grained Semi-automated Runtime Evolution -- Evolution as «Reflections on the Design» -- Safety Assurance of Open Adaptive Systems. |
Record Nr. | UNISA-996213697803316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Models@run.time : Foundations, Applications, and Roadmaps / / edited by Nelly Bencomo, Robert B. France, Betty H.C. Cheng, Uwe Aßmann |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (X, 319 p. 89 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer programming Management information systems Computer science Computer simulation Software Engineering Programming Techniques Management of Computing and Information Systems Simulation and Modeling |
ISBN | 3-319-08915-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A Reference Architecture and Roadmap for Models@run.time Systems -- Mechanisms for Leveraging Models at Runtime in Self-adaptive Software -- Living with Uncertainty in the Age of Runtime Models -- Using Models at Runtime to Address Assurance for Self-Adaptive Systems -- Model-Driven, Moving-Target Defense for Enterprise Network Security -- ModelLAND: Where Do Models Come from? -- From Model-Driven Software Development Processes to Problem Diagnoses at Runtime -- Research Challenges for Business Process Models at Runtime -- Fine-Grained Semi-automated Runtime Evolution -- Evolution as «Reflections on the Design» -- Safety Assurance of Open Adaptive Systems. |
Record Nr. | UNINA-9910484594503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Reasoning Web [[electronic resource] ] : Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures / / edited by Grigoris Antoniou, Uwe Aßmann, Cristina Baroglio, Stefan Decker, Nicola Henze, Paula-Lavinia Patranjan, Robert Tolksdorf |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
Descrizione fisica | 1 online resource (IX, 348 p.) |
Disciplina | 006.3 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Computer communication systems Information storage and retrieval Information technology Business—Data processing Computer logic Artificial intelligence Information Systems Applications (incl. Internet) Computer Communication Networks Information Storage and Retrieval IT in Business Logics and Meanings of Programs Artificial Intelligence |
ISBN | 3-540-74615-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Fundamentals of Reasoning and Reasoning Languages -- Foundations of Rule-Based Query Answering -- Reasoning in Description Logics: Basics, Extensions, and Relatives -- Rules, Rule Languages, and Policies -- Reactive Rules on the Web -- Rule-Based Policy Representation and Reasoning for the Semantic Web -- Rule Interchange on the Web -- Applications of Semantic Web Reasoning -- Reasoning in Semantic Wikis -- Semantic Wiki Representations for Building an Enterprise Knowledge Base -- Semantic Descriptions in an Enterprise Search Solution -- Semantic Web Service Discovery and Selection in B2B Integration Scenarios. |
Record Nr. | UNISA-996465485503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Reasoning Web : Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures / / edited by Grigoris Antoniou, Uwe Aßmann, Cristina Baroglio, Stefan Decker, Nicola Henze, Paula-Lavinia Patranjan, Robert Tolksdorf |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
Descrizione fisica | 1 online resource (IX, 348 p.) |
Disciplina | 006.3 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Computer communication systems Information storage and retrieval Information technology Business—Data processing Computer logic Artificial intelligence Information Systems Applications (incl. Internet) Computer Communication Networks Information Storage and Retrieval IT in Business Logics and Meanings of Programs Artificial Intelligence |
ISBN | 3-540-74615-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Fundamentals of Reasoning and Reasoning Languages -- Foundations of Rule-Based Query Answering -- Reasoning in Description Logics: Basics, Extensions, and Relatives -- Rules, Rule Languages, and Policies -- Reactive Rules on the Web -- Rule-Based Policy Representation and Reasoning for the Semantic Web -- Rule Interchange on the Web -- Applications of Semantic Web Reasoning -- Reasoning in Semantic Wikis -- Semantic Wiki Representations for Building an Enterprise Knowledge Base -- Semantic Descriptions in an Enterprise Search Solution -- Semantic Web Service Discovery and Selection in B2B Integration Scenarios. |
Record Nr. | UNINA-9910484189103321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Reasoning Web. Semantic Technologies for Software Engineering [[electronic resource] ] : 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures / / edited by Uwe Aßmann, Andreas Bartho, Christian Wende |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (IX, 183 p. 52 illus.) |
Disciplina | 006.33 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Computer engineering
Computer communication systems Data mining Application software Information storage and retrieval Artificial intelligence Computer Engineering Computer Communication Networks Data Mining and Knowledge Discovery Information Systems Applications (incl. Internet) Information Storage and Retrieval Artificial Intelligence |
ISBN |
1-280-38872-2
9786613566645 3-642-15543-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Reasoning and Explanation in and in Expressive Description Logics -- Hybrid Reasoning with Non-monotonic Rules -- Model Driven Engineering with Ontology Technologies -- Combining Ontologies with Domain Specific Languages: A Case Study from Network Configuration Software -- Bridging Query Languages in Semantic and Graph Technologies -- Semantic Business Process Engineering. |
Record Nr. | UNISA-996466276603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Software Language Engineering [[electronic resource] ] : 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers / / edited by Anthony Sloane, Uwe Aßmann |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XII, 389 p. 95 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic User interfaces (Computer systems) Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs User Interfaces and Human Computer Interaction |
ISBN | 3-642-28830-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466248603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|