000 03925nam a22005895i 4500
001 978-3-642-33609-6
003 DE-He213
005 20160624102218.0
007 cr nn 008mamaa
008 120928s2012 gw | s |||| 0|eng d
020 _a9783642336096
_9978-3-642-33609-6
024 7 _a10.1007/978-3-642-33609-6
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
082 0 4 _a005.1
_223
245 1 0 _aModel and Data Engineering
_h[electronic resource] :
_b2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings /
_cedited by Alberto Abelló, Ladjel Bellatreche, Boualem Benatallah.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2012.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2012.
300 _aXII, 187 p. 74 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v7602
505 0 _aCloud 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.
520 _aThis 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.
650 0 _aComputer science.
650 0 _aSoftware engineering.
650 0 _aDatabase management.
650 0 _aArtificial intelligence.
650 0 _aComputer simulation.
650 0 _aInformation Systems.
650 1 4 _aComputer Science.
650 2 4 _aSoftware Engineering.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aManagement of Computing and Information Systems.
650 2 4 _aSimulation and Modeling.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aDatabase Management.
700 1 _aAbelló, Alberto.
_eeditor.
700 1 _aBellatreche, Ladjel.
_eeditor.
700 1 _aBenatallah, Boualem.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642336089
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v7602
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-642-33609-6
942 _2EBK10512
_cEBK
999 _c39806
_d39806