Nantilus
Model and Data Engineering : 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings
This book constitutes the refereed proceedings of the 2nd International Conference on Model and Data Engineering, MEDI 2012, held in Poitiers, France, in October 2012.The 12 revised full papers presented together with 5 short papers were carefully reviewed and selected from 35 submissions. The paper...
Enregistré dans:
| Auteurs principaux : | , , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Model and Data Engineering : 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings / edited by Alberto Abelló, Ladjel Bellatreche, Boualem Benatallah. |
| Édition : | 1st ed. 2012. |
| Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, 2012 |
| Collection : | Programming and Software Engineering ; 7602 |
| Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
| Contenu : | Cloud Blueprint: A Model-Driven Approach to Configuring Federated Clouds. Model-Based Auto Coding of Embedded Control Software with Full Semantics. Modeling End-Users as Contributors in Human Computation Applications. Runtime Adaptation of Architectural Models: An Approach for Adapting User Interfaces. Managing Quality of Large Set of Conceptual Schemas in Public Administration: Methods and Experiences. An MDE-Based Synthesis of Aircraft Safety Models. Integrating a Formal Development for DSLs into Meta-modeling. Transformation of Spatio-Temporal Role Based Access Control Specification to Alloy. Modular Ontological Warehouse for Adaptative Information Search. Ontological Re-classification of Individuals: A Multi-viewpoints Approach. Transformation and Validation with SWRL and OWL of ODM-Based Models. Context-Based Query Using Dependency Structures Based on Latent Topic Model. Decision Tree Selection in an Industrial Machine Fault Diagnostics. Crosscutting Concerns Identification Approach Based on the Sequence Diagram Analysis. Inductive UML. Formal Software Verification at Model and at Source Code Levels. Enterprise Ontology Learning for Heterogeneous Graphs Extraction. Toward Propagating the Evolution of Data Warehouse on Data Marts |
| Sujets : | |
| Documents associés : | Autre format:
Model and Data Engineering Autre format: Model and Data Engineering |
| LEADER | 04433clm a2200709 4500 | ||
|---|---|---|---|
| 001 | PPN168324938 | ||
| 003 | http://www.sudoc.fr/168324938 | ||
| 005 | 20241001155100.0 | ||
| 010 | |a 978-3-642-33609-6 | ||
| 017 | 7 | 0 | |a 10.1007/978-3-642-33609-6 |2 DOI |
| 035 | |a (OCoLC)818324036 | ||
| 035 | |a Springer978-3-642-33609-6 | ||
| 035 | |a Springer-11645-978-3-642-33609-6 | ||
| 100 | |a 20130325d2012 k |0frey0103 ba | ||
| 101 | 0 | |a eng |2 639-2 | |
| 102 | |a DE | ||
| 105 | |a y z 100yy | ||
| 106 | |a s | ||
| 135 | |a dr||||||||||| | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c c |2 rdamedia | ||
| 182 | 1 | |6 z01 |a b | |
| 183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
| 200 | 1 | |a Model and Data Engineering |e 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings |f edited by Alberto Abelló, Ladjel Bellatreche, Boualem Benatallah. | |
| 205 | |a 1st ed. 2012. | ||
| 214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg |d 2012 | |
| 225 | 0 | |a Programming and Software Engineering |x 2945-9168 |v 7602 | |
| 230 | |a Données textuelles | ||
| 327 | 1 | |a Cloud Blueprint: A Model-Driven Approach to Configuring Federated Clouds |a Model-Based Auto Coding of Embedded Control Software with Full Semantics |a Modeling End-Users as Contributors in Human Computation Applications |a Runtime Adaptation of Architectural Models: An Approach for Adapting User Interfaces |a Managing Quality of Large Set of Conceptual Schemas in Public Administration: Methods and Experiences |a An MDE-Based Synthesis of Aircraft Safety Models |a Integrating a Formal Development for DSLs into Meta-modeling |a Transformation of Spatio-Temporal Role Based Access Control Specification to Alloy |a Modular Ontological Warehouse for Adaptative Information Search |a Ontological Re-classification of Individuals: A Multi-viewpoints Approach |a Transformation and Validation with SWRL and OWL of ODM-Based Models |a Context-Based Query Using Dependency Structures Based on Latent Topic Model |a Decision Tree Selection in an Industrial Machine Fault Diagnostics |a Crosscutting Concerns Identification Approach Based on the Sequence Diagram Analysis |a Inductive UML |a Formal Software Verification at Model and at Source Code Levels |a Enterprise Ontology Learning for Heterogeneous Graphs Extraction |a Toward Propagating the Evolution of Data Warehouse on Data Marts | |
| 330 | |a This book constitutes the refereed proceedings of the 2nd International Conference on Model and Data Engineering, MEDI 2012, held in Poitiers, France, in October 2012.The 12 revised full papers presented together with 5 short papers were carefully reviewed and selected from 35 submissions. The papers are cover the topics of model driven engineering, ontology engineering, formal modeling, security, and data mining | ||
| 337 | |a Nécessite un lecteur de fichier PDF | ||
| 371 | 0 | |8 PDF |a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition |c Springer | |
| 410 | | | |t Programming and Software Engineering |x 2945-9168 |v 7602 | |
| 452 | | | |t Model and Data Engineering |y 9783642336089 | |
| 452 | | | |t Model and Data Engineering |y 9783642336102 | |
| 608 | |3 PPN02886431X |a Actes de congrès |2 rameau | ||
| 610 | 1 | |a Computer Science | |
| 610 | 2 | |a Artificial Intelligence (incl. Robotics) | |
| 610 | 2 | |a Programming Languages, Compilers, Interpreters | |
| 610 | 2 | |a Management of Computing and Information Systems | |
| 610 | 2 | |a Simulation and Modeling | |
| 610 | 2 | |a Software Engineering | |
| 610 | 2 | |a Database Management | |
| 610 | 2 | |a Artificial Intelligence. | |
| 610 | 2 | |a Computer Modelling | |
| 610 | 2 | |a IT Operations | |
| 610 | 2 | |a Compilers and Interpreters | |
| 615 | |a Computer Science |n 11645 |2 Springer | ||
| 676 | |a 005.1 |v 23 | ||
| 680 | |a QA76.758 | ||
| 700 | 1 | |a Abelló |b Alberto |4 651 | |
| 701 | 1 | |a Bellatreche |b Ladjel |4 651 | |
| 701 | 1 | |3 PPN075443775 |a Benatallah |b Boualem |f 1966-.... |c informaticien |4 651 | |
| 801 | 3 | |a FR |b Abes |c 20240617 |g AFNOR | |
| 801 | 1 | |a DE |b Springer |c 20221012 |g AACR2 | |
| 856 | 4 | |5 441099901:830855041 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-33609-6 | |
| 915 | |5 441099901:830855041 |b SPRING13-00553 | ||
| 930 | |5 441099901:830855041 |b 441099901 |j g | ||
| 991 | |5 441099901:830855041 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:12 | ||
| 997 | |a NUM |b SPRING13-00553 |d NUMpivo |e EM |s d | ||
| 998 | |a 978385 | ||