Holdings: System analysis and modeling: theory and practice

System analysis and modeling: theory and practice: 7th international workshop, SAM 2012, Innsbruck, Austria, October 1 - 2, 2012 ; revised selected papers

Saved in:

Bibliographic Details
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin [u.a.] Springer 2013
Series:	Lecture notes in computer science 7744
Subjects:	Produktlinie SDL Verteiltes System Modellgetriebene Entwicklung Echtzeitsystem Kommunikationssystem Requirements engineering Domänenspezifische Programmiersprache Verifikation Konferenzschrift > 2012
Online Access:	Inhaltstext Inhaltsverzeichnis
Physical Description:	X, 248 S. Ill., graph. Darst. 235 mm x 155 mm
ISBN:	3642367569 9783642367564

Staff View

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

Record in the Search Index

_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

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