|
|
|
|
LEADER |
08474cam a22016452 4500 |
001 |
0-1651786585 |
003 |
DE-627 |
005 |
20240122105019.0 |
007 |
cr uuu---uuuuu |
008 |
121010s2012 gw |||||o 00| ||eng c |
020 |
|
|
|a 9783642336096
|9 978-3-642-33609-6
|
024 |
7 |
|
|a 10.1007/978-3-642-33609-6
|2 doi
|
035 |
|
|
|a (DE-627)1651786585
|
035 |
|
|
|a (DE-576)372051944
|
035 |
|
|
|a (DE-599)BSZ372051944
|
035 |
|
|
|a (OCoLC)812052431
|
035 |
|
|
|a (DE-He213)978-3-642-33609-6
|
035 |
|
|
|a (EBP)040545075
|
040 |
|
|
|a DE-627
|b ger
|c DE-627
|e rakwb
|
041 |
|
|
|a eng
|
044 |
|
|
|c XA-DE
|c XA-DE-BE
|
050 |
|
0 |
|a QA76.758
|
072 |
|
7 |
|a UMZ
|2 bicssc
|
072 |
|
7 |
|a COM051230
|2 bisacsh
|
084 |
|
|
|a SS 4800
|q SEPA
|2 rvk
|0 (DE-625)rvk/143528:
|
084 |
|
|
|a 54.52
|2 bkl
|
100 |
1 |
|
|a Abello, Alberto
|4 aut
|
245 |
1 |
0 |
|a Model and Data Engineering
|b 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings
|c edited by Alberto Abelló, Ladjel Bellatreche, Boualem Benatallah
|
264 |
|
1 |
|a Berlin, Heidelberg
|b Springer
|c 2012
|
300 |
|
|
|a Online-Ressource (XII, 187 p. 74 illus, digital)
|
336 |
|
|
|a Text
|b txt
|2 rdacontent
|
337 |
|
|
|a Computermedien
|b c
|2 rdamedia
|
338 |
|
|
|a Online-Ressource
|b cr
|2 rdacarrier
|
490 |
1 |
|
|a Lecture Notes in Computer Science
|v 7602
|
490 |
0 |
|
|a SpringerLink
|a Bücher
|
500 |
|
|
|a Literaturangaben
|
520 |
|
|
|a 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.
|
520 |
|
|
|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.
|
650 |
|
0 |
|a Computer science
|
650 |
|
0 |
|a Information Systems
|
650 |
|
0 |
|a Computer Science
|
650 |
|
0 |
|a Computer science
|
650 |
|
0 |
|a Software engineering
|
650 |
|
0 |
|a Database management
|
650 |
|
0 |
|a Artificial intelligence
|
650 |
|
0 |
|a Computer simulation
|
650 |
|
0 |
|a Information Systems
|
650 |
|
0 |
|a Software engineering
|
650 |
|
0 |
|a Database management
|
650 |
|
0 |
|a Artificial intelligence
|
650 |
|
0 |
|a Computer simulation
|
650 |
|
0 |
|a Electronic data processing
|
650 |
|
0 |
|a Compilers (Computer programs).
|
655 |
|
7 |
|a Konferenzschrift
|y 2012
|z Poitiers
|0 (DE-588)1071861417
|0 (DE-627)826484824
|0 (DE-576)433375485
|2 gnd-content
|
655 |
|
7 |
|a Konferenzschrift
|0 (DE-588)1071861417
|0 (DE-627)826484824
|0 (DE-576)433375485
|2 gnd-content
|
689 |
0 |
0 |
|D s
|0 (DE-588)4072806-7
|0 (DE-627)10609419X
|0 (DE-576)209188235
|a Informationssystem
|2 gnd
|
689 |
0 |
1 |
|D s
|0 (DE-588)4113276-2
|0 (DE-627)105830550
|0 (DE-576)209475145
|a Datenbanksystem
|2 gnd
|
689 |
0 |
2 |
|D s
|0 (DE-588)4192516-6
|0 (DE-627)105233951
|0 (DE-576)210081082
|a Datenmodell
|2 gnd
|
689 |
0 |
3 |
|D s
|0 (DE-588)4825945-7
|0 (DE-627)485237601
|0 (DE-576)216769876
|a Metamodell
|2 gnd
|
689 |
0 |
4 |
|D s
|0 (DE-588)4827894-4
|0 (DE-627)487449096
|0 (DE-576)216791049
|a Ontologie
|g Wissensverarbeitung
|2 gnd
|
689 |
0 |
5 |
|D s
|0 (DE-588)4428654-5
|0 (DE-627)216935180
|0 (DE-576)212347217
|a Data Mining
|2 gnd
|
689 |
0 |
5 |
|D s
|0 (DE-588)4832365-2
|0 (DE-627)490626300
|0 (DE-576)217007007
|a Modellgetriebene Entwicklung
|2 gnd
|
689 |
0 |
5 |
|D s
|0 (DE-588)4333722-3
|0 (DE-627)148061516
|0 (DE-576)21134253X
|a Formale Methode
|2 gnd
|
689 |
0 |
|
|5 DE-101
|
700 |
1 |
|
|a Bellatreche, Ladjel
|4 oth
|
700 |
1 |
|
|a Benatallah, Boualem
|4 oth
|
776 |
1 |
|
|z 9783642336089
|
776 |
0 |
8 |
|i Buchausg. u.d.T.
|t Model and data engineering
|d Berlin : Springer, 2012
|h XII, 185 S.
|w (DE-627)722736347
|w (DE-576)382298071
|z 3642336086
|z 9783642336089
|
830 |
|
0 |
|a Lecture notes in computer science
|v 7602
|9 7602
|w (DE-627)316228877
|w (DE-576)093890923
|w (DE-600)2018930-8
|x 1611-3349
|7 ns
|
856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-642-33609-6
|m X:SPRINGER
|x Verlag
|z lizenzpflichtig
|3 Volltext
|
856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-33609-6
|x Resolving-System
|z lizenzpflichtig
|3 Volltext
|
856 |
4 |
2 |
|u https://swbplus.bsz-bw.de/bsz372051944cov.jpg
|m V:DE-576
|m X:springer
|q image/jpeg
|v 20130404105130
|3 Cover
|
889 |
|
|
|w (DE-627)728223406
|
912 |
|
|
|a ZDB-2-LNC
|b 2012
|
912 |
|
|
|a ZDB-2-SCS
|b 2012
|
912 |
|
|
|a ZDB-2-SEB
|
912 |
|
|
|a ZDB-2-SXCS
|b 2012
|
912 |
|
|
|a ZDB-2-SEB
|b 2012
|
935 |
|
|
|h GBV
|i ExPruef
|
936 |
r |
v |
|a SS 4800
|b Lecture notes in computer science
|k Informatik
|k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen
|k Schriftenreihen (indiv. Sign.)
|k Lecture notes in computer science
|0 (DE-627)1271461242
|0 (DE-625)rvk/143528:
|0 (DE-576)201461242
|
936 |
b |
k |
|a 54.52
|j Software engineering
|q SEPA
|0 (DE-627)106418882
|
951 |
|
|
|a BO
|
950 |
|
|
|a Modell
|
950 |
|
|
|a Datenbankverwaltungssystem
|
950 |
|
|
|a DBMS
|
950 |
|
|
|a Datenbankbetriebssystem
|
950 |
|
|
|a Datenbank
|
950 |
|
|
|a Betriebssystem
|
950 |
|
|
|a Datenbankmanagementsystem
|
950 |
|
|
|a Data base management system
|
950 |
|
|
|a Data base system
|
950 |
|
|
|a Datenbanksoftware
|
950 |
|
|
|a Datenbankprogramm
|
950 |
|
|
|a Programm
|
950 |
|
|
|a Система базы данных
|
950 |
|
|
|a Computerunterstütztes Informationssystem
|
950 |
|
|
|a Datenverarbeitung
|
950 |
|
|
|a Informationssystem
|
950 |
|
|
|a Fachinformationssystem
|
950 |
|
|
|a Nachrichtensystem
|
950 |
|
|
|a Dokumentationssystem
|
950 |
|
|
|a Informationssysteme
|
950 |
|
|
|a Information und Dokumentation
|
950 |
|
|
|a Информационная система
|
950 |
|
|
|a Formales Verfahren
|
950 |
|
|
|a Methode
|
950 |
|
|
|a Datamining
|
950 |
|
|
|a Datenmustererkennung
|
950 |
|
|
|a Data-Mining
|
950 |
|
|
|a Suchverfahren
|
950 |
|
|
|a Wissensextraktion
|
950 |
|
|
|a Глубинный анализ данных
|
950 |
|
|
|a Data mining
|
950 |
|
|
|a Ontology
|
950 |
|
|
|a Wissensrepräsentation
|
950 |
|
|
|a Begriffssystem
|
950 |
|
|
|a Wissensbasis
|
950 |
|
|
|a Онтология
|
950 |
|
|
|a Model Driven Software Development
|
950 |
|
|
|a MDSD
|
950 |
|
|
|a Modellgestützte Softwareentwicklung
|
950 |
|
|
|a Modellgesteuerte Entwicklung
|
950 |
|
|
|a Model-Driven Development
|
950 |
|
|
|a MDD
|
950 |
|
|
|a Modellbasierte Softwareentwicklung
|
950 |
|
|
|a Softwareentwicklung
|
950 |
|
|
|a Vorgehensmodell
|
950 |
|
|
|a MDA
|
856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-33609-6
|9 DE-14
|
852 |
|
|
|a DE-14
|x epn:3353768289
|z 2012-10-10T14:11:44Z
|
856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-33609-6
|9 DE-15
|
852 |
|
|
|a DE-15
|x epn:3353768327
|z 2012-10-10T14:11:44Z
|
856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-33609-6
|9 DE-Ch1
|
852 |
|
|
|a DE-Ch1
|x epn:3353768386
|z 2012-10-10T14:11:44Z
|
976 |
|
|
|h Elektronischer Volltext - Campuslizenz
|
856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-33609-6
|z Zum Online-Dokument
|9 DE-Zi4
|
852 |
|
|
|a DE-Zi4
|x epn:3353768440
|z 2012-10-10T14:11:44Z
|
856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-33609-6
|9 DE-520
|
852 |
|
|
|a DE-520
|x epn:3353768505
|z 2012-10-10T14:11:44Z
|
980 |
|
|
|a 1651786585
|b 0
|k 1651786585
|o 372051944
|
SOLR
_version_ |
1792253806650589184 |
access_facet |
Electronic Resources |
author |
Abello, Alberto |
author2 |
Bellatreche, Ladjel, Benatallah, Boualem |
author2_role |
oth, oth |
author2_variant |
l b lb, b b bb |
author_facet |
Abello, Alberto, Bellatreche, Ladjel, Benatallah, Boualem |
author_role |
aut |
author_sort |
Abello, Alberto |
author_variant |
a a aa |
callnumber-first |
Q - Science |
callnumber-label |
QA76 |
callnumber-raw |
QA76.758 |
callnumber-search |
QA76.758 |
callnumber-sort |
QA 276.758 |
callnumber-subject |
QA - Mathematics |
collection |
ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS |
contents |
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., 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. |
ctrlnum |
(DE-627)1651786585, (DE-576)372051944, (DE-599)BSZ372051944, (OCoLC)812052431, (DE-He213)978-3-642-33609-6, (EBP)040545075 |
de15_date |
2012-10-10T14:11:44Z |
dech1_date |
2012-10-10T14:11:44Z |
doi_str_mv |
10.1007/978-3-642-33609-6 |
era_facet |
2012 |
facet_912a |
ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS |
facet_avail |
Online |
facet_local_del330 |
Informationssystem, Datenbanksystem, Datenmodell, Metamodell, Ontologie, Data Mining, Modellgetriebene Entwicklung, Formale Methode |
finc_class_facet |
Informatik, Mathematik |
fincclass_txtF_mv |
science-computerscience |
footnote |
Literaturangaben |
format |
eBook, ConferenceProceedings |
format_access_txtF_mv |
Book, E-Book |
format_de105 |
Ebook |
format_de14 |
Book, E-Book |
format_de15 |
Book, E-Book |
format_del152 |
Buch |
format_detail_txtF_mv |
text-online-monograph-independent |
format_dezi4 |
e-Book |
format_finc |
Book, E-Book |
format_legacy |
ElectronicBook |
format_legacy_nrw |
Book, E-Book |
format_nrw |
Book, E-Book |
format_strict_txtF_mv |
E-Book |
genre |
Konferenzschrift 2012 Poitiers (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content |
genre_facet |
Konferenzschrift |
geogr_code |
not assigned |
geogr_code_person |
not assigned |
geographic_facet |
Poitiers |
hierarchy_parent_id |
0-316228877 |
hierarchy_parent_title |
Lecture notes in computer science |
hierarchy_sequence |
7602 |
hierarchy_top_id |
0-316228877 |
hierarchy_top_title |
Lecture notes in computer science |
id |
0-1651786585 |
illustrated |
Not Illustrated |
imprint |
Berlin, Heidelberg, Springer, 2012 |
imprint_str_mv |
Berlin, Heidelberg: Springer, 2012 |
institution |
DE-14, DE-Zi4, DE-Ch1, DE-520, DE-15 |
is_hierarchy_id |
0-1651786585 |
is_hierarchy_title |
Model and Data Engineering: 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings |
isbn |
9783642336096 |
isbn_isn_mv |
9783642336089, 3642336086 |
issn_isn_mv |
1611-3349 |
kxp_id_str |
1651786585 |
language |
English |
last_indexed |
2024-02-29T17:07:01.539Z |
local_heading_facet_dezwi2 |
Computer science, Information Systems, Computer Science, Software engineering, Database management, Artificial intelligence, Computer simulation, Electronic data processing, Compilers (Computer programs)., Informationssystem, Datenbanksystem, Datenmodell, Metamodell, Ontologie, Data Mining, Modellgetriebene Entwicklung, Formale Methode |
marc024a_ct_mv |
10.1007/978-3-642-33609-6 |
match_str |
abello2012modelanddataengineering2ndinternationalconferencemedi2012poitiersfranceoctober352012proceedings |
mega_collection |
Verbunddaten SWB |
multipart_link |
093890923 |
multipart_part |
(093890923)7602 |
oclc_num |
812052431 |
physical |
Online-Ressource (XII, 187 p. 74 illus, digital) |
publishDate |
2012 |
publishDateSort |
2012 |
publishPlace |
Berlin, Heidelberg |
publisher |
Springer |
record_format |
marcfinc |
record_id |
372051944 |
recordtype |
marcfinc |
rsn_id_str_mv |
(DE-15)3171275 |
rvk_facet |
SS 4800 |
rvk_label |
Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science |
rvk_path |
SS, SQ - SU, SS 4000 - SS 5999, SS 4800 |
rvk_path_str_mv |
SS, SQ - SU, SS 4000 - SS 5999, SS 4800 |
series |
Lecture notes in computer science, 7602 |
series2 |
Lecture Notes in Computer Science ; 7602, SpringerLink ; Bücher |
source_id |
0 |
spelling |
Abello, Alberto aut, Model and Data Engineering 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings edited by Alberto Abelló, Ladjel Bellatreche, Boualem Benatallah, Berlin, Heidelberg Springer 2012, Online-Ressource (XII, 187 p. 74 illus, digital), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 7602, SpringerLink Bücher, Literaturangaben, 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., 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., Computer science, Information Systems, Computer Science, Software engineering, Database management, Artificial intelligence, Computer simulation, Electronic data processing, Compilers (Computer programs)., Konferenzschrift 2012 Poitiers (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4072806-7 (DE-627)10609419X (DE-576)209188235 Informationssystem gnd, s (DE-588)4113276-2 (DE-627)105830550 (DE-576)209475145 Datenbanksystem gnd, s (DE-588)4192516-6 (DE-627)105233951 (DE-576)210081082 Datenmodell gnd, s (DE-588)4825945-7 (DE-627)485237601 (DE-576)216769876 Metamodell gnd, s (DE-588)4827894-4 (DE-627)487449096 (DE-576)216791049 Ontologie Wissensverarbeitung gnd, s (DE-588)4428654-5 (DE-627)216935180 (DE-576)212347217 Data Mining gnd, s (DE-588)4832365-2 (DE-627)490626300 (DE-576)217007007 Modellgetriebene Entwicklung gnd, s (DE-588)4333722-3 (DE-627)148061516 (DE-576)21134253X Formale Methode gnd, DE-101, Bellatreche, Ladjel oth, Benatallah, Boualem oth, 9783642336089, Buchausg. u.d.T. Model and data engineering Berlin : Springer, 2012 XII, 185 S. (DE-627)722736347 (DE-576)382298071 3642336086 9783642336089, Lecture notes in computer science 7602 7602 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/978-3-642-33609-6 X:SPRINGER Verlag lizenzpflichtig Volltext, http://dx.doi.org/10.1007/978-3-642-33609-6 Resolving-System lizenzpflichtig Volltext, https://swbplus.bsz-bw.de/bsz372051944cov.jpg V:DE-576 X:springer image/jpeg 20130404105130 Cover, (DE-627)728223406, http://dx.doi.org/10.1007/978-3-642-33609-6 DE-14, DE-14 epn:3353768289 2012-10-10T14:11:44Z, http://dx.doi.org/10.1007/978-3-642-33609-6 DE-15, DE-15 epn:3353768327 2012-10-10T14:11:44Z, http://dx.doi.org/10.1007/978-3-642-33609-6 DE-Ch1, DE-Ch1 epn:3353768386 2012-10-10T14:11:44Z, http://dx.doi.org/10.1007/978-3-642-33609-6 Zum Online-Dokument DE-Zi4, DE-Zi4 epn:3353768440 2012-10-10T14:11:44Z, http://dx.doi.org/10.1007/978-3-642-33609-6 DE-520, DE-520 epn:3353768505 2012-10-10T14:11:44Z |
spellingShingle |
Abello, Alberto, Model and Data Engineering: 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings, Lecture notes in computer science, 7602, 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., 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., Computer science, Information Systems, Computer Science, Software engineering, Database management, Artificial intelligence, Computer simulation, Electronic data processing, Compilers (Computer programs)., Konferenzschrift 2012 Poitiers, Konferenzschrift, Informationssystem, Datenbanksystem, Datenmodell, Metamodell, Ontologie Wissensverarbeitung, Data Mining, Modellgetriebene Entwicklung, Formale Methode |
swb_id_str |
372051944 |
title |
Model and Data Engineering: 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings |
title_auth |
Model and Data Engineering 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings |
title_full |
Model and Data Engineering 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings edited by Alberto Abelló, Ladjel Bellatreche, Boualem Benatallah |
title_fullStr |
Model and Data Engineering 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings edited by Alberto Abelló, Ladjel Bellatreche, Boualem Benatallah |
title_full_unstemmed |
Model and Data Engineering 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings edited by Alberto Abelló, Ladjel Bellatreche, Boualem Benatallah |
title_in_hierarchy |
7602. Model and Data Engineering: 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings (2012) |
title_short |
Model and Data Engineering |
title_sort |
model and data engineering 2nd international conference medi 2012 poitiers france october 3 5 2012 proceedings |
title_sub |
2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings |
title_unstemmed |
Model and Data Engineering: 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings |
topic |
Computer science, Information Systems, Computer Science, Software engineering, Database management, Artificial intelligence, Computer simulation, Electronic data processing, Compilers (Computer programs)., Konferenzschrift 2012 Poitiers, Konferenzschrift, Informationssystem, Datenbanksystem, Datenmodell, Metamodell, Ontologie Wissensverarbeitung, Data Mining, Modellgetriebene Entwicklung, Formale Methode |
topic_facet |
Computer science, Information Systems, Computer Science, Software engineering, Database management, Artificial intelligence, Computer simulation, Electronic data processing, Compilers (Computer programs)., Konferenzschrift, Informationssystem, Datenbanksystem, Datenmodell, Metamodell, Ontologie, Data Mining, Modellgetriebene Entwicklung, Formale Methode |
url |
https://doi.org/10.1007/978-3-642-33609-6, http://dx.doi.org/10.1007/978-3-642-33609-6, https://swbplus.bsz-bw.de/bsz372051944cov.jpg |