LEADER 05214nam  22008295  450 
001 996466185803316
005 20200629223724.0
010   $a3-642-33609-4
024 7 $a10.1007/978-3-642-33609-6
035   $a(CKB)3400000000086257
035   $a(SSID)ssj0000767556
035   $a(PQKBManifestationID)11421442
035   $a(PQKBTitleCode)TC0000767556
035   $a(PQKBWorkID)10740703
035   $a(PQKB)10134216
035   $a(DE-He213)978-3-642-33609-6
035   $a(MiAaPQ)EBC3070849
035   $a(PPN)168324938
035   $a(EXLCZ)993400000000086257
100   $a20120928d2012      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aModel and Data Engineering$b[electronic resource] $e2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012, Proceedings /$fedited by Alberto Abelló, Ladjel Bellatreche, Boualem Benatallah
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (XII, 187 p. 74 illus.)
225 1 $aProgramming and Software Engineering ;$v7602
300   $aInternational conference proceedings.
311   $a3-642-33608-6 
320   $aIncludes bibliographical references and author index.
327   $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.
330   $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.
410  0$aProgramming and Software Engineering ;$v7602
606   $aSoftware engineering
606   $aProgramming languages (Electronic computers)
606   $aManagement information systems
606   $aComputer science
606   $aComputer simulation
606   $aArtificial intelligence
606   $aDatabase management
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067
606   $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024
608   $aConference proceedings.$2fast
615  0$aSoftware engineering.
615  0$aProgramming languages (Electronic computers).
615  0$aManagement information systems.
615  0$aComputer science.
615  0$aComputer simulation.
615  0$aArtificial intelligence.
615  0$aDatabase management.
615 14$aSoftware Engineering.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aManagement of Computing and Information Systems.
615 24$aSimulation and Modeling.
615 24$aArtificial Intelligence.
615 24$aDatabase Management.
676   $a005.1
702   $aAbelló$b Alberto$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBellatreche$b Ladjel$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBenatallah$b Boualem$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aMEDI (Conference)
906   $aBOOK
912   $a996466185803316
996   $aModel and Data Engineering$92239827
997   $aUNISA