Holdings: 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

Saved in:

Bibliographic Details
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Berlin [u.a.] Springer 2013
Series:	Lecture notes in computer science 7684
Subjects:	Formale Methode Softwareentwicklung Komponente > Software Konferenzschrift > 2012 > Mountain View, CA
Online Access:	Volltext Inhaltsverzeichnis Abstract
Physical Description:	1 Online-Ressource (X, 276 S.) Ill., graph. Darst.
ISBN:	3642358608 9783642358609 9783642358616
DOI:	10.1007/978-3-642-35861-6

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV040915022
003	DE-604
005	20130725
007	cr\|uuu---uuuuu
008	130327s2013 xx ad\|\| o\|\|\|\| 00\|\|\| eng d
020			\|a 3642358608 \|9 3-642-35860-8
020			\|a 9783642358609 \|9 978-3-642-35860-9
020			\|a 9783642358616 \|c Online \|9 978-3-642-35861-6
024	7		\|a 10.1007/978-3-642-35861-6 \|2 doi
035			\|a (OCoLC)835343699
035			\|a (DE-599)BVBBV040915022
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
049			\|a DE-473 \|a DE-20 \|a DE-91 \|a DE-706 \|a DE-739 \|a DE-384 \|a DE-M347 \|a DE-703 \|a DE-29 \|a DE-92 \|a DE-Aug4 \|a DE-859 \|a DE-634 \|a DE-355
082	0		\|a 005.11 \|2 22//ger
084			\|a DAT 510f \|2 stub
084			\|a DAT 310f \|2 stub
084			\|a DAT 000 \|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 1 Online-Ressource (X, 276 S.) \|b Ill., graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|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 2012 \|z Mountain View, CA \|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
830		0	\|a Lecture notes in computer science \|v 7684 \|w (DE-604)BV014880109 \|9 7684
856	4	0	\|u https://doi.org/10.1007/978-3-642-35861-6 \|x Verlag \|3 Volltext
856	4	2	\|m Springer Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025894271&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
856	4	2	\|m Springer Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025894271&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-LNC
912			\|a ZDB-2-SCS
943	1		\|a oai:aleph.bib-bvb.de:BVB01-025894271

Record in the Search Index

