Formal aspects of component software: 9th international symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 ; revised selected papers
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schriftenreihe: | Lecture notes in computer science
7684 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (X, 276 S.) Ill., graph. Darst. |
| ISBN: | 3642358608 9783642358609 9783642358616 |
| DOI: | 10.1007/978-3-642-35861-6 |
Internformat
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 | |
Datensatz im Suchindex
| _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 |