Verfügbarkeit: Formal aspects of component software

Formal aspects of component software: 9th international symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 ; revised selected papers

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2013
Schriftenreihe:	Lecture notes in computer science 7684
Schlagworte:	Formale Methode Softwareentwicklung Komponente > Software Konferenzschrift > 2011 > Oslo Konferenzschrift > 2012 > Mountain View, Calif.
Online-Zugang:	Verlagsmeldung Inhaltsverzeichnis
Beschreibung:	X, 276 S. Ill., graph. Darst.
ISBN:	3642358608 9783642358609

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV040798607
003	DE-604
005	20130725
007	t\|
008	130305s2013 xx ad\|\| \|\|\|\| 00\|\|\| eng d
016	7		\|a 1028418833 \|2 DE-101
020			\|a 3642358608 \|9 3-642-35860-8
020			\|a 9783642358609 \|9 978-3-642-35860-9
035			\|a (OCoLC)835343699
035			\|a (DE-599)DNB1028418833
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
049			\|a DE-11 \|a DE-83 \|a DE-91G
082	0		\|a 005.11 \|2 22/ger
084			\|a DAT 510f \|2 stub
084			\|a DAT 310f \|2 stub
245	1	0	\|a Formal aspects of component software \|b 9th international symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 ; revised selected papers \|c Corina S. Păsăreanu ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2013
300			\|a X, 276 S. \|b Ill., 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 7684
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
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 Oslo \|2 gnd-content
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2012 \|z Mountain View, Calif. \|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	2	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	0		\|5 DE-604
700	1		\|a Păsăreanu, Corina S. \|e Sonstige \|4 oth
711	2		\|a FACS \|n 9 \|d 2012 \|c Mountain View, CA \|j Sonstige \|0 (DE-588)1031962255 \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-642-35861-6
830		0	\|a Lecture notes in computer science \|v 7684 \|w (DE-604)BV000000607 \|9 7684
856	4		\|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=4198069&prov=M&dok_var=1&dok_ext=htm \|3 Verlagsmeldung
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=025778753&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-025778753

Datensatz im Suchindex

