Specification and Validation of Numerical Algorithms with the Gradual Contracts Pattern
Fritze, René; Rave, Stephan
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Clark, David; Menendez, Hector; Cavalli, Ana Rosa
Buchtitel: Testing Software and Systems
Seitenbereich: 181-188
Verlag: Springer International Publishing
Erscheinungsort: Cham
Titel der Reihe: Lecture Notes in Computer Science
Status: Veröffentlicht
Veröffentlichungsjahr: 2022
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: ICTSS 2021, London, Vereinigtes Königreich
Link zum Volltext: 10.1007/978-3-031-04673-5_14
Stichwörter: numerical algorithms, software, testing
Autor*innen der Universität Münster
| Fritze, René | Mathematisches Institut |
| Rave, Stephan | Professur für Angewandte Mathematik, insbesondere Numerik (Prof. Ohlberger) |