Modelling Foundations and Applications: 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-24, 2015. Proceedings
Saved in:
| Format: | Electronic Conference Proceeding eBook |
|---|---|
| Language: | English |
| Published: |
Cham
Springer International Publishing
2015
|
| Series: | Lecture Notes in Computer Science
9153 |
| Subjects: | |
| Online Access: | Volltext Inhaltsverzeichnis Abstract |
| Physical Description: | 1 Online-Ressource (XII, 203 S.) Ill., graph. Darst. |
| ISBN: | 9783319211510 9783319211503 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-21151-0 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042730387 | ||
| 003 | DE-604 | ||
| 005 | 20150806 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150803s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319211510 |c Online |9 978-3-319-21151-0 | ||
| 020 | |a 9783319211503 |c Print |9 978-3-319-21150-3 | ||
| 024 | 7 | |a 10.1007/978-3-319-21151-0 |2 doi | |
| 035 | |a (OCoLC)915764210 | ||
| 035 | |a (DE-599)BVBBV042730387 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Modelling Foundations and Applications |b 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-24, 2015. Proceedings |c edited by Gabriele Taentzer, Francis Bordeleau |
| 264 | 1 | |a Cham |b Springer International Publishing |c 2015 | |
| 300 | |a 1 Online-Ressource (XII, 203 S.) |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 9153 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer Communication Networks | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Information Systems | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Management of Computing and Information Systems | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modellierung |0 (DE-588)4170297-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Entwurfssprache |0 (DE-588)4295335-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Konsistenz |g Informatik |0 (DE-588)4214306-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modelltransformation |0 (DE-588)7616754-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2015 |z L'Aquila |2 gnd-content | |
| 689 | 0 | 0 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Modelltransformation |0 (DE-588)7616754-9 |D s |
| 689 | 1 | 1 | |a Modellierung |0 (DE-588)4170297-9 |D s |
| 689 | 1 | 2 | |a Entwurfssprache |0 (DE-588)4295335-2 |D s |
| 689 | 1 | 3 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 1 | 4 | |a Konsistenz |g Informatik |0 (DE-588)4214306-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Taentzer, Gabriele |d 1963- |e Sonstige |0 (DE-588)128378778 |4 oth | |
| 711 | 2 | |a ECMFA |n 11. |d 2015 |c L'Aquila |j Sonstige |0 (DE-588)1074557778 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9153 |w (DE-604)BV014880109 |9 9153 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-21151-0 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161418&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161418&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028161418 | ||
Record in the Search Index
| _version_ | 1804174941988323328 |
|---|---|
| adam_text | MODELLING FOUNDATIONS AND APPLICATIONS
/
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
TOWARDS INCREMENTAL UPDATES IN LARGE-SCALE MODEL INDEXES
ENERGY CONSUMPTION ANALYSIS AND DESIGN OF ENERGY-AWARE WSN AGENTS IN
FUML
REUSABLE MODEL INTERFACES WITH INSTANTIATION CARDINALITIES
A GENERATIVE APPROACH TO DEFINE RICH DOMAIN-SPECIFIC TRACE METAMODELS
ON LIGHTWEIGHT METAMODEL EXTENSION TO SUPPORT MODELING TOOLS AGILITY
A MODEL MANAGEMENT IMPERATIVE: BEING GRAPHICAL IS NOT SUFFICIENT, YOU
HAVE TO BE CATEGORICAL
A MODEL-BASED APPROACH FOR THE INTEGRATION OF CONFIGURATION FRAGMENTS
ASPECTOCL: AN EXTENSION TO OCL FOR SPECIFYING CROSSCUTTING CONSTRAINTS
PROPERTY ACCESS TRACES FOR SOURCE INCREMENTAL MODEL-TO-TEXT
TRANSFORMATION
A COMPARISON OF TWO-LEVEL AND MULTI-LEVEL MODELLING FOR CLOUD-BASED
APPLICATIONS
EMPIRICAL EVALUATION OF UML MODELING TOOLS- A CONTROLLED EXPERIMENT
OPENING THE BLACK-BOX OF MODEL TRANSFORMATION
TYPE INFERENCE IN FLEXIBLE MODEL-DRIVEN ENGINEERING
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
MODELLING FOUNDATIONS AND APPLICATIONS
/
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE PROCEEDINGS OF THE 11TH EUROPEAN CONFERENCE ON
MODELLING FOUNDATIONS AND APPLICATIONS, ECMFA 2015, HELD AS PART OF STAF
2015, IN L`AQUILA, UTALY, IN JULY 2015. THE 13 PAPERS PRESENTED IN THIS
VOLUME WERE CAREFULLY REVIEWED AND SELECTED FROM 54 SUBMISSIONS. THE
COMMITTEE DECIDED TO ACCEPT 13 PAPERS, 9 PAPERS FOR THE FOUNDATIONS
TRACK AND 4 PAPERS FOR THE APPLICATIONS TRACK. PAPERS ON A WIDE RANGE OF
MBE ASPECTS WERE ACCEPTED, INCLUDING TOPICS SUCH AS ASPECT-ORIENTED
MODELING, MODEL MANAGEMENT, MODEL TRANSFORMATION, ADVANCED
META-MODELING, UML MODELING TOOLS, AND DOMAIN-SPECIFIC MODELING W.R.T.
ENERGY CONSUMPTION AND CLOUD-BASED SYSTEMS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author_GND | (DE-588)128378778 |
| building | Verbundindex |
| bvnumber | BV042730387 |
| classification_tum | DAT 000 DAT 310f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)915764210 (DE-599)BVBBV042730387 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-21151-0 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03591nmm a2200757zcb4500</leader><controlfield tag="001">BV042730387</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150806 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150803s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319211510</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-21151-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319211503</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-21150-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-21151-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)915764210</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042730387</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modelling Foundations and Applications</subfield><subfield code="b">11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-24, 2015. Proceedings</subfield><subfield code="c">edited by Gabriele Taentzer, Francis Bordeleau</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 203 S.)</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9153</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Management of Computing and Information Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modellgetriebene Entwicklung</subfield><subfield code="0">(DE-588)4832365-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entwurfssprache</subfield><subfield code="0">(DE-588)4295335-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Konsistenz</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4214306-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modelltransformation</subfield><subfield code="0">(DE-588)7616754-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2015</subfield><subfield code="z">L'Aquila</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Modellgetriebene Entwicklung</subfield><subfield code="0">(DE-588)4832365-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Modelltransformation</subfield><subfield code="0">(DE-588)7616754-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Entwurfssprache</subfield><subfield code="0">(DE-588)4295335-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="4"><subfield code="a">Konsistenz</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4214306-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Taentzer, Gabriele</subfield><subfield code="d">1963-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)128378778</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ECMFA</subfield><subfield code="n">11.</subfield><subfield code="d">2015</subfield><subfield code="c">L'Aquila</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1074557778</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9153</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9153</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-21151-0</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161418&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161418&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028161418</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2015 L'Aquila gnd-content |
| genre_facet | Konferenzschrift 2015 L'Aquila |
| id | DE-604.BV042730387 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T07:08:24Z |
| institution | BVB |
| institution_GND | (DE-588)1074557778 |
| isbn | 9783319211510 9783319211503 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028161418 |
| oclc_num | 915764210 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XII, 203 S.) Ill., graph. Darst. |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer International Publishing |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-24, 2015. Proceedings edited by Gabriele Taentzer, Francis Bordeleau Cham Springer International Publishing 2015 1 Online-Ressource (XII, 203 S.) Ill., graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9153 0302-9743 Computer science Computer Communication Networks Software engineering Logic design Information Systems Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Management of Computing and Information Systems Programming Techniques Informatik Modellgetriebene Entwicklung (DE-588)4832365-2 gnd rswk-swf Modellierung (DE-588)4170297-9 gnd rswk-swf Entwurfssprache (DE-588)4295335-2 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Konsistenz Informatik (DE-588)4214306-8 gnd rswk-swf Modelltransformation (DE-588)7616754-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2015 L'Aquila gnd-content Modellgetriebene Entwicklung (DE-588)4832365-2 s DE-604 Modelltransformation (DE-588)7616754-9 s Modellierung (DE-588)4170297-9 s Entwurfssprache (DE-588)4295335-2 s Verifikation (DE-588)4135577-5 s Konsistenz Informatik (DE-588)4214306-8 s Taentzer, Gabriele 1963- Sonstige (DE-588)128378778 oth ECMFA 11. 2015 L'Aquila Sonstige (DE-588)1074557778 oth Lecture Notes in Computer Science 9153 (DE-604)BV014880109 9153 https://doi.org/10.1007/978-3-319-21151-0 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161418&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161418&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-24, 2015. Proceedings Lecture Notes in Computer Science Computer science Computer Communication Networks Software engineering Logic design Information Systems Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Management of Computing and Information Systems Programming Techniques Informatik Modellgetriebene Entwicklung (DE-588)4832365-2 gnd Modellierung (DE-588)4170297-9 gnd Entwurfssprache (DE-588)4295335-2 gnd Verifikation (DE-588)4135577-5 gnd Konsistenz Informatik (DE-588)4214306-8 gnd Modelltransformation (DE-588)7616754-9 gnd |
| subject_GND | (DE-588)4832365-2 (DE-588)4170297-9 (DE-588)4295335-2 (DE-588)4135577-5 (DE-588)4214306-8 (DE-588)7616754-9 (DE-588)1071861417 |
| title | Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-24, 2015. Proceedings |
| title_auth | Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-24, 2015. Proceedings |
| title_exact_search | Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-24, 2015. Proceedings |
| title_full | Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-24, 2015. Proceedings edited by Gabriele Taentzer, Francis Bordeleau |
| title_fullStr | Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-24, 2015. Proceedings edited by Gabriele Taentzer, Francis Bordeleau |
| title_full_unstemmed | Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-24, 2015. Proceedings edited by Gabriele Taentzer, Francis Bordeleau |
| title_short | Modelling Foundations and Applications |
| title_sort | modelling foundations and applications 11th european conference ecmfa 2015 held as part of staf 2015 l aquila italy july 20 24 2015 proceedings |
| title_sub | 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-24, 2015. Proceedings |
| topic | Computer science Computer Communication Networks Software engineering Logic design Information Systems Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Management of Computing and Information Systems Programming Techniques Informatik Modellgetriebene Entwicklung (DE-588)4832365-2 gnd Modellierung (DE-588)4170297-9 gnd Entwurfssprache (DE-588)4295335-2 gnd Verifikation (DE-588)4135577-5 gnd Konsistenz Informatik (DE-588)4214306-8 gnd Modelltransformation (DE-588)7616754-9 gnd |
| topic_facet | Computer science Computer Communication Networks Software engineering Logic design Information Systems Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Management of Computing and Information Systems Programming Techniques Informatik Modellgetriebene Entwicklung Modellierung Entwurfssprache Verifikation Konsistenz Informatik Modelltransformation Konferenzschrift 2015 L'Aquila |
| url | https://doi.org/10.1007/978-3-319-21151-0 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161418&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161418&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT taentzergabriele modellingfoundationsandapplications11theuropeanconferenceecmfa2015heldaspartofstaf2015laquilaitalyjuly20242015proceedings AT ecmfalaquila modellingfoundationsandapplications11theuropeanconferenceecmfa2015heldaspartofstaf2015laquilaitalyjuly20242015proceedings |