_version_	1820875445976956928
adam_text	IMAGE 1 TABLE OF CONTENTS FORMAL PATTERNS FOR MULTI-RATE DISTRIBUTED REAL-TIME SYSTEMS 1 KYUNGMIN BAE, JOSE MESEGUER, AND PETER CSABA OLVECZKY COMPONENT INTERFACES WITH CONTRACTS ON PORTS 19 SEBASTIAN BAUER, ROLF HENNICKER, AND AXEL LEGAY AVOIDING DIAMONDS IN DESYNCHRONIZATION 36 HARSH BEOHAR AND PIETER J.L. CUIJPERS THE TALE OF SOLOIST: A SPECIFICATION LANGUAGE FOR SERVICE COMPOSITIONS INTERACTIONS 55 DOMENICO BIANCULLI, CARLO GHEZZI, AND PIERLUIGI SAN PIETRO A CATEGORICAL APPROACH TO STRUCTURING AND PROMOTING Z SPECIFICATIONS 73 PABLO F. CASTRO, NAZARENO AGUIRRE, CARLOS GUSTAVO LOPEZ POMBO, AND TOM MAIBAUM ASSUME-GUARANTEE REASONING FOR SAFE COMPONENT BEHAVIOURS 92 CHRIS CHILTON, BENGT JONSSON, AND MARTA KWIATKOWSKA A PETRI NET BASED ANALYSIS OF DEADLOCKS FOR ACTIVE OBJECTS AND FUTURES 110 FRANK S. DE BOER, MARIO BRAVETTI, IMMO GRABE, MATIAS LEE, MARTIN STEFFEN, AND GIANLUIGI ZAVATTARO RUN-TIME VERIFICATION OF BLACK-BOX COMPONENTS USING BEHAVIORAL SPECIFICATIONS: AN EXPERIENCE REPORT ON TOOL DEVELOPMENT 128 FRANK S. DE BOER AND STIJN DE GOUW SYMBOLIC COUNTEREXAMPLE GENERATION FOR DISCRETE-TIME MARKOV CHAINS 134 NILS JANSEN, ERIKA ABRAHAM, BARNA ZAJZON, RALF WIMMER, JOHANN SCHUSTER, JOOST-PIETER KATOEN, AND BERND BECKER XCD - MODULAR, REALIZABLE SOFTWARE ARCHITECTURES 152 CHRISTOS KLOUKINAS AND MERT OZKAYA LOVER: LIGHT-WEIGHT FORMAL VERIFICATION OF ADAPTIVE SYSTEMS AT RUN TIME 170 AMIR MOLZAM SHARIFLOO AND PAOLA SPOLETINI HTTP://D-NB.INFO/1028418833 IMAGE 2 X TABLE OF CONTENTS A CALCULUS FOR QUALITY 188 HANNE RIIS NIELSON, FLEMMING NIELSON, AND ROBERTO VIGO MODEL CHECKING OF QUALITATIVE SENSITIVITY PREFERENCES TO MINIMIZE CREDENTIAL DISCLOSURE 205 ZACHARY J. OSTER, GANESH RAM SANTHANAM, SAMIK BASU, AND VASANT HONAVAR IBOS: A CORRECT-BY-CONSTRUCTION MODULAR BROWSER 224 RALF SASSE, SAMUEL T. KING, JOSE MESEGUER, AND SHUO TANG GUIDED SEARCH FOR DEADLOCKS IN ACTOR-BASED MODELS 242 STEINAR HUGI SIGURDARSON, MARJAN SIRJANI, YNGVI BJDRNSSON, AND AMI HERMANN REYNISSON ASSUMPTION GENERATION FOR ASYNCHRONOUS SYSTEMS BY ABSTRACTION REFINEMENT 260 QIUSONG YANG, EDMUND M. CLARKE, ANVESH KOMURAVELLI, AND MINGSHU LI AUTHOR INDEX 277
any_adam_object	1
building	Verbundindex
bvnumber	BV040798607
classification_rvk	SS 4800
classification_tum	DAT 510f DAT 310f
ctrlnum	(OCoLC)835343699 (DE-599)DNB1028418833
dewey-full	005.11
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.11
dewey-search	005.11
dewey-sort	15.11
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">BV040798607</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130725</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">130305s2013 xx ad\|\| \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1028418833</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642358608</subfield><subfield code="9">3-642-35860-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642358609</subfield><subfield code="9">978-3-642-35860-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)835343699</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1028418833</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-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.11</subfield><subfield code="2">22/ger</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">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal aspects of component software</subfield><subfield code="b">9th international symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 ; revised selected papers</subfield><subfield code="c">Corina S. Păsăreanu ... (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, 276 S.</subfield><subfield code="b">Ill., 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">7684</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Oslo</subfield><subfield code="2">gnd-content</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="z">Mountain View, Calif.</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="2"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</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">Păsăreanu, Corina S.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FACS</subfield><subfield code="n">9</subfield><subfield code="d">2012</subfield><subfield code="c">Mountain View, CA</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1031962255</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-35861-6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7684</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7684</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=4198069&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Verlagsmeldung</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=025778753&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-025778753</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2011 Oslo gnd-content (DE-588)1071861417 Konferenzschrift 2012 Mountain View, Calif. gnd-content
genre_facet	Konferenzschrift 2011 Oslo Konferenzschrift 2012 Mountain View, Calif.
id	DE-604.BV040798607
illustrated	Illustrated
indexdate	2025-01-10T15:15:45Z
institution	BVB
institution_GND	(DE-588)1031962255
isbn	3642358608 9783642358609
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-025778753
oclc_num	835343699
open_access_boolean
owner	DE-11 DE-83 DE-91G DE-BY-TUM
owner_facet	DE-11 DE-83 DE-91G DE-BY-TUM
physical	X, 276 S. Ill., graph. Darst.
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Formal aspects of component software 9th international symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 ; revised selected papers Corina S. Păsăreanu ... (eds.) Berlin [u.a.] Springer 2013 X, 276 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7684 Formale Methode (DE-588)4333722-3 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Komponente Software (DE-588)4439521-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Oslo gnd-content (DE-588)1071861417 Konferenzschrift 2012 Mountain View, Calif. gnd-content Softwareentwicklung (DE-588)4116522-6 s Komponente Software (DE-588)4439521-8 s Formale Methode (DE-588)4333722-3 s DE-604 Păsăreanu, Corina S. Sonstige oth FACS 9 2012 Mountain View, CA Sonstige (DE-588)1031962255 oth Erscheint auch als Online-Ausgabe 978-3-642-35861-6 Lecture notes in computer science 7684 (DE-604)BV000000607 7684 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4198069&prov=M&dok_var=1&dok_ext=htm Verlagsmeldung DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025778753&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Formal aspects of component software 9th international symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 ; revised selected papers Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Komponente Software (DE-588)4439521-8 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4116522-6 (DE-588)4439521-8 (DE-588)1071861417
title	Formal aspects of component software 9th international symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 ; revised selected papers
title_auth	Formal aspects of component software 9th international symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 ; revised selected papers
title_exact_search	Formal aspects of component software 9th international symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 ; revised selected papers
title_full	Formal aspects of component software 9th international symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 ; revised selected papers Corina S. Păsăreanu ... (eds.)
title_fullStr	Formal aspects of component software 9th international symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 ; revised selected papers Corina S. Păsăreanu ... (eds.)
title_full_unstemmed	Formal aspects of component software 9th international symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 ; revised selected papers Corina S. Păsăreanu ... (eds.)
title_short	Formal aspects of component software
title_sort	formal aspects of component software 9th international symposium facs 2012 mountain view ca usa september 12 14 2012 revised selected papers
title_sub	9th international symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 ; revised selected papers
topic	Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Komponente Software (DE-588)4439521-8 gnd
topic_facet	Formale Methode Softwareentwicklung Komponente Software Konferenzschrift 2011 Oslo Konferenzschrift 2012 Mountain View, Calif.
url	http://deposit.dnb.de/cgi-bin/dokserv?id=4198069&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=025778753&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT pasareanucorinas formalaspectsofcomponentsoftware9thinternationalsymposiumfacs2012mountainviewcausaseptember12142012revisedselectedpapers AT facsmountainviewca formalaspectsofcomponentsoftware9thinternationalsymposiumfacs2012mountainviewcausaseptember12142012revisedselectedpapers

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge