Modelling foundations and applications: 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2011
|
| Series: | Lecture notes in computer science
6698 |
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Physical Description: | XIV, 396 S. graph. Darst. 235 mm x 155 mm |
| ISBN: | 364221469X 9783642214691 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV039105861 | ||
| 003 | DE-604 | ||
| 005 | 20220805 | ||
| 007 | t| | ||
| 008 | 110628s2011 xx d||| |||| 10||| eng d | ||
| 015 | |a 11N19 |2 dnb | ||
| 016 | 7 | |a 1011458225 |2 DE-101 | |
| 020 | |a 364221469X |c Pb. : ca. EUR 66.34 (DE) (freier Pr.), ca. sfr 89.00 (freier Pr.) |9 3-642-21469-X | ||
| 020 | |a 9783642214691 |c Pb. : ca. EUR 66.34 (DE) (freier Pr.), ca. sfr 89.00 (freier Pr.) |9 978-3-642-21469-1 | ||
| 035 | |a (OCoLC)725239338 | ||
| 035 | |a (DE-599)DNB1011458225 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-11 |a DE-83 | ||
| 082 | 0 | |a 005.10285 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Modelling foundations and applications |b 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011 ; proceedings |c Robert B. France ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
| 300 | |a XIV, 396 S. |b graph. Darst. |c 235 mm x 155 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6698 | |
| 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 |
| 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 Modellierung |0 (DE-588)4170297-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2011 |z Birmingham |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 France, Robert |e Sonstige |4 oth | |
| 711 | 2 | |a ECMFA |n 7 |d 2011 |c Birmingham |j Sonstige |0 (DE-588)16160138-8 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6698 |w (DE-604)BV000000607 |9 6698 | |
| 856 | 4 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3725899&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022649691&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-022649691 | |
Record in the Search Index
| _version_ | 1820875322808074240 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
KEYNOTE BUILDING ADVANCED MECHATRONIC SYSTEMS 1
WILHELM SCHAEFER
MODEL EXECUTION
CONTRACTS FOR MODEL EXECUTION VERIFICATION 3
ERIC CARIOU, CYRIL BALLAGNY, ALEXANDRE FEUGAS, AND FRANCK BARBIER
A FUML-BASED DISTRIBUTED EXECUTION MACHINE FOR ENACTING SOFTWARE PROCESS
MODELS 19
RALF ELLNER, SAMIR AL-HILANK, JOHANNES DREXLER, MARTIN JUNG, DETLEF
KIPS, AND MICHAEL PHILIPPSEN
A GENERIC TOOL FOR TRACING EXECUTIONS BACK TO A DSML'S OPERATIONAL
SEMANTICS 35
BENOIT COMBEMALE, LAURE GONNORD, AND VLAD RUSU
MODEL ANALYSIS
INCREMENTAL SECURITY VERIFICATION FOR EVOLVING UMLSEC MODELS 52 JAN
JILRJENS, LOI'C MARCHAL, MARTIN OCHOA, AND HOLGER SCHMIDT
ASSESSING THE KODKOD MODEL FINDER FOR RESOLVING MODEL INCONSISTENCIES 69
RAGNHILD VAN DER STRAETEN, JORGE PINNA PUISSANT, AND TOM MENS
OPERATION BASED MODEL REPRESENTATION: EXPERIENCES ON INCONSISTENCY
DETECTION 85
JEROME LE NOIR, OLIVIER DELANDE, DANIEL EXERTIER, MARCOS AURELIO ALMEIDA
DA SILVA, AND XAVIER BLANC
METHODOLOGY
GENERATING EARLY DESIGN MODELS FROM REQUIREMENTS ANALYSIS ARTIFACTS
USING PROBLEM FRAMES AND SYSML 97
PIETRO COLOMBO, FERHAT KHENDEK, AND LUIGI LAVAZZA
AUTOMATED TRANSITION FROM USE CASES TO UML STATE MACHINES TO SUPPORT
STATE-BASED TESTING 115
TAO YUE, SHAUKAT ALI, AND LIONEL BRIAND
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1011458225
DIGITALISIERT DURCH
IMAGE 2
XII TABLE OF CONTENTS
TRANSFORMATION RULES FOR TRANSLATING BUSINESS RULES TO OCL CONSTRAINTS
132
IMRAN S. BAJWA AND MARK G. LEE
MODEL MANAGEMENT (1)
PREVENTING INFORMATION LOSS IN INCREMENTAL MODEL SYNCHRONIZATION BY
REUSING ELEMENTS 144
JOEL GREENYER, SEBASTIAN POOK, AND JAN RIEKE
AN MDE-BASED APPROACH FOR SOLVING CONFIGURATION PROBLEMS: AN APPLICATION
TO THE ECLIPSE PLATFORM 160
GUILLAUME DOUX, PATRICK ALBERT, GABRIEL BARBIER, JORDI CABOT, MARCOS
DIDONET DEL FABRO, AND SCOTT UK-JIN LEE
INCREMENTAL UPDATES FOR VIEW-BASED TEXTUAL MODELLING 172
THOMAS GOLDSCHMIDT AND AXEL UHL
TRANSFORMATIONS
EASING MODEL TRANSFORMATION LEARNING WITH AUTOMATICALLY ALIGNED EXAMPLES
189
XAVIER DOLQUES, AYMEN DOGUI, JEAN-REMY FALLERI, MARIANNE HUCHARD,
CLEMENTINE NEBUT, AND FRANGOIS PFISTER
CODE GENERATION FOR UML 2 ACTIVITY DIAGRAMS: TOWARDS A COMPREHENSIVE
MODEL-DRIVEN DEVELOPMENT APPROACH 205
DOMINIK GESSENHARTER AND MARTIN RAUSCHER
TRACTABLE MODEL TRANSFORMATION TESTING 221
MARTIN GOGOLLA AND ANTONIO VALLECILLO
VARIABILITY ANALYSIS AND ADLS
EXTENDING SYSML WITH AADL CONCEPTS FOR COMPREHENSIVE SYSTEM ARCHITECTURE
MODELING 236
RAZIEH BEHJATI, TAO YUE, SHIVA NEJATI, LIONEL BRIAND, AND BRAN SELIC
ANALYZING VARIABILITY: CAPTURING SEMANTIC RIPPLE EFFECTS 253
ANDREAS SVENDSEN, OYSTEIN HAUGEN, AND BIRGER M0LLER-PEDERSEN
INTEGRATING DESIGN AND RUNTIME VARIABILITY SUPPORT INTO A SYSTEM ADL 270
MARIE LUDWIG, NICOLAS FARCET, JEAN-PHILIPPE BABAU, AND JOEL CHAMPEAU
IMAGE 3
TABLE OF CONTENTS XIII
DOMAIN-SPECIFIC MODELLING
DOMAIN-SPECIFIC MODEL VERIFICATION WITH QVT 282
MAGED ELAASAR, LIONEL BRIAND, AND YVAN LABICHE
A SYSML PROFILE FOR DEVELOPMENT AND EARLY VALIDATION OF TLM 2.0 MODELS
299
VAIBHAV JAIN, ANSHUL KUMAR, AND PREETI R. PANDA
TAMING THE CONFUSION OF LANGUAGES 312
ROLF-HELGE PFEIFFER AND ANDRZEJ WQSOWSKI
MODEL MANAGEMENT (2)
TABLE-DRIVEN DETECTION AND RESOLUTION OF OPERATION-BASED MERGE CONFLICTS
WITH MIRADOR 329
STEPHEN C. BARRETT, PATRICE CHALIN, AND GREG BUTLER
IMPROVING NAMING AND GROUPING IN UML 345
ANTONIO VALLECILLO
ASPECT-ORIENTED MODEL DEVELOPMENT AT DIFFERENT LEVELS OF ABSTRACTION 361
MAURICIO ALFEREZ, NUNO AMALIO, SELIM CIRACI, FRANCK FLEUREY, JOERG
KIENZLE, JACQUES KLEIN, MAX KRAMER, SEBASTIEN MOSSER, GUNTER MUSSBACHER,
ELLA ROUBTSOVA, AND GEFEI ZHANG
WORKSHOP SUMMARIES
MBSDI 2011 3RD INTERNATIONAL WORKSHOP ON MODEL-BASED SOFTWARE AND DATA
INTEGRATION 377
RALF-DETLEF KUTSCHE AND NIKOLA MILANOVIC
MELO 2011 - 1ST WORKSHOP ON MODEL-DRIVEN ENGINEERING, LOGIC AND
OPTIMIZATION 379
JORDI CABOT, PATRICK ALBERT, GREGOIRE DUPE, MARCOS DIDONET DEL FABRO,
AND SCOTT LEE
THE THIRD WORKSHOP ON BEHAVIOUR MODELLING - FOUNDATIONS AND APPLICATIONS
381
ELLA ROUBTSOVA, ASHLEY MCNEILE, EKKART KINDLER, AND MEHMET AKSIT
PROCESS-CENTRED APPROACHES FOR MODEL-DRIVEN ENGINEERING (PMDE) -FIRST
EDITION 383
REDA BENDRAOU, REDOUANE LBATH, BERNARD COULETTE, AND MARIE-PIERRE
GERVAIS
IMAGE 4
XIV TABLE OF CONTENTS
THIRD INTERNATIONAL WORKSHOP ON MODEL-DRIVEN PRODUCT LINE ENGINEERING
(MDPLE 2011) 385
GOETZ BOTTERWECK, ANDREAS PLEUSS, JULIA RUBIN, AND CHRISTA SCHWANNINGER
TUTORIAL SUMMARIES
AGILE DEVELOPMENT WITH DOMAIN SPECIFIC LANGUAGES 387
BERNHARD RUMPE, MARTIN SCHINDLER, STEVEN VOELKEL, AND INGO WEISEMOELLER
INCREMENTAL EVALUATION OF MODEL QUERIES OVER EMF MODELS: A TUTORIAL ON
EMF-INCQUERY 389
GABOR BERGMANN, AKOS HORVATH, ISTVAN ROTH, AND DANIEL VARRO
INTEGRATED MODEL MANAGEMENT WITH EPSILON 391
DIMITRIOS S. KOLOVOS, RICHARD F. PAIGE, LOUIS M. ROSE, AND JAMES
WILLIAMS
CREATING DOMAIN-SPECIFIC MODELLING LANGUAGES THAT WORK: HANDS-ON 393
JUHA-PEKKA TOLVANEN
AUTHOR INDEX 395 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV039105861 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 310f |
| ctrlnum | (OCoLC)725239338 (DE-599)DNB1011458225 |
| dewey-full | 005.10285 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.10285 |
| dewey-search | 005.10285 |
| dewey-sort | 15.10285 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV039105861</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220805</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">110628s2011 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11N19</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1011458225</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">364221469X</subfield><subfield code="c">Pb. : ca. EUR 66.34 (DE) (freier Pr.), ca. sfr 89.00 (freier Pr.)</subfield><subfield code="9">3-642-21469-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642214691</subfield><subfield code="c">Pb. : ca. EUR 66.34 (DE) (freier Pr.), ca. sfr 89.00 (freier Pr.)</subfield><subfield code="9">978-3-642-21469-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)725239338</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1011458225</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.10285</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</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">7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011 ; proceedings</subfield><subfield code="c">Robert B. France ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 396 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">235 mm x 155 mm</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</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">6698</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="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">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">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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2011</subfield><subfield code="z">Birmingham</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">France, Robert</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ECMFA</subfield><subfield code="n">7</subfield><subfield code="d">2011</subfield><subfield code="c">Birmingham</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16160138-8</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">6698</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6698</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3725899&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=022649691&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-022649691</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2011 Birmingham gnd-content |
| genre_facet | Konferenzschrift 2011 Birmingham |
| id | DE-604.BV039105861 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:13:48Z |
| institution | BVB |
| institution_GND | (DE-588)16160138-8 |
| isbn | 364221469X 9783642214691 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-022649691 |
| oclc_num | 725239338 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-11 DE-83 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-11 DE-83 |
| physical | XIV, 396 S. graph. Darst. 235 mm x 155 mm |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Modelling foundations and applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011 ; proceedings Robert B. France ... (eds.) Berlin [u.a.] Springer 2011 XIV, 396 S. graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6698 Konsistenz Informatik (DE-588)4214306-8 gnd rswk-swf Modelltransformation (DE-588)7616754-9 gnd rswk-swf Entwurfssprache (DE-588)4295335-2 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Modellierung (DE-588)4170297-9 gnd rswk-swf Modellgetriebene Entwicklung (DE-588)4832365-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Birmingham 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 France, Robert Sonstige oth ECMFA 7 2011 Birmingham Sonstige (DE-588)16160138-8 oth Lecture notes in computer science 6698 (DE-604)BV000000607 6698 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3725899&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022649691&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Modelling foundations and applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011 ; proceedings Lecture notes in computer science Konsistenz Informatik (DE-588)4214306-8 gnd Modelltransformation (DE-588)7616754-9 gnd Entwurfssprache (DE-588)4295335-2 gnd Verifikation (DE-588)4135577-5 gnd Modellierung (DE-588)4170297-9 gnd Modellgetriebene Entwicklung (DE-588)4832365-2 gnd |
| subject_GND | (DE-588)4214306-8 (DE-588)7616754-9 (DE-588)4295335-2 (DE-588)4135577-5 (DE-588)4170297-9 (DE-588)4832365-2 (DE-588)1071861417 |
| title | Modelling foundations and applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011 ; proceedings |
| title_auth | Modelling foundations and applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011 ; proceedings |
| title_exact_search | Modelling foundations and applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011 ; proceedings |
| title_full | Modelling foundations and applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011 ; proceedings Robert B. France ... (eds.) |
| title_fullStr | Modelling foundations and applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011 ; proceedings Robert B. France ... (eds.) |
| title_full_unstemmed | Modelling foundations and applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011 ; proceedings Robert B. France ... (eds.) |
| title_short | Modelling foundations and applications |
| title_sort | modelling foundations and applications 7th european conference ecmfa 2011 birmingham uk june 6 9 2011 proceedings |
| title_sub | 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011 ; proceedings |
| topic | Konsistenz Informatik (DE-588)4214306-8 gnd Modelltransformation (DE-588)7616754-9 gnd Entwurfssprache (DE-588)4295335-2 gnd Verifikation (DE-588)4135577-5 gnd Modellierung (DE-588)4170297-9 gnd Modellgetriebene Entwicklung (DE-588)4832365-2 gnd |
| topic_facet | Konsistenz Informatik Modelltransformation Entwurfssprache Verifikation Modellierung Modellgetriebene Entwicklung Konferenzschrift 2011 Birmingham |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3725899&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022649691&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT francerobert modellingfoundationsandapplications7theuropeanconferenceecmfa2011birminghamukjune692011proceedings AT ecmfabirmingham modellingfoundationsandapplications7theuropeanconferenceecmfa2011birminghamukjune692011proceedings |