Providing tool support for specifying safety-critical systems by enforcing syntactic contract conditions.

Autor:	Westman, Jonas1 jowestm@kth.se, Nyberg, Mattias1 matny@kth.se
Zdroj:	Requirements Engineering. Jun2019, Vol. 24 Issue 2, p231-256. 26p.
Databáze:	Academic Search Ultimate
Externí odkaz:	Zobrazit plný text záznamu Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.