Testing software and systems: 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, proceedings
Gespeichert in:
Körperschaft: | |
---|---|
Weitere Verfasser: | |
Format: | Elektronisch Tagungsbericht E-Book |
Sprache: | English |
Veröffentlicht: |
Cham
Springer International Publishing
[2015]
|
Ausgabe: | 1st ed. |
Schriftenreihe: | Lecture Notes in Computer Science
9447 |
Schlagworte: | |
Online-Zugang: | Volltext Abstract |
Beschreibung: | XIV, 269 Seiten Illustrationen |
ISBN: | 9783319259451 9783319259444 |
ISSN: | 0302-9743 |
DOI: | 10.1007/978-3-319-25945-1 |
Internformat
MARC
LEADER | 00000nmm a2200000zcb4500 | ||
---|---|---|---|
001 | BV043209558 | ||
003 | DE-604 | ||
005 | 20181031 | ||
006 | a |||| 10||| | ||
007 | cr|uuu---uuuuu | ||
008 | 151215s2015 |||| o||u| ||||||eng d | ||
020 | |a 9783319259451 |c Online |9 978-3-319-25945-1 | ||
020 | |a 9783319259444 |c Print |9 978-3-319-25944-4 | ||
024 | 7 | |a 10.1007/978-3-319-25945-1 |2 doi | |
035 | |a (OCoLC)932033261 | ||
035 | |a (DE-599)BVBBV043209558 | ||
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 | ||
084 | |a DAT 330f |2 stub | ||
111 | 2 | |a ICTSS |n 27. |d 2015 |c Sharja; Dubai, Stadt |j Verfasser |0 (DE-588)1079295763 |4 aut | |
245 | 1 | 0 | |a Testing software and systems |b 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, proceedings |c edited by Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko |
250 | |a 1st ed. | ||
264 | 1 | |a Cham |b Springer International Publishing |c [2015] | |
264 | 4 | |c © 2015 | |
300 | |a XIV, 269 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 9447 |x 0302-9743 | |
650 | 4 | |a Computer science | |
650 | 4 | |a Computer communication systems | |
650 | 4 | |a Special purpose computers | |
650 | 4 | |a Software engineering | |
650 | 4 | |a Programming languages (Electronic computers) | |
650 | 4 | |a Computer logic | |
650 | 4 | |a Management information systems | |
650 | 4 | |a Computer Science | |
650 | 4 | |a Software Engineering | |
650 | 4 | |a Computer Communication Networks | |
650 | 4 | |a Programming Languages, Compilers, Interpreters | |
650 | 4 | |a Special Purpose and Application-Based Systems | |
650 | 4 | |a Logics and Meanings of Programs | |
650 | 4 | |a Management of Computing and Information Systems | |
650 | 4 | |a Informatik | |
650 | 0 | 7 | |a Eingebettetes System |0 (DE-588)4396978-1 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Testen |0 (DE-588)4367264-4 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Kommunikationssystem |0 (DE-588)4125542-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 Verteiltes System |0 (DE-588)4238872-7 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2015 |z Sharja, Dubai, Stadt |2 gnd-content | |
689 | 0 | 0 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
689 | 0 | 1 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
689 | 0 | 2 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
689 | 1 | 1 | |a Kommunikationssystem |0 (DE-588)4125542-2 |D s |
689 | 1 | 2 | |a Testen |0 (DE-588)4367264-4 |D s |
689 | 1 | 3 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
689 | 1 | |8 1\p |5 DE-604 | |
700 | 1 | |a El-Fakih, Khaled |0 (DE-588)1079302735 |4 edt | |
830 | 0 | |a Lecture Notes in Computer Science |v 9447 |w (DE-604)BV014880109 |9 9447 | |
856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-25945-1 |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=028632719&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-028632719 | ||
883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk |
Datensatz im Suchindex
_version_ | 1804175708677734400 |
---|---|
adam_text | TESTING SOFTWARE AND SYSTEMS
/
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 27TH IFIP WG 6.1
INTERNATIONAL CONFERENCE ON TESTING SOFTWARE AND SYSTEMS, ICTSS 2015,
HELD IN SHARJAH AND DUBAI, UNITED ARAB EMIRATES, IN NOVEMBER 2015. THE
14 REVISED FULL PAPERS AND 4 SHORT PAPERS PRESENTED WERE CAREFULLY
REVIEWED AND SELECTED FROM 42 SUBMISSIONS. THE PAPERS ARE ORGANIZED IN
TOPICAL SECTIONS ON MODEL BASED TESTING, TEST DERIVATION METHODS,
MONITORING AND FAULT LOCALIZATION, MODEL AND SYSTEM TESTING, AND
REAL-TIME SYSTEMS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
any_adam_object | 1 |
author2 | El-Fakih, Khaled |
author2_role | edt |
author2_variant | k e f kef |
author_GND | (DE-588)1079302735 |
author_corporate | ICTSS Sharja; Dubai, Stadt |
author_corporate_role | aut |
author_facet | El-Fakih, Khaled ICTSS Sharja; Dubai, Stadt |
author_sort | ICTSS Sharja; Dubai, Stadt |
building | Verbundindex |
bvnumber | BV043209558 |
classification_tum | DAT 000 DAT 330f |
collection | ZDB-2-SCS ZDB-2-LNC |
ctrlnum | (OCoLC)932033261 (DE-599)BVBBV043209558 |
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-25945-1 |
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>03689nmm a2200829zcb4500</leader><controlfield tag="001">BV043209558</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20181031 </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">9783319259451</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-25945-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319259444</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-25944-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-25945-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)932033261</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043209558</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="084" ind1=" " ind2=" "><subfield code="a">DAT 330f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">ICTSS</subfield><subfield code="n">27.</subfield><subfield code="d">2015</subfield><subfield code="c">Sharja; Dubai, Stadt</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1079295763</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Testing software and systems</subfield><subfield code="b">27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, proceedings</subfield><subfield code="c">edited by Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko</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">XIV, 269 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">9447</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">Computer communication systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Special purpose computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Management information systems</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 Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Special Purpose and Application-Based Systems</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">Management of Computing and Information Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Testen</subfield><subfield code="0">(DE-588)4367264-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kommunikationssystem</subfield><subfield code="0">(DE-588)4125542-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">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</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">2015</subfield><subfield code="z">Sharja, Dubai, Stadt</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Kommunikationssystem</subfield><subfield code="0">(DE-588)4125542-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Testen</subfield><subfield code="0">(DE-588)4367264-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">El-Fakih, Khaled</subfield><subfield code="0">(DE-588)1079302735</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9447</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9447</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-25945-1</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=028632719&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-028632719</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 2015 Sharja, Dubai, Stadt gnd-content |
genre_facet | Konferenzschrift 2015 Sharja, Dubai, Stadt |
id | DE-604.BV043209558 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T07:20:35Z |
institution | BVB |
institution_GND | (DE-588)1079295763 |
isbn | 9783319259451 9783319259444 |
issn | 0302-9743 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028632719 |
oclc_num | 932033261 |
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 | XIV, 269 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 International Publishing |
record_format | marc |
series | Lecture Notes in Computer Science |
series2 | Lecture Notes in Computer Science |
spelling | ICTSS 27. 2015 Sharja; Dubai, Stadt Verfasser (DE-588)1079295763 aut Testing software and systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, proceedings edited by Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko 1st ed. Cham Springer International Publishing [2015] © 2015 XIV, 269 Seiten Illustrationen txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9447 0302-9743 Computer science Computer communication systems Special purpose computers Software engineering Programming languages (Electronic computers) Computer logic Management information systems Computer Science Software Engineering Computer Communication Networks Programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems Logics and Meanings of Programs Management of Computing and Information Systems Informatik Eingebettetes System (DE-588)4396978-1 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Testen (DE-588)4367264-4 gnd rswk-swf Kommunikationssystem (DE-588)4125542-2 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Verteiltes System (DE-588)4238872-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2015 Sharja, Dubai, Stadt gnd-content Verteiltes System (DE-588)4238872-7 s Eingebettetes System (DE-588)4396978-1 s Softwaretest (DE-588)4132652-0 s DE-604 Kommunikationssystem (DE-588)4125542-2 s Testen (DE-588)4367264-4 s Formale Methode (DE-588)4333722-3 s 1\p DE-604 El-Fakih, Khaled (DE-588)1079302735 edt Lecture Notes in Computer Science 9447 (DE-604)BV014880109 9447 https://doi.org/10.1007/978-3-319-25945-1 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632719&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
spellingShingle | Testing software and systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, proceedings Lecture Notes in Computer Science Computer science Computer communication systems Special purpose computers Software engineering Programming languages (Electronic computers) Computer logic Management information systems Computer Science Software Engineering Computer Communication Networks Programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems Logics and Meanings of Programs Management of Computing and Information Systems Informatik Eingebettetes System (DE-588)4396978-1 gnd Formale Methode (DE-588)4333722-3 gnd Testen (DE-588)4367264-4 gnd Kommunikationssystem (DE-588)4125542-2 gnd Softwaretest (DE-588)4132652-0 gnd Verteiltes System (DE-588)4238872-7 gnd |
subject_GND | (DE-588)4396978-1 (DE-588)4333722-3 (DE-588)4367264-4 (DE-588)4125542-2 (DE-588)4132652-0 (DE-588)4238872-7 (DE-588)1071861417 |
title | Testing software and systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, proceedings |
title_auth | Testing software and systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, proceedings |
title_exact_search | Testing software and systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, proceedings |
title_full | Testing software and systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, proceedings edited by Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko |
title_fullStr | Testing software and systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, proceedings edited by Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko |
title_full_unstemmed | Testing software and systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, proceedings edited by Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko |
title_short | Testing software and systems |
title_sort | testing software and systems 27th ifip wg 6 1 international conference ictss 2015 sharjah and dubai united arab emirates november 23 25 2015 proceedings |
title_sub | 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, proceedings |
topic | Computer science Computer communication systems Special purpose computers Software engineering Programming languages (Electronic computers) Computer logic Management information systems Computer Science Software Engineering Computer Communication Networks Programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems Logics and Meanings of Programs Management of Computing and Information Systems Informatik Eingebettetes System (DE-588)4396978-1 gnd Formale Methode (DE-588)4333722-3 gnd Testen (DE-588)4367264-4 gnd Kommunikationssystem (DE-588)4125542-2 gnd Softwaretest (DE-588)4132652-0 gnd Verteiltes System (DE-588)4238872-7 gnd |
topic_facet | Computer science Computer communication systems Special purpose computers Software engineering Programming languages (Electronic computers) Computer logic Management information systems Computer Science Software Engineering Computer Communication Networks Programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems Logics and Meanings of Programs Management of Computing and Information Systems Informatik Eingebettetes System Formale Methode Testen Kommunikationssystem Softwaretest Verteiltes System Konferenzschrift 2015 Sharja, Dubai, Stadt |
url | https://doi.org/10.1007/978-3-319-25945-1 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632719&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV014880109 |
work_keys_str_mv | AT ictsssharjadubaistadt testingsoftwareandsystems27thifipwg61internationalconferenceictss2015sharjahanddubaiunitedarabemiratesnovember23252015proceedings AT elfakihkhaled testingsoftwareandsystems27thifipwg61internationalconferenceictss2015sharjahanddubaiunitedarabemiratesnovember23252015proceedings |