Software composition: 10th international conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011 ; proceedings
Gespeichert in:
Format: | Tagungsbericht Buch |
---|---|
Sprache: | English |
Veröffentlicht: |
Berlin [u.a.]
Springer
2011
|
Schriftenreihe: | Lecture notes in computer science
6708 |
Schlagworte: | |
Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
Beschreibung: | VIII, 180 S. graph. Darst. |
ISBN: | 3642220444 9783642220449 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV039132506 | ||
003 | DE-604 | ||
005 | 20111115 | ||
007 | t| | ||
008 | 110712s2011 gw d||| |||| 10||| eng d | ||
015 | |a 11,N23 |2 dnb | ||
016 | 7 | |a 1012139123 |2 DE-101 | |
020 | |a 3642220444 |c Pb. : ca. EUR 49.22 (DE) (freier Pr.), ca. sfr 66.00 (freier Pr.) |9 3-642-22044-4 | ||
020 | |a 9783642220449 |c Pb. : ca. EUR 49.22 (DE) (freier Pr.), ca. sfr 66.00 (freier Pr.) |9 978-3-642-22044-9 | ||
024 | 3 | |a 9783642220449 | |
028 | 5 | 2 | |a Best.-Nr.: 80072832 |
035 | |a (OCoLC)745501367 | ||
035 | |a (DE-599)DNB1012139123 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
044 | |a gw |c XA-DE-BE | ||
049 | |a DE-706 |a DE-11 |a DE-83 |a DE-91G | ||
082 | 0 | |a 005.1 |2 22/ger | |
084 | |a DAT 315f |2 stub | ||
084 | |a 004 |2 sdnb | ||
245 | 1 | 0 | |a Software composition |b 10th international conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011 ; proceedings |c Sven Apel ... (eds.) |
264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
300 | |a VIII, 180 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 6708 | |
650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Komponente |g Software |0 (DE-588)4439521-8 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2011 |z Zürich |2 gnd-content | |
689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
689 | 0 | 1 | |a Komponente |g Software |0 (DE-588)4439521-8 |D s |
689 | 0 | |5 DE-604 | |
700 | 1 | |a Apel, Sven |d 1977- |e Sonstige |0 (DE-588)129781657 |4 oth | |
711 | 2 | |a SC |n 10 |d 2011 |c Zürich |j Sonstige |0 (DE-588)16163583-0 |4 oth | |
776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-642-22045-6 |
830 | 0 | |a Lecture notes in computer science |v 6708 |w (DE-604)BV000000607 |9 6708 | |
856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3831201&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=024150794&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024150794 |
Datensatz im Suchindex
_version_ | 1820875331345580032 |
---|---|
adam_text |
IMAGE 1
TABLE OF CONTENTS
COMPOSITION AND INTERFACES DERIVING FUNCTIONAL INTERFACE SPECIFICATIONS
FOR COMPOSITE COMPONENTS 1
PERLA VELASCO ELIZONDO AND MBE KOUA CHRISTOPHE NDJATCHI
COMPARING MACHINE LEARNING APPROACHES FOR CONTEXT-AWARE COMPOSITION 18
ANTONINA DANYLENKO, CHRISTOPH KESSLER, AND WEIF LOEWE
AN IMPLEMENTATION OF COMPOSABLE MEMORY TRANSACTIONS IN HASKEIL . . . 34
ANDRE RAUBER DU BOIS
SYNTHESIZING GLUE OPERATORS FROM GLUE CONSTRAINTS FOR THE CONSTRUCTION
OF COMPONENT-BASED SYSTEMS 51
SIMON BLIUDZE AND JOSEPH SIFAKIS
ASPECTS AND FEATURES
A SEQUENCE OF PATTERNS FOR REUSABLE ASPECT LIBRARIES WITH EASY
CONFIGURATION 68
MAARTEN BYNENS, EDDY TRUYEN, AND WOUTER JOOSEN
PLUGGABLE ASPECT INSTANTIATION MODELS 84
DANID H. LORENZ AND VICTOR TRAKHTENBERG
COMPOSING EVENT-B SPECIFICATIONS - CASE-STUDY EXPERIENCE 100 ALI GONDAL,
MICHAEL POPPLETON, AND MICHAEL BUTLER
APPLICATIONS I
A FORMAL APPROACH FOR INCREMENTAL CONSTRUCTION WITH AN APPLICATION TO
AUTONOMOUS ROBOTIC SYSTEMS 116
SADDEK BENSALEM, LAVINDRA DE SILVA, ANDREAS GRIESMAYER, FELIX INGRAND,
AXEL LEGAY, AND RONGJIE YAN
TOWARDS INCREMENTAL CYCLE ANALYSIS IN ESMOL DISTRIBUTED CONTROL SYSTEM
MODELS 133
JOSEPH PORTER, DANIEL BALASUBRAMANIAN, GRAHAM HEMINGWAY, AND JANOS
SZTIPANOVITS
ASSURING ARCHITECTURAL PROPERTIES DURING COMPOSITIONAL ARCHITECTURE
DESIGN 141
CONSTANZE DEITERS AND ANDREAS RAUSCH
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1012139123
DIGITALISIERT DURCH
IMAGE 2
VIII TABLE OF CONTENTS
APPLICATIONS II
COHERENCE AND PERFORMANCE FOR INTERACTIVE SCIENTIFIC VISUALIZATION
APPLICATIONS 149
SEBASTIEN LIMET, SOPHIE ROBERT, AND AHMED TURKI
TOWARD VALIDATED COMPOSITION IN COMPONENT-BASED ADAPTIVE MIDDLEWARE 165
ANNIE RESSOUCHE, JEAN-YVES TIGLI, AND OSCAR CARRILLO
AUTHOR INDEX 181 |
any_adam_object | 1 |
author_GND | (DE-588)129781657 |
building | Verbundindex |
bvnumber | BV039132506 |
classification_rvk | SS 4800 |
classification_tum | DAT 315f |
ctrlnum | (OCoLC)745501367 (DE-599)DNB1012139123 |
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">BV039132506</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111115</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">110712s2011 gw d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N23</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1012139123</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642220444</subfield><subfield code="c">Pb. : ca. EUR 49.22 (DE) (freier Pr.), ca. sfr 66.00 (freier Pr.)</subfield><subfield code="9">3-642-22044-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642220449</subfield><subfield code="c">Pb. : ca. EUR 49.22 (DE) (freier Pr.), ca. sfr 66.00 (freier Pr.)</subfield><subfield code="9">978-3-642-22044-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642220449</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80072832</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)745501367</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1012139123</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><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 315f</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">Software composition</subfield><subfield code="b">10th international conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011 ; proceedings</subfield><subfield code="c">Sven Apel ... (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">VIII, 180 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">6708</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Komponente</subfield><subfield code="g">Software</subfield><subfield code="0">(DE-588)4439521-8</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">Zürich</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Komponente</subfield><subfield code="g">Software</subfield><subfield code="0">(DE-588)4439521-8</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">Apel, Sven</subfield><subfield code="d">1977-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)129781657</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">SC</subfield><subfield code="n">10</subfield><subfield code="d">2011</subfield><subfield code="c">Zürich</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16163583-0</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-22045-6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6708</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6708</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=3831201&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=024150794&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-024150794</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 2011 Zürich gnd-content |
genre_facet | Konferenzschrift 2011 Zürich |
id | DE-604.BV039132506 |
illustrated | Illustrated |
indexdate | 2025-01-10T15:13:55Z |
institution | BVB |
institution_GND | (DE-588)16163583-0 |
isbn | 3642220444 9783642220449 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024150794 |
oclc_num | 745501367 |
open_access_boolean | |
owner | DE-706 DE-11 DE-83 DE-91G DE-BY-TUM |
owner_facet | DE-706 DE-11 DE-83 DE-91G DE-BY-TUM |
physical | VIII, 180 S. graph. Darst. |
publishDate | 2011 |
publishDateSearch | 2011 |
publishDateSort | 2011 |
publisher | Springer |
record_format | marc |
series | Lecture notes in computer science |
series2 | Lecture notes in computer science |
spelling | Software composition 10th international conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011 ; proceedings Sven Apel ... (eds.) Berlin [u.a.] Springer 2011 VIII, 180 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6708 Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Komponente Software (DE-588)4439521-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Zürich gnd-content Softwareentwicklung (DE-588)4116522-6 s Komponente Software (DE-588)4439521-8 s DE-604 Apel, Sven 1977- Sonstige (DE-588)129781657 oth SC 10 2011 Zürich Sonstige (DE-588)16163583-0 oth Erscheint auch als Online-Ausgabe 978-3-642-22045-6 Lecture notes in computer science 6708 (DE-604)BV000000607 6708 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3831201&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=024150794&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Software composition 10th international conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011 ; proceedings Lecture notes in computer science Softwareentwicklung (DE-588)4116522-6 gnd Komponente Software (DE-588)4439521-8 gnd |
subject_GND | (DE-588)4116522-6 (DE-588)4439521-8 (DE-588)1071861417 |
title | Software composition 10th international conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011 ; proceedings |
title_auth | Software composition 10th international conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011 ; proceedings |
title_exact_search | Software composition 10th international conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011 ; proceedings |
title_full | Software composition 10th international conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011 ; proceedings Sven Apel ... (eds.) |
title_fullStr | Software composition 10th international conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011 ; proceedings Sven Apel ... (eds.) |
title_full_unstemmed | Software composition 10th international conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011 ; proceedings Sven Apel ... (eds.) |
title_short | Software composition |
title_sort | software composition 10th international conference sc 2011 zurich switzerland june 30 july 1 2011 proceedings |
title_sub | 10th international conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011 ; proceedings |
topic | Softwareentwicklung (DE-588)4116522-6 gnd Komponente Software (DE-588)4439521-8 gnd |
topic_facet | Softwareentwicklung Komponente Software Konferenzschrift 2011 Zürich |
url | http://deposit.dnb.de/cgi-bin/dokserv?id=3831201&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=024150794&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV000000607 |
work_keys_str_mv | AT apelsven softwarecomposition10thinternationalconferencesc2011zurichswitzerlandjune30july12011proceedings AT sczurich softwarecomposition10thinternationalconferencesc2011zurichswitzerlandjune30july12011proceedings |