Formalisierung der funktionalen Anforderungen mit visuellen Kontrakten und deren Einsatz für modellbasiertes Testen

Engels, GregorGüldali, BarisSauer, Stefan2023-04-272023-04-272008https://dl.gi.de/handle/20.500.12116/41345deFormalisierung der funktionalen Anforderungen mit visuellen Kontrakten und deren Einsatz für modellbasiertes TestenText/Journal Article0720-8928