Dependable software engineering: theories, tools, and applications : first international symposium, SETTA 2015, Nanjing, China, November 4 - 6, 2015 : proceedings
Saved in:
| Other Authors: | |
|---|---|
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Cham
Springer International Publishing
[2015]
|
| Edition: | 1st ed. |
| Series: | Lecture Notes in Computer Science
9409 |
| Subjects: | |
| Online Access: | Volltext Abstract |
| Physical Description: | XIX, 317Seiten Illustrationen |
| ISBN: | 9783319259420 9783319259413 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-25942-0 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043209557 | ||
| 003 | DE-604 | ||
| 005 | 20160120 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151215s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319259420 |c Online |9 978-3-319-25942-0 | ||
| 020 | |a 9783319259413 |c Print |9 978-3-319-25941-3 | ||
| 024 | 7 | |a 10.1007/978-3-319-25942-0 |2 doi | |
| 035 | |a (OCoLC)930006099 | ||
| 035 | |a (DE-599)BVBBV043209557 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Dependable software engineering |b theories, tools, and applications : first international symposium, SETTA 2015, Nanjing, China, November 4 - 6, 2015 : proceedings |c edited by Xuandong Li, Zhiming Liu, Wang Yi |
| 250 | |a 1st ed. | ||
| 264 | 1 | |a Cham |b Springer International Publishing |c [2015] | |
| 264 | 4 | |c © 2015 | |
| 300 | |a XIX, 317Seiten |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 9409 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Computer simulation | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Simulation and Modeling | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Informatik | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Li, Xuandong |0 (DE-588)1078639256 |4 edt | |
| 711 | 2 | |a SETTA |n 1. |d 2015 |c Nanjing |j Sonstige |0 (DE-588)1078645221 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9409 |w (DE-604)BV014880109 |9 9409 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-25942-0 |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=028632718&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028632718 | ||
Record in the Search Index
| _version_ | 1804175708674588672 |
|---|---|
| adam_text | DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS, AND APPLICATIONS
/
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE FIRST
INTERNATIONAL SYMPOSIUM ON DEPENDABLE SOFTWARE ENGINEERING: THEORIES,
TOOLS, AND APPLICATIONS, SETTA 2015, HELD IN NANJING, CHINA, IN NOVEMBER
2015. THE 20 FULL PAPERS PRESENTED TOGETHER WITH 3 INVITED TALKS WERE
CAREFULLY REVIEWED AND SELECTED FROM 60 SUBMISSIONS.THE PAPERS ARE
ORGANIZED ON TOPICAL SECTIONS ON PROBABILISTIC SYSTEMS; HYBRID AND
CYBER-PHYSICAL SYSTEMS; TESTING, SIMULATION AND INFERENCE; BISIMULATION
AND CORRECTNESS; DESIGN AND IMPLEMENTATION; SYMBOLIC EXECUTION AND
INVARIANTS; AND VERIFICATION AND CASE STUDIES
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author2 | Li, Xuandong |
| author2_role | edt |
| author2_variant | x l xl |
| author_GND | (DE-588)1078639256 |
| author_facet | Li, Xuandong |
| building | Verbundindex |
| bvnumber | BV043209557 |
| classification_tum | DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)930006099 (DE-599)BVBBV043209557 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-25942-0 |
| edition | 1st ed. |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02414nmm a2200577zcb4500</leader><controlfield tag="001">BV043209557</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160120 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151215s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319259420</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-25942-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319259413</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-25941-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-25942-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)930006099</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043209557</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</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">Dependable software engineering</subfield><subfield code="b">theories, tools, and applications : first international symposium, SETTA 2015, Nanjing, China, November 4 - 6, 2015 : proceedings</subfield><subfield code="c">edited by Xuandong Li, Zhiming Liu, Wang Yi</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">[2015]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIX, 317Seiten</subfield><subfield code="b">Illustrationen</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">9409</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer simulation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Simulation and Modeling</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Li, Xuandong</subfield><subfield code="0">(DE-588)1078639256</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">SETTA</subfield><subfield code="n">1.</subfield><subfield code="d">2015</subfield><subfield code="c">Nanjing</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1078645221</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">9409</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9409</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-25942-0</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=028632718&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028632718</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043209557 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:20:35Z |
| institution | BVB |
| institution_GND | (DE-588)1078645221 |
| isbn | 9783319259420 9783319259413 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028632718 |
| oclc_num | 930006099 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | XIX, 317Seiten Illustrationen |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer International Publishing |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Dependable software engineering theories, tools, and applications : first international symposium, SETTA 2015, Nanjing, China, November 4 - 6, 2015 : proceedings edited by Xuandong Li, Zhiming Liu, Wang Yi 1st ed. Cham Springer International Publishing [2015] © 2015 XIX, 317Seiten Illustrationen txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9409 0302-9743 Computer science Software engineering Computer logic Mathematical logic Computer simulation Computer Science Software Engineering Logics and Meanings of Programs Simulation and Modeling Mathematical Logic and Formal Languages Informatik (DE-588)1071861417 Konferenzschrift gnd-content Li, Xuandong (DE-588)1078639256 edt SETTA 1. 2015 Nanjing Sonstige (DE-588)1078645221 oth Lecture Notes in Computer Science 9409 (DE-604)BV014880109 9409 https://doi.org/10.1007/978-3-319-25942-0 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632718&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Dependable software engineering theories, tools, and applications : first international symposium, SETTA 2015, Nanjing, China, November 4 - 6, 2015 : proceedings Lecture Notes in Computer Science Computer science Software engineering Computer logic Mathematical logic Computer simulation Computer Science Software Engineering Logics and Meanings of Programs Simulation and Modeling Mathematical Logic and Formal Languages Informatik |
| subject_GND | (DE-588)1071861417 |
| title | Dependable software engineering theories, tools, and applications : first international symposium, SETTA 2015, Nanjing, China, November 4 - 6, 2015 : proceedings |
| title_auth | Dependable software engineering theories, tools, and applications : first international symposium, SETTA 2015, Nanjing, China, November 4 - 6, 2015 : proceedings |
| title_exact_search | Dependable software engineering theories, tools, and applications : first international symposium, SETTA 2015, Nanjing, China, November 4 - 6, 2015 : proceedings |
| title_full | Dependable software engineering theories, tools, and applications : first international symposium, SETTA 2015, Nanjing, China, November 4 - 6, 2015 : proceedings edited by Xuandong Li, Zhiming Liu, Wang Yi |
| title_fullStr | Dependable software engineering theories, tools, and applications : first international symposium, SETTA 2015, Nanjing, China, November 4 - 6, 2015 : proceedings edited by Xuandong Li, Zhiming Liu, Wang Yi |
| title_full_unstemmed | Dependable software engineering theories, tools, and applications : first international symposium, SETTA 2015, Nanjing, China, November 4 - 6, 2015 : proceedings edited by Xuandong Li, Zhiming Liu, Wang Yi |
| title_short | Dependable software engineering |
| title_sort | dependable software engineering theories tools and applications first international symposium setta 2015 nanjing china november 4 6 2015 proceedings |
| title_sub | theories, tools, and applications : first international symposium, SETTA 2015, Nanjing, China, November 4 - 6, 2015 : proceedings |
| topic | Computer science Software engineering Computer logic Mathematical logic Computer simulation Computer Science Software Engineering Logics and Meanings of Programs Simulation and Modeling Mathematical Logic and Formal Languages Informatik |
| topic_facet | Computer science Software engineering Computer logic Mathematical logic Computer simulation Computer Science Software Engineering Logics and Meanings of Programs Simulation and Modeling Mathematical Logic and Formal Languages Informatik Konferenzschrift |
| url | https://doi.org/10.1007/978-3-319-25942-0 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632718&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT lixuandong dependablesoftwareengineeringtheoriestoolsandapplicationsfirstinternationalsymposiumsetta2015nanjingchinanovember462015proceedings AT settananjing dependablesoftwareengineeringtheoriestoolsandapplicationsfirstinternationalsymposiumsetta2015nanjingchinanovember462015proceedings |