Dateien: | ||
URI: |
http://hdl.handle.net/10900/101242
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1012425 http://dx.doi.org/10.15496/publikation-42621 http://nbn-resolving.org/urn:nbn:de:bsz:21-dspace-1012426 http://nbn-resolving.org/urn:nbn:de:bsz:21-dspace-1012421 |
Dokumentart: | PhDThesis |
Date: | 2020-07-31 |
Language: | German |
Faculty: | 7 Mathematisch-Naturwissenschaftliche Fakultät |
Department: | Informatik |
Advisor: | Rosenstiel, Wolfgang (Prof. Dr.) |
Day of Oral Examination: | 2020-04-24 |
DDC Classifikation: | 004 - Data processing and computer science |
Keywords: | Software , Verifikation , Testen , Korrektheit , Objektorientierung |
Other Keywords: |
![]() Kombination dynamischer und formaler Methoden ![]() testing software correctness object-orientated modular verification combining dynamic and formal methods |
ISBN: | 978-3-946552-38-3 |
License: | http://creativecommons.org/licenses/by-nc-nd/3.0/de/deed.de http://creativecommons.org/licenses/by-nc-nd/3.0/de/deed.en |
Show full item record |