Recent trends in algebraic development techniques: 20th international workshop, WADT 2010, Etelsen, Germany, July 1 - 4, 2010 ; revised selected papers
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2012
|
| Schriftenreihe: | Lecture notes in computer science
7137 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | X, 301 S. graph. Darst. |
| ISBN: | 9783642284113 3642284116 9783642284120 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV039915471 | ||
| 003 | DE-604 | ||
| 005 | 20140213 | ||
| 007 | t | ||
| 008 | 120227s2012 d||| |||| 10||| eng d | ||
| 015 | |a 12,N06 |2 dnb | ||
| 016 | 7 | |a 1019305312 |2 DE-101 | |
| 020 | |a 9783642284113 |c Pb. : ca. EUR 57.78 (DE) (freier Pr.), ca. EUR 59.40 (AT) (freier Pr.), ca. sfr 72.00 (freier Pr.) |9 978-3-642-28411-3 | ||
| 020 | |a 3642284116 |9 3-642-28411-6 | ||
| 020 | |a 9783642284120 |c eISBN |9 978-3-642-28412-0 | ||
| 024 | 3 | |a 9783642284113 | |
| 028 | 5 | 2 | |a Best.-Nr.: 86062098 |
| 035 | |a (OCoLC)910898546 | ||
| 035 | |a (DE-599)DNB1019305312 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-83 |a DE-11 |a DE-91G | ||
| 082 | 0 | |a 005.1 |2 22/ger | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 245 | 1 | 0 | |a Recent trends in algebraic development techniques |b 20th international workshop, WADT 2010, Etelsen, Germany, July 1 - 4, 2010 ; revised selected papers |c Till Mossakowski ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2012 | |
| 300 | |a X, 301 S. |b 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 7137 | |
| 650 | 0 | 7 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2010 |z Etelsen |2 gnd-content | |
| 689 | 0 | 0 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Mossakowski, Till |e Sonstige |4 oth | |
| 711 | 2 | |a WADT |n 20 |d 2010 |c Etelsen |j Sonstige |0 (DE-588)16341240-6 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |t Recent Trends in Algebraic Development Techniques |
| 830 | 0 | |a Lecture notes in computer science |v 7137 |w (DE-604)BV000000607 |9 7137 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3968640&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=024774062&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024774062 | |
Datensatz im Suchindex
| _version_ | 1805146177319993344 |
|---|---|
| adam_text |
IMAGE 1
TABLE O F C O N T E N T S
INVITED TALKS
BUILDING A MODAL INTERFACE THEORY FOR CONCURRENCY AND D A T A 1
SEBASTIAN S. BAUER, R O L F HENNICKER, A N D M A R T I N WIRSING
MY ADT SHRINE 13
HANS-DIETER EHRICH
EVOLVING SOA IN THE Q-IMPRESS PROJECT 25
J A N KOFRON AND FRANTISEK PLASIL
C O N T R I B U T E D PAPERS
SHARING IN THE GRAPH REWRITING CALCULUS 27
PAOLO BALDAN AND CLARA BERTOLISSI
A NEW STRATEGY FOR DISTRIBUTED COMPENSATIONS WITH INTERRUPTION IN
LONG-RUNNING TRANSACTIONS 42
ROBERTO BRUNI, A N N E KERSTEN. IVAN LANESE, AND GIORGIO SPAGNOLO
TOWARDS A FIRST-ORDER DEONTIC ACTION LOGIC 61
PABLO F. CASTRO AND T O M S.E. MAIBAUM
C A S L - M D L . MODELLING DYNAMIC SYSTEMS WITH A FORMAL FOUNDATION AND
A UML-LIKE NOTATION 76
CHRISTINE CHOPPY AND CIANNA REGGIO
LAMBDA EXPRESSIONS IN C A S L ARCHITECTURAL SPECIFICATIONS 9 8
M I H A I CODESCU
A PROOF THEORETIC INTERPRETATION OF MODEL THEORETIC HIDING 118
MIHAI CODESCU. FULYA HOROZAL, MICHAEL KOHLHASE, TILL MOSSAKOWSKI, AND
FLORIAN RABE
TOWARDS LOGICAL FRAMEWORKS IN THE HETEROGENEOUS TOOL SET HETS 139 MIHAI
CODESCU, FULYA HOROZAL, MICHAEL KOHLHASE. TILL MOSSAKOWSKI, FLORIAN
RABE, AND KRISTINA SOJAKOVA
AN INSTITUTION FOR GRAPH TRANSFORMATION 160
ANDREA CORRADINI, FABIO CADD,UCCI, AND LEILA RIBEIRO
NEW RESULTS ON TIMED SPECIFICATIONS 175
TIMOTHY BOURKE, ALEXANDRE DAVID, K I M G. LARSEN, A X E L LEGAY. DIDIER
LIME, ULRIK N Y M A N , AND ANDRZEJ WQSOWSKI,
HTTP://D-NB.INFO/1019305312
IMAGE 2
X TABLE OF CONTENTS
COMBINING GRAPH TRANSFORMATION AND ALGEBRAIC SPECIFICATION INTO MODEL
TRANSFORMATION 193
HANS-JORG KREOWSKI, SABINE KUSKE, AND CAROLINE VON TOTTH
TOWARDS BIALGEBRAIC SEMANTICS FOR THE LINEAR TIME - BRANCHING TIME
SPECTRUM 209
A N A PAULA MALDONADO. LUIS MONTEIRO, AND MARKUS ROGGENBACH
ALGEBRAIC SIGNATURES ENRICHED BY DEPENDENCY STRUCTURE 226
GRZEGORZ MARCZYNSKI
COMPOSITIONAL MODELLING AND REASONING IN AN INSTITUTION FOR PROCESSES
AND DATA 251
L I A M O'REILLY, TILL MOSSAKOWSKI, AND MARKUS ROGGENBACH
PROVING PROPERTIES ABOUT FUNCTIONS ON LISTS INVOLVING ELEMENT TESTS . .
. 270 DANIEL SEIDEL AND JANIS VOIGTLAIIDER
TEST-CASE GENERATION FOR MAUDE FUNCTIONAL MODULES 287
ADRIAN RIESCO
A U T H O R I N D E X 303 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV039915471 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 510f |
| ctrlnum | (OCoLC)910898546 (DE-599)DNB1019305312 |
| 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">BV039915471</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140213</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">120227s2012 d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N06</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1019305312</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642284113</subfield><subfield code="c">Pb. : ca. EUR 57.78 (DE) (freier Pr.), ca. EUR 59.40 (AT) (freier Pr.), ca. sfr 72.00 (freier Pr.)</subfield><subfield code="9">978-3-642-28411-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642284116</subfield><subfield code="9">3-642-28411-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642284120</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-642-28412-0</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642284113</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86062098</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)910898546</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1019305312</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-83</subfield><subfield code="a">DE-11</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">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Recent trends in algebraic development techniques</subfield><subfield code="b">20th international workshop, WADT 2010, Etelsen, Germany, July 1 - 4, 2010 ; revised selected papers</subfield><subfield code="c">Till Mossakowski ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 301 S.</subfield><subfield code="b">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">7137</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-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">2010</subfield><subfield code="z">Etelsen</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</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">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</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">Mossakowski, Till</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">WADT</subfield><subfield code="n">20</subfield><subfield code="d">2010</subfield><subfield code="c">Etelsen</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16341240-6</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="t">Recent Trends in Algebraic Development Techniques</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7137</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7137</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3968640&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=024774062&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-024774062</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Etelsen gnd-content |
| genre_facet | Konferenzschrift 2010 Etelsen |
| id | DE-604.BV039915471 |
| illustrated | Illustrated |
| indexdate | 2024-07-21T00:25:46Z |
| institution | BVB |
| institution_GND | (DE-588)16341240-6 |
| isbn | 9783642284113 3642284116 9783642284120 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024774062 |
| oclc_num | 910898546 |
| open_access_boolean | |
| owner | DE-706 DE-83 DE-11 DE-91G DE-BY-TUM |
| owner_facet | DE-706 DE-83 DE-11 DE-91G DE-BY-TUM |
| physical | X, 301 S. graph. Darst. |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Recent trends in algebraic development techniques 20th international workshop, WADT 2010, Etelsen, Germany, July 1 - 4, 2010 ; revised selected papers Till Mossakowski ... (eds.) Berlin [u.a.] Springer 2012 X, 301 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7137 Algebraische Spezifikation (DE-588)4207192-6 gnd rswk-swf Formale Spezifikationstechnik (DE-588)4299725-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Etelsen gnd-content Algebraische Spezifikation (DE-588)4207192-6 s DE-604 Formale Spezifikationstechnik (DE-588)4299725-2 s Mossakowski, Till Sonstige oth WADT 20 2010 Etelsen Sonstige (DE-588)16341240-6 oth Erscheint auch als Online-Ausgabe Recent Trends in Algebraic Development Techniques Lecture notes in computer science 7137 (DE-604)BV000000607 7137 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3968640&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=024774062&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Recent trends in algebraic development techniques 20th international workshop, WADT 2010, Etelsen, Germany, July 1 - 4, 2010 ; revised selected papers Lecture notes in computer science Algebraische Spezifikation (DE-588)4207192-6 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd |
| subject_GND | (DE-588)4207192-6 (DE-588)4299725-2 (DE-588)1071861417 |
| title | Recent trends in algebraic development techniques 20th international workshop, WADT 2010, Etelsen, Germany, July 1 - 4, 2010 ; revised selected papers |
| title_auth | Recent trends in algebraic development techniques 20th international workshop, WADT 2010, Etelsen, Germany, July 1 - 4, 2010 ; revised selected papers |
| title_exact_search | Recent trends in algebraic development techniques 20th international workshop, WADT 2010, Etelsen, Germany, July 1 - 4, 2010 ; revised selected papers |
| title_full | Recent trends in algebraic development techniques 20th international workshop, WADT 2010, Etelsen, Germany, July 1 - 4, 2010 ; revised selected papers Till Mossakowski ... (eds.) |
| title_fullStr | Recent trends in algebraic development techniques 20th international workshop, WADT 2010, Etelsen, Germany, July 1 - 4, 2010 ; revised selected papers Till Mossakowski ... (eds.) |
| title_full_unstemmed | Recent trends in algebraic development techniques 20th international workshop, WADT 2010, Etelsen, Germany, July 1 - 4, 2010 ; revised selected papers Till Mossakowski ... (eds.) |
| title_short | Recent trends in algebraic development techniques |
| title_sort | recent trends in algebraic development techniques 20th international workshop wadt 2010 etelsen germany july 1 4 2010 revised selected papers |
| title_sub | 20th international workshop, WADT 2010, Etelsen, Germany, July 1 - 4, 2010 ; revised selected papers |
| topic | Algebraische Spezifikation (DE-588)4207192-6 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd |
| topic_facet | Algebraische Spezifikation Formale Spezifikationstechnik Konferenzschrift 2010 Etelsen |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3968640&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=024774062&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT mossakowskitill recenttrendsinalgebraicdevelopmenttechniques20thinternationalworkshopwadt2010etelsengermanyjuly142010revisedselectedpapers AT wadtetelsen recenttrendsinalgebraicdevelopmenttechniques20thinternationalworkshopwadt2010etelsengermanyjuly142010revisedselectedpapers |