Holdings: Formal aspects of component software

Formal aspects of component software: 8th international symposium, FACS 2011, Oslo, Norway, September 14 - 16, 2011 ; revised selected papers

Saved in:

Bibliographic Details
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin [u.a.] Springer 2012
Series:	Lecture notes in computer science 7253
Subjects:	Formale Methode Softwareentwicklung Komponente > Software Konferenzschrift > 2011 > Oslo
Online Access:	Inhaltstext Inhaltsverzeichnis
Physical Description:	X, 367 S. graph. Darst.
ISBN:	3642357423 9783642357428

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV040636423
003	DE-604
005	20130402
007	t\|
008	121217s2012 gw d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 12,N50 \|2 dnb
016	7		\|a 1028418418 \|2 DE-101
020			\|a 3642357423 \|9 3-642-35742-3
020			\|a 9783642357428 \|c Pb. : EUR 57.78 (DE) (freier Pr.), EUR 59.40 (AT) (freier Pr.), sfr 72.00 (freier Pr.) \|9 978-3-642-35742-8
024	3		\|a 9783642357428
028	5	2	\|a Best.-Nr.: 86206124
035			\|a (OCoLC)823257801
035			\|a (DE-599)DNB1028418418
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-83 \|a DE-91G \|a DE-11
082	0		\|a 005.11 \|2 22/ger
084			\|a DAT 510f \|2 stub
084			\|a 004 \|2 sdnb
084			\|a DAT 310f \|2 stub
245	1	0	\|a Formal aspects of component software \|b 8th international symposium, FACS 2011, Oslo, Norway, September 14 - 16, 2011 ; revised selected papers \|c Farhad Arbab ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2012
300			\|a X, 367 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 7253
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
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 Arbab, Farhad \|d 1952- \|e Sonstige \|0 (DE-588)1022573888 \|4 oth
711	2		\|a FACS \|n 8 \|d 2011 \|c Oslo \|j Sonstige \|0 (DE-588)1029054282 \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-642-35743-5
830		0	\|a Lecture notes in computer science \|v 7253 \|w (DE-604)BV000000607 \|9 7253
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=4198005&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=025463568&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-025463568

Record in the Search Index

