Pub Date : 1900-01-01DOI: 10.1007/978-3-642-77747-9_15
J. Overbeck
{"title":"Test Activities for Object-Oriented Software Development","authors":"J. Overbeck","doi":"10.1007/978-3-642-77747-9_15","DOIUrl":"https://doi.org/10.1007/978-3-642-77747-9_15","url":null,"abstract":"","PeriodicalId":104348,"journal":{"name":"Testen, Analysieren und Verifizieren von Software","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133528267","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-642-77747-9_6
Ute Pelkmann
{"title":"TESTSCOPE - ein Werkzeug für den Modul- und Integrationstest","authors":"Ute Pelkmann","doi":"10.1007/978-3-642-77747-9_6","DOIUrl":"https://doi.org/10.1007/978-3-642-77747-9_6","url":null,"abstract":"","PeriodicalId":104348,"journal":{"name":"Testen, Analysieren und Verifizieren von Software","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131934708","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-642-77747-9_2
J. Herrmann, K. Grimm
{"title":"Klassifikation von Software-Testmethoden","authors":"J. Herrmann, K. Grimm","doi":"10.1007/978-3-642-77747-9_2","DOIUrl":"https://doi.org/10.1007/978-3-642-77747-9_2","url":null,"abstract":"","PeriodicalId":104348,"journal":{"name":"Testen, Analysieren und Verifizieren von Software","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121114799","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-642-77747-9_14
Ralf Kneuper
{"title":"Validation und Verifikation von Software durch symbolische Ausführung","authors":"Ralf Kneuper","doi":"10.1007/978-3-642-77747-9_14","DOIUrl":"https://doi.org/10.1007/978-3-642-77747-9_14","url":null,"abstract":"","PeriodicalId":104348,"journal":{"name":"Testen, Analysieren und Verifizieren von Software","volume":"73 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116208703","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-642-77747-9_5
Peter Schless
{"title":"Methoden und Werkzeuge zur Automatisierung des Software-Tests","authors":"Peter Schless","doi":"10.1007/978-3-642-77747-9_5","DOIUrl":"https://doi.org/10.1007/978-3-642-77747-9_5","url":null,"abstract":"","PeriodicalId":104348,"journal":{"name":"Testen, Analysieren und Verifizieren von Software","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127740539","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-642-77747-9_7
R. Haselhorst
{"title":"Der Software-Analyse-Baukasten - Ein Bericht aus der universitären Ausbildung","authors":"R. Haselhorst","doi":"10.1007/978-3-642-77747-9_7","DOIUrl":"https://doi.org/10.1007/978-3-642-77747-9_7","url":null,"abstract":"","PeriodicalId":104348,"journal":{"name":"Testen, Analysieren und Verifizieren von Software","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115741507","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-642-77747-9_1
P. Liggesmeyer
{"title":"Testen, Analysieren und Verifizieren von Software - eine klassifizierende Übersicht der Verfahren","authors":"P. Liggesmeyer","doi":"10.1007/978-3-642-77747-9_1","DOIUrl":"https://doi.org/10.1007/978-3-642-77747-9_1","url":null,"abstract":"","PeriodicalId":104348,"journal":{"name":"Testen, Analysieren und Verifizieren von Software","volume":"144 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123170033","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-642-77747-9_3
M. Müllerburg
{"title":"Zur Formalisierung von Testkonzepten","authors":"M. Müllerburg","doi":"10.1007/978-3-642-77747-9_3","DOIUrl":"https://doi.org/10.1007/978-3-642-77747-9_3","url":null,"abstract":"","PeriodicalId":104348,"journal":{"name":"Testen, Analysieren und Verifizieren von Software","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133093798","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-642-77747-9_13
Hans Werner Pohl
{"title":"Ein stochastisches Fehlermodell zur Kommunikation","authors":"Hans Werner Pohl","doi":"10.1007/978-3-642-77747-9_13","DOIUrl":"https://doi.org/10.1007/978-3-642-77747-9_13","url":null,"abstract":"","PeriodicalId":104348,"journal":{"name":"Testen, Analysieren und Verifizieren von Software","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115145614","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：