Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : Revised Selected Papers
Gespeichert in:
| Weitere Verfasser: | , , |
|---|---|
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Heidelberg
Springer
[2015]
|
| Schriftenreihe: | Lecture Notes in Computer Science
9509 |
| Schlagworte: | |
| Online-Zugang: | Volltext Abstract Inhaltsverzeichnis |
| Beschreibung: | 1 Online Ressource (XXIX, 323 Seiten) Illustrationen |
| ISBN: | 9783662492246 9783662492239 |
| DOI: | 10.1007/978-3-662-49224-6 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043408658 | ||
| 003 | DE-604 | ||
| 005 | 20160531 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 160225s2015 xx a||| o|||| 10||| eng d | ||
| 020 | |a 9783662492246 |c Online |9 978-3-662-49224-6 | ||
| 020 | |a 9783662492239 |c Print |9 978-3-662-49223-9 | ||
| 024 | 7 | |a 10.1007/978-3-662-49224-6 |2 doi | |
| 035 | |a (OCoLC)936816976 | ||
| 035 | |a (DE-599)BVBBV043408658 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-Aug4 |a DE-859 |a DE-473 |a DE-29 |a DE-20 |a DE-92 |a DE-384 |a DE-573 |a DE-M347 |a DE-703 |a DE-706 |a DE-739 |a DE-634 |a DE-861 |a DE-860 |a DE-355 | ||
| 082 | 0 | |a 005.7 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Software Engineering and Formal Methods |b SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : Revised Selected Papers |c Domenico Bianculli, Radu Calinescu, Bernhard Rumpe (Eds.) |
| 264 | 1 | |a Berlin ; Heidelberg |b Springer |c [2015] | |
| 264 | 4 | |c © 2015 | |
| 300 | |a 1 Online Ressource (XXIX, 323 Seiten) |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 9509 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computers | |
| 650 | 4 | |a Algorithms | |
| 650 | 4 | |a Mathematical statistics | |
| 650 | 4 | |a Database management | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Information Systems Applications (incl. Internet) | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Algorithm Analysis and Problem Complexity | |
| 650 | 4 | |a Probability and Statistics in Computer Science | |
| 650 | 4 | |a Computation by Abstract Devices | |
| 650 | 4 | |a Database Management | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Dienstekomposition |0 (DE-588)7859268-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissensmanagement |0 (DE-588)4561842-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwaretest |0 (DE-588)4132652-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | 2 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 0 | 3 | |a Wissensmanagement |0 (DE-588)4561842-2 |D s |
| 689 | 0 | 4 | |a Dienstekomposition |0 (DE-588)7859268-9 |D s |
| 689 | 0 | 5 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Bianculli, Domenico |4 edt | |
| 700 | 1 | |a Calinescu, Radu C. |d 1968- |0 (DE-588)121848892 |4 edt | |
| 700 | 1 | |a Rumpe, Bernhard |d 1967- |0 (DE-588)113726414 |4 edt | |
| 711 | 2 | |a SEFM |n 13. |d 2015 |c York |0 (DE-588)1076295770 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9509 |w (DE-604)BV014880109 |9 9509 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-662-49224-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=028827005&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 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=028827005&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-028827005 | |
Datensatz im Suchindex
| _version_ | 1820875672280629248 |
|---|---|
| adam_text |
SOFTWARE ENGINEERING AND FORMAL METHODS
/
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES REVISED SELECTED PAPERS FROM THE WORKSHOPS
COLLOCATED WITH THE SEFM 2015 CONFERENCE ON SOFTWARE ENGINEERING AND
FORMAL METHODS, HELD IN YORK, UK, IN SEPTEMBER 2015. THE 25 PAPERS
INCLUDED IN THIS VOLUME WERE CAREFULLY REVIEWED AND SELECTED FROM 32
SUBMISSIONS. THE SATELLITE WORKSHOPS PROVIDED A HIGHLY INTERACTIVE AND
COLLABORATIVE ENVIRONMENT FOR RESEARCHERS AND PRACTITIONERS FROM
INDUSTRY AND ACADEMIA TO DISCUSS EMERGING AREAS OF SOFTWARE ENGINEERING
AND FORMAL METHODS. THE FOUR WORKSHOPS WERE: ATSE 2015: THE 6TH WORKSHOP
ON AUTOMATING TEST CASE DESIGN, SELECTION AND EVALUATION; HOFM 2015: THE
2ND HUMAN-ORIENTED FORMAL METHODS WORKSHOP; MOKMASD 2015: THE 4TH
INTERNATIONAL SYMPOSIUM ON MODELLING AND KNOWLEDGE MANAGEMENT
APPLICATIONS: SYSTEMS AND DOMAINS; VERY*SCART 2015: THE 1ST
INTERNATIONAL WORKSHOP ON THE ART OF SERVICE COMPOSITION AND FORMAL
VERIFICATION FOR SELF-* SYSTEMS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
SOFTWARE ENGINEERING AND FORMAL METHODS
/
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
AUTOMATING TEST CASE DESIGN, SELECTION AND EVALUATION
HUMAN-ORIENTED FORMAL METHODS
MODELLING AND KNOWLEDGE MANAGEMENT APPLICATIONS: SYSTEMS AND DOMAINS
ART OF SERVICE COMPOSITION AND FORMAL VERIFICATION FOR SELF-* SYSTEMS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| author2 | Bianculli, Domenico Calinescu, Radu C. 1968- Rumpe, Bernhard 1967- |
| author2_role | edt edt edt |
| author2_variant | d b db r c c rc rcc b r br |
| author_GND | (DE-588)121848892 (DE-588)113726414 |
| author_facet | Bianculli, Domenico Calinescu, Radu C. 1968- Rumpe, Bernhard 1967- |
| building | Verbundindex |
| bvnumber | BV043408658 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)936816976 (DE-599)BVBBV043408658 |
| dewey-full | 005.7 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.7 |
| dewey-search | 005.7 |
| dewey-sort | 15.7 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-662-49224-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 a2200000zcb4500</leader><controlfield tag="001">BV043408658</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160531</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">160225s2015 xx a||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662492246</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-662-49224-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662492239</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-662-49223-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-49224-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)936816976</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043408658</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-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.7</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">Software Engineering and Formal Methods</subfield><subfield code="b">SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : Revised Selected Papers</subfield><subfield code="c">Domenico Bianculli, Radu Calinescu, Bernhard Rumpe (Eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg</subfield><subfield code="b">Springer</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">1 Online Ressource (XXIX, 323 Seiten)</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">9509</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithms</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical statistics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Database management</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information Systems Applications (incl. Internet)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithm Analysis and Problem Complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Probability and Statistics in Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computation by Abstract Devices</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Database Management</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</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">Dienstekomposition</subfield><subfield code="0">(DE-588)7859268-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissensmanagement</subfield><subfield code="0">(DE-588)4561842-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</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="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="2"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Wissensmanagement</subfield><subfield code="0">(DE-588)4561842-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Dienstekomposition</subfield><subfield code="0">(DE-588)7859268-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</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">Bianculli, Domenico</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Calinescu, Radu C.</subfield><subfield code="d">1968-</subfield><subfield code="0">(DE-588)121848892</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rumpe, Bernhard</subfield><subfield code="d">1967-</subfield><subfield code="0">(DE-588)113726414</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">SEFM</subfield><subfield code="n">13.</subfield><subfield code="d">2015</subfield><subfield code="c">York</subfield><subfield code="0">(DE-588)1076295770</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">9509</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9509</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-49224-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=028827005&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</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=028827005&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028827005</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043408658 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:19:21Z |
| institution | BVB |
| institution_GND | (DE-588)1076295770 |
| isbn | 9783662492246 9783662492239 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028827005 |
| oclc_num | 936816976 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-859 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-384 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634 DE-861 DE-860 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-859 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-384 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634 DE-861 DE-860 DE-355 DE-BY-UBR |
| physical | 1 Online Ressource (XXIX, 323 Seiten) Illustrationen |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : Revised Selected Papers Domenico Bianculli, Radu Calinescu, Bernhard Rumpe (Eds.) Berlin ; Heidelberg Springer [2015] © 2015 1 Online Ressource (XXIX, 323 Seiten) Illustrationen txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9509 Computer science Computers Algorithms Mathematical statistics Database management Artificial intelligence Computer Science Information Systems Applications (incl. Internet) Artificial Intelligence (incl. Robotics) Algorithm Analysis and Problem Complexity Probability and Statistics in Computer Science Computation by Abstract Devices Database Management Informatik Künstliche Intelligenz Formale Methode (DE-588)4333722-3 gnd rswk-swf Dienstekomposition (DE-588)7859268-9 gnd rswk-swf Wissensmanagement (DE-588)4561842-2 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Software Engineering (DE-588)4116521-4 s Formale Methode (DE-588)4333722-3 s Softwaretest (DE-588)4132652-0 s Wissensmanagement (DE-588)4561842-2 s Dienstekomposition (DE-588)7859268-9 s Verifikation (DE-588)4135577-5 s DE-604 Bianculli, Domenico edt Calinescu, Radu C. 1968- (DE-588)121848892 edt Rumpe, Bernhard 1967- (DE-588)113726414 edt SEFM 13. 2015 York (DE-588)1076295770 oth Lecture Notes in Computer Science 9509 (DE-604)BV014880109 9509 https://doi.org/10.1007/978-3-662-49224-6 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028827005&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028827005&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : Revised Selected Papers Lecture Notes in Computer Science Computer science Computers Algorithms Mathematical statistics Database management Artificial intelligence Computer Science Information Systems Applications (incl. Internet) Artificial Intelligence (incl. Robotics) Algorithm Analysis and Problem Complexity Probability and Statistics in Computer Science Computation by Abstract Devices Database Management Informatik Künstliche Intelligenz Formale Methode (DE-588)4333722-3 gnd Dienstekomposition (DE-588)7859268-9 gnd Wissensmanagement (DE-588)4561842-2 gnd Softwaretest (DE-588)4132652-0 gnd Software Engineering (DE-588)4116521-4 gnd Verifikation (DE-588)4135577-5 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)7859268-9 (DE-588)4561842-2 (DE-588)4132652-0 (DE-588)4116521-4 (DE-588)4135577-5 (DE-588)1071861417 |
| title | Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : Revised Selected Papers |
| title_auth | Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : Revised Selected Papers |
| title_exact_search | Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : Revised Selected Papers |
| title_full | Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : Revised Selected Papers Domenico Bianculli, Radu Calinescu, Bernhard Rumpe (Eds.) |
| title_fullStr | Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : Revised Selected Papers Domenico Bianculli, Radu Calinescu, Bernhard Rumpe (Eds.) |
| title_full_unstemmed | Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : Revised Selected Papers Domenico Bianculli, Radu Calinescu, Bernhard Rumpe (Eds.) |
| title_short | Software Engineering and Formal Methods |
| title_sort | software engineering and formal methods sefm 2015 collocated workshops atse hofm mokmasd and very scart york uk september 7 8 2015 revised selected papers |
| title_sub | SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : Revised Selected Papers |
| topic | Computer science Computers Algorithms Mathematical statistics Database management Artificial intelligence Computer Science Information Systems Applications (incl. Internet) Artificial Intelligence (incl. Robotics) Algorithm Analysis and Problem Complexity Probability and Statistics in Computer Science Computation by Abstract Devices Database Management Informatik Künstliche Intelligenz Formale Methode (DE-588)4333722-3 gnd Dienstekomposition (DE-588)7859268-9 gnd Wissensmanagement (DE-588)4561842-2 gnd Softwaretest (DE-588)4132652-0 gnd Software Engineering (DE-588)4116521-4 gnd Verifikation (DE-588)4135577-5 gnd |
| topic_facet | Computer science Computers Algorithms Mathematical statistics Database management Artificial intelligence Computer Science Information Systems Applications (incl. Internet) Artificial Intelligence (incl. Robotics) Algorithm Analysis and Problem Complexity Probability and Statistics in Computer Science Computation by Abstract Devices Database Management Informatik Künstliche Intelligenz Formale Methode Dienstekomposition Wissensmanagement Softwaretest Software Engineering Verifikation Konferenzschrift |
| url | https://doi.org/10.1007/978-3-662-49224-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028827005&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=028827005&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT biancullidomenico softwareengineeringandformalmethodssefm2015collocatedworkshopsatsehofmmokmasdandveryscartyorkukseptember782015revisedselectedpapers AT calinescuraduc softwareengineeringandformalmethodssefm2015collocatedworkshopsatsehofmmokmasdandveryscartyorkukseptember782015revisedselectedpapers AT rumpebernhard softwareengineeringandformalmethodssefm2015collocatedworkshopsatsehofmmokmasdandveryscartyorkukseptember782015revisedselectedpapers AT sefmyork softwareengineeringandformalmethodssefm2015collocatedworkshopsatsehofmmokmasdandveryscartyorkukseptember782015revisedselectedpapers |