System analysis and modeling: theory and practice: 7th international workshop, SAM 2012, Innsbruck, Austria, October 1 - 2, 2012 ; revised selected papers
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schriftenreihe: | Lecture notes in computer science
7744 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | X, 248 S. Ill., graph. Darst. 235 mm x 155 mm |
| ISBN: | 3642367569 9783642367564 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV040922555 | ||
| 003 | DE-604 | ||
| 005 | 20130411 | ||
| 007 | t| | ||
| 008 | 130403s2013 xx ad|| |||| 10||| eng d | ||
| 015 | |a 13N06 |2 dnb | ||
| 016 | 7 | |a 1030437823 |2 DE-101 | |
| 020 | |a 3642367569 |c : Pb. : ca. EUR 49.22 (DE) |9 3-642-36756-9 | ||
| 020 | |a 9783642367564 |c : Pb. : ca. EUR 49.22 (DE) |9 978-3-642-36756-4 | ||
| 035 | |a (OCoLC)844044051 | ||
| 035 | |a (DE-599)DNB1030437823 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-11 | ||
| 082 | 0 | |a 005.12 |2 22/ger | |
| 082 | 0 | |a 004 | |
| 084 | |a 54.51 |2 bkl | ||
| 245 | 1 | 0 | |a System analysis and modeling: theory and practice |b 7th international workshop, SAM 2012, Innsbruck, Austria, October 1 - 2, 2012 ; revised selected papers |c Øystein Haugen ... (eds.). |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a X, 248 S. |b Ill., graph. Darst. |c 235 mm x 155 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 7744 | |
| 650 | 0 | 7 | |a Produktlinie |0 (DE-588)4336076-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a SDL |0 (DE-588)4180587-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verteiltes System |0 (DE-588)4238872-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Echtzeitsystem |0 (DE-588)4131397-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kommunikationssystem |0 (DE-588)4125542-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Requirements engineering |0 (DE-588)4213997-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Domänenspezifische Programmiersprache |0 (DE-588)7585264-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2012 |2 gnd-content | |
| 689 | 0 | 0 | |a Kommunikationssystem |0 (DE-588)4125542-2 |D s |
| 689 | 0 | 1 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 0 | 2 | |a Echtzeitsystem |0 (DE-588)4131397-5 |D s |
| 689 | 0 | 3 | |a Requirements engineering |0 (DE-588)4213997-1 |D s |
| 689 | 0 | 4 | |a Domänenspezifische Programmiersprache |0 (DE-588)7585264-0 |D s |
| 689 | 0 | 5 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | 6 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |D s |
| 689 | 0 | 7 | |a Produktlinie |0 (DE-588)4336076-2 |D s |
| 689 | 0 | 8 | |a SDL |0 (DE-588)4180587-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Haugen, Øystein |e Sonstige |4 oth | |
| 711 | 2 | |a SAM |n 7 |d 2012 |c Innsbruck |j Sonstige |0 (DE-588)103312334X |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-642-36757-1 |
| 830 | 0 | |a Lecture notes in computer science |v 7744 |w (DE-604)BV000000607 |9 7744 | |
| 856 | 4 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4248037&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=025901682&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-025901682 | |
Datensatz im Suchindex
| _version_ | 1820875456903118848 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
KEYNOTE 1
MODELS '67 REVISITED 1
BIRGER M0LLER-PEDERSEN
TEST AND ANALYSIS I
IDENTIFICATION AND SELECTION OF INTERACTION TEST SCENARIOS FOR
INTEGRATION TESTING 16
MOHAMED MUSSA AND FERHAT KHENDEK
AN APPROACH TO SPECIFY AND ANALYZE GOAL MODEL FAMILIES 34
AZALIA SHAMSAEI, DANIEL AMYOT, ALIREZA POURSHAHID, EDNA BRAUN, ERIC YU,
GUNTER MUSSBACHER, RASHA TAWHID, AND NICK CARTWRIGHT
LANGUAGE ENHANCEMENTS
REAL-TIME TASKS IN SDL 53
DENNIS CHRISTMANN AND REINHARD GOTZHEIN
PROTOTYPING DOMAIN SPECIFIC LANGUAGES AS EXTENSIONS OF A GENERAL PURPOSE
LANGUAGE 72
ANDREAS BLUNK AND JOACHIM FISCHER
FUZZY SUBJECTS
BEHAVIORAL FUZZING OPERATORS FOR UML SEQUENCE DIAGRAMS 88
MARTIN SCHNEIDER. JIIRGEN GROFLMANN, NIKOLAY TCHOLTCHEV, INA
SCHIEFERDECKER, AND ANDREJ PIETSCHKER
RELATIVITY AND ABSTRACT STATE MACHINES 105
EDEL SHERRATT
KEYNOTE 2
FROM EARTHQUAKE DETECTION TO TRAFFIC SURVEILLANCE - ABOUT INFORMATION
AND COMMUNICATION INFRASTRUCTURES FOR SMART CITIES 121
JOACHIM FISCHER, JENS-PETER REDLICH, BJORN SCHEUERMANN, JOCHEN SCHILLER,
MESUT GUNES. KAI NAGEL, PETER WAGNER, MARKUS SCHEIDGEN, ANATOLIJ ZUBOW,
INGMAR EVESLAGE,
ROBERT SOMBRUTZKI. AND FELIX JURASCHEK
HTTP://D-NB.INFO/1030437823
IMAGE 2
X TABLE OF CONTENTS
COMPONENTS AND COMPOSITION
ON DERIVING DETAILED COMPONENT DESIGN FROM HIGH-LEVEL SERVICE
SPECIFICATION 142
UROOJ FATIRNA AND ROLV BRCEK
TYPE-SAFE SYMMETRIC COMPOSITION OF METAMODELS USING TEMPLATES . 160
HENNING BERG AND BIRGER M0LLER-PEDERSEN
CONFIGURING AND PRODUCT LINES
TOWARDS CORRECT PRODUCT DERIVATION IN MODEL-DRIVEN PRODUCT LINES . 179
XIAORUI ZHANG AND BIRGER M0LLER-PEDERSEN
SIMULATION CONFIGURATION MODELING OF DISTRIBUTED COMMUNICATION SYSTEMS
198
MIHAL BRUMBULLI AND JOACHIM FISCHER
ANALYSIS II
GRL MODEL VALIDATION: A STATISTICAL APPROACH 212
JAMELEDDINE HASSINE AND DANIEL AMYOT
CONFIGURATION-BASED SERVICE AVAILABILITY ANALYSIS FOR MIDDLEWARE
MAIIAGED APPLICATIONS 229
AH KANSO, MARIA TOEROE, AND FERHAT KHENDEK
AUTHOR INDEX 249 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV040922555 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)844044051 (DE-599)DNB1030437823 |
| dewey-full | 005.12 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security 004 - Computer science |
| dewey-raw | 005.12 004 |
| dewey-search | 005.12 004 |
| dewey-sort | 15.12 |
| 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">BV040922555</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130411</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">130403s2013 xx ad|| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13N06</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1030437823</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642367569</subfield><subfield code="c">: Pb. : ca. EUR 49.22 (DE)</subfield><subfield code="9">3-642-36756-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642367564</subfield><subfield code="c">: Pb. : ca. EUR 49.22 (DE)</subfield><subfield code="9">978-3-642-36756-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)844044051</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1030437823</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-91G</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.12</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">54.51</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">System analysis and modeling: theory and practice</subfield><subfield code="b">7th international workshop, SAM 2012, Innsbruck, Austria, October 1 - 2, 2012 ; revised selected papers</subfield><subfield code="c">Øystein Haugen ... (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">X, 248 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield><subfield code="c">235 mm x 155 mm</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">7744</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Produktlinie</subfield><subfield code="0">(DE-588)4336076-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">SDL</subfield><subfield code="0">(DE-588)4180587-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modellgetriebene Entwicklung</subfield><subfield code="0">(DE-588)4832365-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kommunikationssystem</subfield><subfield code="0">(DE-588)4125542-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Requirements engineering</subfield><subfield code="0">(DE-588)4213997-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Domänenspezifische Programmiersprache</subfield><subfield code="0">(DE-588)7585264-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-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">2012</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Kommunikationssystem</subfield><subfield code="0">(DE-588)4125542-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Requirements engineering</subfield><subfield code="0">(DE-588)4213997-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Domänenspezifische Programmiersprache</subfield><subfield code="0">(DE-588)7585264-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="6"><subfield code="a">Modellgetriebene Entwicklung</subfield><subfield code="0">(DE-588)4832365-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="7"><subfield code="a">Produktlinie</subfield><subfield code="0">(DE-588)4336076-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="8"><subfield code="a">SDL</subfield><subfield code="0">(DE-588)4180587-2</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">Haugen, Øystein</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">SAM</subfield><subfield code="n">7</subfield><subfield code="d">2012</subfield><subfield code="c">Innsbruck</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)103312334X</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-36757-1</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7744</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7744</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=4248037&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=025901682&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-025901682</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2012 gnd-content |
| genre_facet | Konferenzschrift 2012 |
| id | DE-604.BV040922555 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:15:54Z |
| institution | BVB |
| institution_GND | (DE-588)103312334X |
| isbn | 3642367569 9783642367564 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025901682 |
| oclc_num | 844044051 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-11 |
| owner_facet | DE-91G DE-BY-TUM DE-11 |
| physical | X, 248 S. Ill., graph. Darst. 235 mm x 155 mm |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | System analysis and modeling: theory and practice 7th international workshop, SAM 2012, Innsbruck, Austria, October 1 - 2, 2012 ; revised selected papers Øystein Haugen ... (eds.). Berlin [u.a.] Springer 2013 X, 248 S. Ill., graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7744 Produktlinie (DE-588)4336076-2 gnd rswk-swf SDL (DE-588)4180587-2 gnd rswk-swf Verteiltes System (DE-588)4238872-7 gnd rswk-swf Modellgetriebene Entwicklung (DE-588)4832365-2 gnd rswk-swf Echtzeitsystem (DE-588)4131397-5 gnd rswk-swf Kommunikationssystem (DE-588)4125542-2 gnd rswk-swf Requirements engineering (DE-588)4213997-1 gnd rswk-swf Domänenspezifische Programmiersprache (DE-588)7585264-0 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2012 gnd-content Kommunikationssystem (DE-588)4125542-2 s Verteiltes System (DE-588)4238872-7 s Echtzeitsystem (DE-588)4131397-5 s Requirements engineering (DE-588)4213997-1 s Domänenspezifische Programmiersprache (DE-588)7585264-0 s Verifikation (DE-588)4135577-5 s Modellgetriebene Entwicklung (DE-588)4832365-2 s Produktlinie (DE-588)4336076-2 s SDL (DE-588)4180587-2 s DE-604 Haugen, Øystein Sonstige oth SAM 7 2012 Innsbruck Sonstige (DE-588)103312334X oth Erscheint auch als Online-Ausgabe 978-3-642-36757-1 Lecture notes in computer science 7744 (DE-604)BV000000607 7744 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4248037&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=025901682&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | System analysis and modeling: theory and practice 7th international workshop, SAM 2012, Innsbruck, Austria, October 1 - 2, 2012 ; revised selected papers Lecture notes in computer science Produktlinie (DE-588)4336076-2 gnd SDL (DE-588)4180587-2 gnd Verteiltes System (DE-588)4238872-7 gnd Modellgetriebene Entwicklung (DE-588)4832365-2 gnd Echtzeitsystem (DE-588)4131397-5 gnd Kommunikationssystem (DE-588)4125542-2 gnd Requirements engineering (DE-588)4213997-1 gnd Domänenspezifische Programmiersprache (DE-588)7585264-0 gnd Verifikation (DE-588)4135577-5 gnd |
| subject_GND | (DE-588)4336076-2 (DE-588)4180587-2 (DE-588)4238872-7 (DE-588)4832365-2 (DE-588)4131397-5 (DE-588)4125542-2 (DE-588)4213997-1 (DE-588)7585264-0 (DE-588)4135577-5 (DE-588)1071861417 |
| title | System analysis and modeling: theory and practice 7th international workshop, SAM 2012, Innsbruck, Austria, October 1 - 2, 2012 ; revised selected papers |
| title_auth | System analysis and modeling: theory and practice 7th international workshop, SAM 2012, Innsbruck, Austria, October 1 - 2, 2012 ; revised selected papers |
| title_exact_search | System analysis and modeling: theory and practice 7th international workshop, SAM 2012, Innsbruck, Austria, October 1 - 2, 2012 ; revised selected papers |
| title_full | System analysis and modeling: theory and practice 7th international workshop, SAM 2012, Innsbruck, Austria, October 1 - 2, 2012 ; revised selected papers Øystein Haugen ... (eds.). |
| title_fullStr | System analysis and modeling: theory and practice 7th international workshop, SAM 2012, Innsbruck, Austria, October 1 - 2, 2012 ; revised selected papers Øystein Haugen ... (eds.). |
| title_full_unstemmed | System analysis and modeling: theory and practice 7th international workshop, SAM 2012, Innsbruck, Austria, October 1 - 2, 2012 ; revised selected papers Øystein Haugen ... (eds.). |
| title_short | System analysis and modeling: theory and practice |
| title_sort | system analysis and modeling theory and practice 7th international workshop sam 2012 innsbruck austria october 1 2 2012 revised selected papers |
| title_sub | 7th international workshop, SAM 2012, Innsbruck, Austria, October 1 - 2, 2012 ; revised selected papers |
| topic | Produktlinie (DE-588)4336076-2 gnd SDL (DE-588)4180587-2 gnd Verteiltes System (DE-588)4238872-7 gnd Modellgetriebene Entwicklung (DE-588)4832365-2 gnd Echtzeitsystem (DE-588)4131397-5 gnd Kommunikationssystem (DE-588)4125542-2 gnd Requirements engineering (DE-588)4213997-1 gnd Domänenspezifische Programmiersprache (DE-588)7585264-0 gnd Verifikation (DE-588)4135577-5 gnd |
| topic_facet | Produktlinie SDL Verteiltes System Modellgetriebene Entwicklung Echtzeitsystem Kommunikationssystem Requirements engineering Domänenspezifische Programmiersprache Verifikation Konferenzschrift 2012 |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4248037&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=025901682&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT haugenøystein systemanalysisandmodelingtheoryandpractice7thinternationalworkshopsam2012innsbruckaustriaoctober122012revisedselectedpapers AT saminnsbruck systemanalysisandmodelingtheoryandpractice7thinternationalworkshopsam2012innsbruckaustriaoctober122012revisedselectedpapers |