Holdings: Software language engineering

Software language engineering: 5th international conference, SLE 2012, Dresden, Germany, September 26-28, 2012 ; revised selected papers

Saved in:

Bibliographic Details
Other Authors:	Czarnecki, Krzysztof (Editor)
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin [u.a.] Springer 2013
Series:	Lecture notes in computer science 7745
Subjects:	Formale Methode Kunstsprache Software Engineering Modellierung Konferenzschrift > 2012 > Dresden
Online Access:	Inhaltstext Inhaltsverzeichnis
Item Description:	Literaturangaben
Physical Description:	XII, 412 S. Ill., graph. Darst.
ISBN:	9783642360886

Staff View

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

Record in the Search Index

_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

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Description

MARC

Record in the Search Index

There is no print copy available.

Similar Items