Foundations of computer software: future trends and techniques for development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24 - 26, 2008 ; revised selected papers
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
| Schriftenreihe: | Lecture notes in computer science
6028 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | VIII, 274 S. graph. Darst. 24 cm |
| ISBN: | 9783642125652 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036426458 | ||
| 003 | DE-604 | ||
| 005 | 20100611 | ||
| 007 | t| | ||
| 008 | 100428s2010 xx d||| |||| 10||| eng d | ||
| 015 | |a 10,N12 |2 dnb | ||
| 016 | 7 | |a 1000911764 |2 DE-101 | |
| 020 | |a 9783642125652 |c kart. : EUR 49.22 (freier Pr.), sfr 71.50 (freier Pr.) |9 978-3-642-12565-2 | ||
| 024 | 3 | |a 9783642125652 | |
| 028 | 5 | 2 | |a 80012716 |
| 035 | |a (OCoLC)610820679 | ||
| 035 | |a (DE-599)DNB1000911764 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-11 |a DE-91G |a DE-83 | ||
| 082 | 0 | |a 005.1 |2 22/ger | |
| 084 | |a DAT 300f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 500f |2 stub | ||
| 245 | 1 | 0 | |a Foundations of computer software |b future trends and techniques for development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24 - 26, 2008 ; revised selected papers |c Christine Choppy ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a VIII, 274 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6028 | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2008 |z Budapest |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Choppy, Christine |e Sonstige |4 oth | |
| 711 | 2 | |a Monterey Workshop |n 15 |d 2008 |c Budapest |j Sonstige |0 (DE-588)16063570-6 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6028 |w (DE-604)BV000000607 |9 6028 | |
| 856 | 4 | 2 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3442335&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=020299144&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020299144 | |
Datensatz im Suchindex
| _version_ | 1820875228310405120 |
|---|---|
| adam_text |
TABLE OF CONTENTS REVISING THE UML COLLABORATIONS: A WELL-FOUNDED
APPROACH 1 EGIDIO ASTESIANO AND GIANNA REGGIO CLIENT SYNTHESIS FOR
ASPECT ORIENTED WEB SERVICES 24 MEHDI BEN HMIDA AND SERGE HADDAD FORMAL
REASONING ABOUT SOFTWARE OBJECT TRANSLATIONS 43 VLADIS BERZINS, LUQI,
AND PETER M. MUSIAL SOFTWARE ENGINEERING TECHNIQUES FOR THE DEVELOPMENT
OF SYSTEMS OF SYSTEMS 59 RADU CALINESCU AND MARTA KWIATKOWSKA SIMULATION
OF LET MODELS IN SIMULINK AND PTOLEMY 83 PATRICIA DERLER, ANDREAS
NADERLINGER, WOLFGANG PREE, STEFAN RESMERITA, AND JOSEF TEMPI
REQUIREMENTS FOR SERVICE COMPOSITION IN ULTRA-LARGE SCALE
SOFTWARE-INTENSIVE SYSTEMS 93 CLAUDIU FARCAS, EMILIA FARCAS, AND INGOLF
KRUEGER ON THE PRAGMATICS OF MODEL-BASED DESIGN 116 HAUKE FUHRMANN AND
REINHARD VON HAMLEDEN MODELLING AND VERIFICATION OF RELAY INTERLOCKING
SYSTEMS 141 ANNE E. HAXTHAUSEN, MARIE LE BLIGUET, AND ANDREAS A. KJ*R
REFINEMENT OF COMPONENTS IN CONNECTION-SAFE ASSEMBLIES WITH SYNCHRONOUS
AND ASYNCHRONOUS COMMUNICATION 154 ROLF HENNICKER, STEPHAN JANISCH, AND
ALEXANDER KNAPP EXPERIENCES IN MODEL DRIVEN VERIFICATION OF BEHAVIOR
WITH UML 181 FABRICE KORDON AND YANN THIERRY-MIEG CROSS-DOCUMENT
DEPENDENCY ANALYSIS FOR SYSTEM-OF-SYSTEM INTEGRATIO BIBLIOGRAFISCHE
INFORMATIONEN HTTP://D-NB.INFO/1000911764 DIGITALISIERT DURCH |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV036426458 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 300f DAT 500f |
| ctrlnum | (OCoLC)610820679 (DE-599)DNB1000911764 |
| 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">BV036426458</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100611</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100428s2010 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N12</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1000911764</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642125652</subfield><subfield code="c">kart. : EUR 49.22 (freier Pr.), sfr 71.50 (freier Pr.)</subfield><subfield code="9">978-3-642-12565-2</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642125652</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80012716</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)610820679</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1000911764</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-11</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</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 300f</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="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundations of computer software</subfield><subfield code="b">future trends and techniques for development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24 - 26, 2008 ; revised selected papers</subfield><subfield code="c">Christine Choppy ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 274 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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">6028</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</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">2008</subfield><subfield code="z">Budapest</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</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">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</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">Choppy, Christine</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Monterey Workshop</subfield><subfield code="n">15</subfield><subfield code="d">2008</subfield><subfield code="c">Budapest</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16063570-6</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">6028</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6028</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3442335&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=020299144&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-020299144</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2008 Budapest gnd-content |
| genre_facet | Konferenzschrift 2008 Budapest |
| id | DE-604.BV036426458 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:12:17Z |
| institution | BVB |
| institution_GND | (DE-588)16063570-6 |
| isbn | 9783642125652 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020299144 |
| oclc_num | 610820679 |
| open_access_boolean | |
| owner | DE-706 DE-11 DE-91G DE-BY-TUM DE-83 |
| owner_facet | DE-706 DE-11 DE-91G DE-BY-TUM DE-83 |
| physical | VIII, 274 S. graph. Darst. 24 cm |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Foundations of computer software future trends and techniques for development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24 - 26, 2008 ; revised selected papers Christine Choppy ... (eds.) Berlin [u.a.] Springer 2010 VIII, 274 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6028 Literaturangaben Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2008 Budapest gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Programmierung (DE-588)4076370-5 s Choppy, Christine Sonstige oth Monterey Workshop 15 2008 Budapest Sonstige (DE-588)16063570-6 oth Lecture notes in computer science 6028 (DE-604)BV000000607 6028 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3442335&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=020299144&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Foundations of computer software future trends and techniques for development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24 - 26, 2008 ; revised selected papers Lecture notes in computer science Theoretische Informatik (DE-588)4196735-5 gnd Programmierung (DE-588)4076370-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4076370-5 (DE-588)1071861417 |
| title | Foundations of computer software future trends and techniques for development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24 - 26, 2008 ; revised selected papers |
| title_auth | Foundations of computer software future trends and techniques for development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24 - 26, 2008 ; revised selected papers |
| title_exact_search | Foundations of computer software future trends and techniques for development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24 - 26, 2008 ; revised selected papers |
| title_full | Foundations of computer software future trends and techniques for development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24 - 26, 2008 ; revised selected papers Christine Choppy ... (eds.) |
| title_fullStr | Foundations of computer software future trends and techniques for development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24 - 26, 2008 ; revised selected papers Christine Choppy ... (eds.) |
| title_full_unstemmed | Foundations of computer software future trends and techniques for development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24 - 26, 2008 ; revised selected papers Christine Choppy ... (eds.) |
| title_short | Foundations of computer software |
| title_sort | foundations of computer software future trends and techniques for development 15th monterey workshop 2008 budapest hungary september 24 26 2008 revised selected papers |
| title_sub | future trends and techniques for development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24 - 26, 2008 ; revised selected papers |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd Programmierung (DE-588)4076370-5 gnd |
| topic_facet | Theoretische Informatik Programmierung Konferenzschrift 2008 Budapest |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3442335&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=020299144&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT choppychristine foundationsofcomputersoftwarefuturetrendsandtechniquesfordevelopment15thmontereyworkshop2008budapesthungaryseptember24262008revisedselectedpapers AT montereyworkshopbudapest foundationsofcomputersoftwarefuturetrendsandtechniquesfordevelopment15thmontereyworkshop2008budapesthungaryseptember24262008revisedselectedpapers |