_version_	1820875450509950976
adam_text	FORMAL ASPECTS OF COMPONENT SOFTWARE / : 2013 TABLE OF CONTENTS / INHALTSVERZEICHNIS FORMAL MODELS FOR SOFTWARE COMPONENTS AND THEIR INTERACTION FORMAL ASPECTS OF SERVICES, SERVICE ORIENTED ARCHITECTURES, BUSINESS PROCESSES, AND CLOUD COMPUTING DESIGN AND VERIFICATION METHODS FOR SOFTWARE COMPONENTS AND SERVICES COMPOSITION AND DEPLOYMENT: MODELS, CALCULI, LANGUAGES; FORMAL METHODS AND MODELING LANGUAGES FOR COMPONENTS AND SERVICES MODEL BASED AND GUI BASED TESTING OF COMPONENTS AND SERVICES MODELS FOR QOS AND OTHER EXTRA-FUNCTIONAL PROPERTIES (E.G., TRUST, COMPLIANCE, SECURITY) OF COMPONENTS AND SERVICES COMPONENTS FOR REAL-TIME, SAFETY-CRITICAL, SECURE, AND/OR EMBEDDED SYSTEMS INDUSTRIAL OR EXPERIENCE REPORTS AND CASE STUDIES UPDATE AND RECONFIGURATION OF COMPONENT AND SERVICE ARCHITECTURES COMPONENT SYSTEMS EVOLUTION AND MAINTENANCE AUTONOMIC COMPONENTS AND SELF-MANAGED APPLICATIONS FORMAL AND RIGOROUS APPROACHES TO SOFTWARE ADAPTATION AND SELF-ADAPTIVE SYSTEMS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. FORMAL ASPECTS OF COMPONENT SOFTWARE / : 2013 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE REVISED SELECTED PAPERS OF THE 9TH INTERNATIONAL SYMPOSIUM ON FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2012, HELD IN MOUNTAIN VIEW, CA, USA IN SEPTEMBER 2012. THE 16 FULL PAPERS PRESENTED WERE CAREFULLY REVIEWED AND SELECTED FROM 40 SUBMISSIONS. THEY COVER TOPICS SUCH AS FORMAL MODELS FOR SOFTWARE COMPONENTS AND THEIR INTERACTION; FORMAL ASPECTS OF SERVICES, SERVICE ORIENTED ARCHITECTURES, BUSINESS PROCESSES, AND CLOUD COMPUTING; DESIGN AND VERIFICATION METHODS FOR SOFTWARE COMPONENTS AND SERVICES; COMPOSITION AND DEPLOYMENT: MODELS, CALCULI, LANGUAGES; FORMAL METHODS AND MODELING LANGUAGES FOR COMPONENTS AND SERVICES; MODEL BASED AND GUI BASED TESTING OF COMPONENTS AND SERVICES; MODELS FOR QOS AND OTHER EXTRA-FUNCTIONAL PROPERTIES (E.G., TRUST, COMPLIANCE, SECURITY) OF COMPONENTS AND SERVICES; COMPONENTS FOR REAL-TIME, SAFETY-CRITICAL, SECURE, AND/OR EMBEDDED SYSTEMS; INDUSTRIAL OR EXPERIENCE REPORTS AND CASE STUDIES; UPDATE AND RECONFIGURATION OF COMPONENT AND SERVICE ARCHITECTURES; COMPONENT SYSTEMS EVOLUTION AND MAINTENANCE; AUTONOMIC COMPONENTS AND SELF-MANAGED APPLICATIONS; FORMAL AND RIGOROUS APPROACHES TO SOFTWARE ADAPTATION AND SELF-ADAPTIVE SYSTEMS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
building	Verbundindex
bvnumber	BV040915022
classification_rvk	SS 4800
classification_tum	DAT 510f DAT 310f DAT 000
collection	ZDB-2-LNC ZDB-2-SCS
ctrlnum	(OCoLC)835343699 (DE-599)BVBBV040915022
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
doi_str_mv	10.1007/978-3-642-35861-6
format	Electronic Conference Proceeding eBook
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">BV040915022</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130725</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">130327s2013 xx ad\|\| o\|\|\|\| 00\|\|\| eng d</controlfield><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="020" ind1=" " ind2=" "><subfield code="a">9783642358616</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-35861-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-35861-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)835343699</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040915022</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-473</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</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="084" ind1=" " ind2=" "><subfield code="a">DAT 000</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">1 Online-Ressource (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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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">2012</subfield><subfield code="z">Mountain View, CA</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="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7684</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7684</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-35861-6</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=025894271&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=025894271&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025894271</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2012 Mountain View, CA gnd-content
genre_facet	Konferenzschrift 2012 Mountain View, CA
id	DE-604.BV040915022
illustrated	Illustrated
indexdate	2025-01-10T15:15:49Z
institution	BVB
institution_GND	(DE-588)1031962255
isbn	3642358608 9783642358609 9783642358616
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-025894271
oclc_num	835343699
open_access_boolean
owner	DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-Aug4 DE-859 DE-634 DE-355 DE-BY-UBR
owner_facet	DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-Aug4 DE-859 DE-634 DE-355 DE-BY-UBR
physical	1 Online-Ressource (X, 276 S.) Ill., graph. Darst.
psigel	ZDB-2-LNC ZDB-2-SCS
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 1 Online-Ressource (X, 276 S.) Ill., graph. Darst. txt rdacontent c rdamedia cr 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 2012 Mountain View, CA 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 Lecture notes in computer science 7684 (DE-604)BV014880109 7684 https://doi.org/10.1007/978-3-642-35861-6 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025894271&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025894271&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract
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 2012 Mountain View, CA
url	https://doi.org/10.1007/978-3-642-35861-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025894271&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025894271&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT pasareanucorinas formalaspectsofcomponentsoftware9thinternationalsymposiumfacs2012mountainviewcausaseptember12142012revisedselectedpapers AT facsmountainviewca formalaspectsofcomponentsoftware9thinternationalsymposiumfacs2012mountainviewcausaseptember12142012revisedselectedpapers

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text

MARC

Record in the Search Index

There is no print copy available.

Similar Items