Software language engineering: 5th international conference, SLE 2012, Dresden, Germany, September 26-28, 2012 ; revised selected papers
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schriftenreihe: | Lecture notes in computer science
7745 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XII, 412 S. Ill., graph. Darst. |
| ISBN: | 9783642360886 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV040801193 | ||
| 003 | DE-604 | ||
| 005 | 20130327 | ||
| 007 | t| | ||
| 008 | 130306s2013 xx ad|| |||| 00||| eng d | ||
| 016 | 7 | |a 1028990650 |2 DE-101 | |
| 020 | |a 9783642360886 |9 978-3-642-36088-6 | ||
| 035 | |a (OCoLC)835362115 | ||
| 035 | |a (DE-599)DNB1028990650 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-11 |a DE-83 |a DE-91G | ||
| 082 | 0 | |a 005.1 |2 22/ger | |
| 084 | |a DAT 350f |2 stub | ||
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Software language engineering |b 5th international conference, SLE 2012, Dresden, Germany, September 26-28, 2012 ; revised selected papers |c Krzysztof Czarnecki ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a XII, 412 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 7745 | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kunstsprache |0 (DE-588)4123590-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modellierung |0 (DE-588)4170297-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2012 |z Dresden |2 gnd-content | |
| 689 | 0 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | 1 | |a Kunstsprache |0 (DE-588)4123590-3 |D s |
| 689 | 0 | 2 | |a Modellierung |0 (DE-588)4170297-9 |D s |
| 689 | 0 | 3 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Czarnecki, Krzysztof |4 edt | |
| 711 | 2 | |a SLE |n 5. |d 2012 |c Dresden |j Sonstige |0 (DE-588)1032024275 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-642-36089-3 |
| 830 | 0 | |a Lecture notes in computer science |v 7745 |w (DE-604)BV000000607 |9 7745 | |
| 856 | 4 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4212976&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=025781297&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-025781297 | |
Datensatz im Suchindex
| _version_ | 1820875445981151232 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
ADDRESSING COGNITIVE AND SOCIAL CHALLENGES IN DESIGNING AND USING
ONTOLOGIES IN THE BIOMEDICAL DOMAIN 1
MARGARET-ANNE STOREY
OBJECT GRAMMARS: COMPOSITIONAL AND BIDIRECTIONAL MAPPING BETWEEN TEXT
AND GRAPHS 4
TIJS VAN DER STORM, WILLIAM R. COOK, AND ALEX LOH
PROFILE-BASED ABSTRACTION AND ANALYSIS OF ATTRIBUTE GRAMMAR EVALUATION
24
ANTHONY M. SLOANE
TERMINATION ANALYSIS FOR HIGHER-ORDER ATTRIBUTE GRAMMARS 44
LIJESH KRISHNAN AND ERIC VAN WYK
METAMODELLING FOR GRAMMARWARE RESEARCHERS 64
RICHARD F. PAIGE, DIMITRIOS S. KOLOVOS, AND FIONA A.C. POLACK
TEMPORAL CONSTRAINT SUPPORT FOR OCL 83
BILAL KANSO AND SAFOUAN TAHA
THE PROGRAM IS THE MODEL: ENABLING TRANSFORMATIONS@RUN.TIME 104
JESUS SANCHEZ CUADRADO, ESTHER GUERRA, AND JUAN DE LARA
A FRAMEWORK FOR BIDIRECTIONAL MODEL-TO-PLATFORM TRANSFORMATIONS 124
ANTHONY ANJORIN, KARSTEN SAILER, SEBASTIAN ROSE, AND ANDY SCHURR
MODEL TRANSFORMATION CO-EVOLUTION: A SEMI-AUTOMATIC APPROACH 144 JOKIN
GARCIA, OSCAR DIAZ, AND MAIDER AZANZA
GUIDED MERGING OF SEQUENCE DIAGRAMS 164
MAGDALENA WIDL, ARRNIN BIER.E, PETRA BROSCH, UWE EGLY, MARIJN HEULE,
GERTI KAPPEL, MARTINA SEIDL, AND HANS TOMPITS
BRIDGING THE CHASM BETWEEN EXECUTABLE METAMODELING AND MODELS OF
COMPUTATION 184
BENOIT COMBEMALE, CECILE HARDEBOLLE, CHRISTOPHE JACQUET, FREDERIC
BOULANGER, AND BENOIT BAUDRY
GRAMMATICAL INFERENCE IN SOFTWARE ENGINEERING: AN OVERVIEW OF THE STATE
OF THE ART 204
ANDREW STEVENSON AND JAMES R. CORDY
HTTP://D-NB.INFO/1028990650
IMAGE 2
XII TABLE OF CONTENTS
ISLAND GRAMMAR-BASED PARSING USING GLL AND TOM 224
ALI AFROOZEH, JEAN-CLIRISTOPHE BACH, MARK VAN DEN BRAND, ADRIAN
JOHNSTONE, MAARTEN MANDERS, PIERRE-ETIENNE MOREAU. AND ELIZABETH SCOTT
LAYOUT-SENSITIVE GENERALIZED PARSING 244
SEBASTIAN ERDWEG, TILLMANN RENDEL, CHRISTIAN KASTNER, AND KLAUS
OSTERMANN
PAPAGENO: A PARALLEL PARSER GENERATOR FOR OPERATOR PRECEDENCE GRAMMARS
264
ALESSANDRO BARENGHI, ERMES VIVIANI, STEFANO CRESPI REGHIZZI, DINO
MANDRIOLI, AND MATTEO PRADELLA
TOUCHRAM: A MULTITOUCH-ENABLED TOOL FOR ASPECT-ORIENTED SOFTWARE DESIGN
275
WISAM AL ABED, VALENTIN BONNET, MATTHIAS SCHOTTLE, ENGIN YILDIRIM, OMAR
ALAM, AND J ORG KIENZLE
A COMMON FOUNDATIONAL THEORY FOR BRIDGING TWO LEVELS IN ONTOLOGY-DRIVEN
CONCEPTUAL MODELING 286
GIANCARLO GUIZZARDI AND VERUSKA ZAMBORLINI
DECLARATIVE NAME BINDING AND SCOPE RULES 311
GABRIEL KONAT, LENNART KATS, GUIDO WACHSMUTH, AND EELCO VISSER
ON THE REUSABLE SPECIFICATION OF NON-FUNCTIONAL PROPERTIES IN DSLS .
332 FRANCISCO DURDN, STEFFEN ZSCHALER, AND JAVIER TROYA
MODULAR WELL-DEFINEDNESS ANALYSIS FOR ATTRIBUTE GRAMMARS 352
TED KAMINSKI AND ERIC VAN WYK
META-LANGUAGE SUPPORT FOR TYPE-SAFE ACCESS TO EXTERNAL RESOURCES .
372 MARK HILLS, PAUL KLINT, AND JURGEN J. VINJU
APPROACHES AND TOOLS FOR IMPLEMENTING TYPE SYSTEMS IN XTEXT 392
LORENZO BETTINI, DIETMAR STOLL, MARKUS VOLTER, AND SERANO COLAMEO
AUTHOR INDEX 413 |
| any_adam_object | 1 |
| author2 | Czarnecki, Krzysztof |
| author2_role | edt |
| author2_variant | k c kc |
| author_facet | Czarnecki, Krzysztof |
| building | Verbundindex |
| bvnumber | BV040801193 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 350f DAT 310f |
| ctrlnum | (OCoLC)835362115 (DE-599)DNB1028990650 |
| 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 |
| 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">BV040801193</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130327</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">130306s2013 xx ad|| |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1028990650</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642360886</subfield><subfield code="9">978-3-642-36088-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)835362115</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1028990650</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-11</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 350f</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">Software language engineering</subfield><subfield code="b">5th international conference, SLE 2012, Dresden, Germany, September 26-28, 2012 ; revised selected papers</subfield><subfield code="c">Krzysztof Czarnecki ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 412 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">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">7745</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kunstsprache</subfield><subfield code="0">(DE-588)4123590-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2012</subfield><subfield code="z">Dresden</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Kunstsprache</subfield><subfield code="0">(DE-588)4123590-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Czarnecki, Krzysztof</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">SLE</subfield><subfield code="n">5.</subfield><subfield code="d">2012</subfield><subfield code="c">Dresden</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1032024275</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-642-36089-3</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7745</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7745</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=4212976&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=025781297&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-025781297</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2012 Dresden gnd-content |
| genre_facet | Konferenzschrift 2012 Dresden |
| id | DE-604.BV040801193 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:15:45Z |
| institution | BVB |
| institution_GND | (DE-588)1032024275 |
| isbn | 9783642360886 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025781297 |
| oclc_num | 835362115 |
| open_access_boolean | |
| owner | DE-11 DE-83 DE-91G DE-BY-TUM |
| owner_facet | DE-11 DE-83 DE-91G DE-BY-TUM |
| physical | XII, 412 S. Ill., graph. Darst. |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Software language engineering 5th international conference, SLE 2012, Dresden, Germany, September 26-28, 2012 ; revised selected papers Krzysztof Czarnecki ... (eds.) Berlin [u.a.] Springer 2013 XII, 412 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7745 Literaturangaben Formale Methode (DE-588)4333722-3 gnd rswk-swf Kunstsprache (DE-588)4123590-3 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Modellierung (DE-588)4170297-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2012 Dresden gnd-content Software Engineering (DE-588)4116521-4 s Kunstsprache (DE-588)4123590-3 s Modellierung (DE-588)4170297-9 s Formale Methode (DE-588)4333722-3 s DE-604 Czarnecki, Krzysztof edt SLE 5. 2012 Dresden Sonstige (DE-588)1032024275 oth Erscheint auch als Online-Ausgabe 978-3-642-36089-3 Lecture notes in computer science 7745 (DE-604)BV000000607 7745 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4212976&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=025781297&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Software language engineering 5th international conference, SLE 2012, Dresden, Germany, September 26-28, 2012 ; revised selected papers Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Kunstsprache (DE-588)4123590-3 gnd Software Engineering (DE-588)4116521-4 gnd Modellierung (DE-588)4170297-9 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4123590-3 (DE-588)4116521-4 (DE-588)4170297-9 (DE-588)1071861417 |
| title | Software language engineering 5th international conference, SLE 2012, Dresden, Germany, September 26-28, 2012 ; revised selected papers |
| title_auth | Software language engineering 5th international conference, SLE 2012, Dresden, Germany, September 26-28, 2012 ; revised selected papers |
| title_exact_search | Software language engineering 5th international conference, SLE 2012, Dresden, Germany, September 26-28, 2012 ; revised selected papers |
| title_full | Software language engineering 5th international conference, SLE 2012, Dresden, Germany, September 26-28, 2012 ; revised selected papers Krzysztof Czarnecki ... (eds.) |
| title_fullStr | Software language engineering 5th international conference, SLE 2012, Dresden, Germany, September 26-28, 2012 ; revised selected papers Krzysztof Czarnecki ... (eds.) |
| title_full_unstemmed | Software language engineering 5th international conference, SLE 2012, Dresden, Germany, September 26-28, 2012 ; revised selected papers Krzysztof Czarnecki ... (eds.) |
| title_short | Software language engineering |
| title_sort | software language engineering 5th international conference sle 2012 dresden germany september 26 28 2012 revised selected papers |
| title_sub | 5th international conference, SLE 2012, Dresden, Germany, September 26-28, 2012 ; revised selected papers |
| topic | Formale Methode (DE-588)4333722-3 gnd Kunstsprache (DE-588)4123590-3 gnd Software Engineering (DE-588)4116521-4 gnd Modellierung (DE-588)4170297-9 gnd |
| topic_facet | Formale Methode Kunstsprache Software Engineering Modellierung Konferenzschrift 2012 Dresden |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4212976&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=025781297&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT czarneckikrzysztof softwarelanguageengineering5thinternationalconferencesle2012dresdengermanyseptember26282012revisedselectedpapers AT sledresden softwarelanguageengineering5thinternationalconferencesle2012dresdengermanyseptember26282012revisedselectedpapers |