_version_	1820875439456911360
adam_text	IMAGE 1 TABLE O F C O N T E N T S TAMING DISTRIBUTED SYSTEM COMPLEXITY THROUGH FORMAL PATTERNS 1 JOSE MESEGUER COMPOSING SAFE SYSTEMS 3 JOHN RUSHBY A DENOTATIONAL MODEL FOR COMPONENT-BASED RISK ANALYSIS 12 GYRD BRCENDELAND, ATLE REFSDAL, AND KETIL ST0LEN SYNTHESIS OF HIERARCHICAL SYSTEMS 42 BENJAMIN AMINOF, FABIO MOGAVERO, AND ANIELLO MURANO A MODAL SPECIFICATION THEORY FOR COMPONENTS WITH D A T A 61 SEBASTIAN S. BAUER, K I M GULDSTRAND LARSEN, AXEL LEGAY, ULRIK NYMAN, AND ANDRZEJ WQSOWSKI EVALUATING THE PERFORMANCE OF MODEL TRANSFORMATION STYLES IN MAUDE 79 ROBERTO BRUNI AND ALBERTO LLUCH LAFUENTE INTERACTIVE TRANSFORMATIONS FROM OBJECT-ORIENTED MODELS T O COMPONENT-BASED MODELS 97 DAN LI, XIAOSHAN LI, ZHIMING LIU, AND VOLKER STOLZ RUNTIME VERIFICATION OF TEMPORAL PATTERNS FOR DYNAMIC RECONFIGURATIONS OF COMPONENTS 115 JULIEN DORMOY, OLGA KOUCHNARENKO, AND ARNAUD LANOIX TIMED CONFORMANCE TESTING FOR ORCHESTRATED SERVICE DISCOVERY 133 JOSE PABLO ESCOBEDO, CHRISTOPHE GASTON, AND PASCALE LE GALL REALIZABILITY OF CHOREOGRAPHIES FOR SERVICES INTERACTING ASYNCHRONOUSLY 151 GREGOR GOSSLER AND GWEN SALAIIN NETWORKS OF REAL-TIME ACTORS: SCHEDULABILITY ANALYSIS AND COORDINATION 168 MOHAMMAD MAHDI JAGHOORI, OLAFUR HLYNSSON, AND MARJAN SIRJANI A FORMAL MODEL OF OBJECT MOBILITY IN RESOURCE-RESTRICTED DEPLOYMENT SCENARIOS 187 EINAR BROCH JOHNSEN, RUDOLF SCHLATTE, AND SILVIA LIZETH TAPIA TARIFA HTTP://D-NB.INFO/1028418418 IMAGE 2 X TABLE OF CONTENTS THE LOGIC OF XACML 205 CARROLINE DEWI PUSPA KENCANA RAMLI, IIANNE RIIS NIELSON, AND FLEMMING NIELSON A PROOF ASSISTANT BASED FORMALIZATION OF M D E COMPONENTS 223 MOUNIRA KEZADRI, BENOIT COMBEMALE, MARC PANTEL, AND XAVIER THIRIOUX CONTROLLING A N ITERATION-WISE COHERENCE IN DATAFLOW 241 SEBASTIEN LIMET, SOPHIE ROBERT, AND AHMED TURKI LEARNING FROM FAILURES: A LIGHTWEIGHT APPROACH T O RUN-TIME BEHAVIOURAL ADAPTATION 259 JOSE ANTONIO MARTIN, ANTONIO BROGI, AND ERNESTO PIMENTEL VERIFYING SAFETY OF FAULT-TOLERANT DISTRIBUTED COMPONENTS 278 RABEA AMEUR-BOULIFA, RALUCA HALALAI, LUDOVIC HENRIO, AND ERIC MADELAINE REDUCING THE MODEL CHECKING COST OF PRODUCT LINES USING STATIC ANALYSIS TECHNIQUES 296 HAMIDEH SABOURI AND RAMTIN KHOSRAVI BIGRAPHICAL MODELLING OF ARCHITECTURAL PATTERNS 313 ALEJANDRO SANCHEZ, LUIS SOARES BARBOSA, AND DANIEL RIESCO COORDINATED EXECUTION OF HETEROGENEOUS SERVICE-ORIENTED COMPONENTS BY ABSTRACT STATE MACHINES 331 DAVIDE BRUGALI, LUCA GHERARDI, ELVINIA RICCOBENE, AND PATRIZIA SCANDURRA VERIFYING TEMPORAL PROPERTIES OF USE-CASES IN NATURAL LANGUAGE 350 VILIAM SIMKO, DAVID HAUZAR, TOMAS BURES, PETR HNETYNKA, AND FRANTISEK PLASIL A U T H O R I N D E X 369
any_adam_object	1
author_GND	(DE-588)1022573888
building	Verbundindex
bvnumber	BV040636423
classification_rvk	SS 4800
classification_tum	DAT 510f DAT 310f
ctrlnum	(OCoLC)823257801 (DE-599)DNB1028418418
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">BV040636423</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130402</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">121217s2012 gw d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N50</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1028418418</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642357423</subfield><subfield code="9">3-642-35742-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642357428</subfield><subfield code="c">Pb. : EUR 57.78 (DE) (freier Pr.), EUR 59.40 (AT) (freier Pr.), sfr 72.00 (freier Pr.)</subfield><subfield code="9">978-3-642-35742-8</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642357428</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86206124</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)823257801</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1028418418</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-83</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</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">004</subfield><subfield code="2">sdnb</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">8th international symposium, FACS 2011, Oslo, Norway, September 14 - 16, 2011 ; revised selected papers</subfield><subfield code="c">Farhad Arbab ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 367 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">7253</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="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">Arbab, Farhad</subfield><subfield code="d">1952-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1022573888</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FACS</subfield><subfield code="n">8</subfield><subfield code="d">2011</subfield><subfield code="c">Oslo</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1029054282</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-35743-5</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7253</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7253</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=4198005&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=025463568&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-025463568</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2011 Oslo gnd-content
genre_facet	Konferenzschrift 2011 Oslo
id	DE-604.BV040636423
illustrated	Illustrated
indexdate	2025-01-10T15:15:38Z
institution	BVB
institution_GND	(DE-588)1029054282
isbn	3642357423 9783642357428
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-025463568
oclc_num	823257801
open_access_boolean
owner	DE-706 DE-83 DE-91G DE-BY-TUM DE-11
owner_facet	DE-706 DE-83 DE-91G DE-BY-TUM DE-11
physical	X, 367 S. graph. Darst.
publishDate	2012
publishDateSearch	2012
publishDateSort	2012
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Formal aspects of component software 8th international symposium, FACS 2011, Oslo, Norway, September 14 - 16, 2011 ; revised selected papers Farhad Arbab ... (eds.) Berlin [u.a.] Springer 2012 X, 367 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7253 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 Softwareentwicklung (DE-588)4116522-6 s Komponente Software (DE-588)4439521-8 s Formale Methode (DE-588)4333722-3 s DE-604 Arbab, Farhad 1952- Sonstige (DE-588)1022573888 oth FACS 8 2011 Oslo Sonstige (DE-588)1029054282 oth Erscheint auch als Online-Ausgabe 978-3-642-35743-5 Lecture notes in computer science 7253 (DE-604)BV000000607 7253 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4198005&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=025463568&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Formal aspects of component software 8th international symposium, FACS 2011, Oslo, Norway, September 14 - 16, 2011 ; 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 8th international symposium, FACS 2011, Oslo, Norway, September 14 - 16, 2011 ; revised selected papers
title_auth	Formal aspects of component software 8th international symposium, FACS 2011, Oslo, Norway, September 14 - 16, 2011 ; revised selected papers
title_exact_search	Formal aspects of component software 8th international symposium, FACS 2011, Oslo, Norway, September 14 - 16, 2011 ; revised selected papers
title_full	Formal aspects of component software 8th international symposium, FACS 2011, Oslo, Norway, September 14 - 16, 2011 ; revised selected papers Farhad Arbab ... (eds.)
title_fullStr	Formal aspects of component software 8th international symposium, FACS 2011, Oslo, Norway, September 14 - 16, 2011 ; revised selected papers Farhad Arbab ... (eds.)
title_full_unstemmed	Formal aspects of component software 8th international symposium, FACS 2011, Oslo, Norway, September 14 - 16, 2011 ; revised selected papers Farhad Arbab ... (eds.)
title_short	Formal aspects of component software
title_sort	formal aspects of component software 8th international symposium facs 2011 oslo norway september 14 16 2011 revised selected papers
title_sub	8th international symposium, FACS 2011, Oslo, Norway, September 14 - 16, 2011 ; 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
url	http://deposit.dnb.de/cgi-bin/dokserv?id=4198005&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=025463568&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT arbabfarhad formalaspectsofcomponentsoftware8thinternationalsymposiumfacs2011oslonorwayseptember14162011revisedselectedpapers AT facsoslo formalaspectsofcomponentsoftware8thinternationalsymposiumfacs2011oslonorwayseptember14162011revisedselectedpapers

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