Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability.

Autor:	Czepa, Christoph1 (AUTHOR) christoph.czepa@univie.ac.at, Amiri, Amirali1 (AUTHOR) amirali.amiri@univie.ac.at, Ntentos, Evangelos1 (AUTHOR) evangelos.ntentos@univie.ac.at, Zdun, Uwe1 (AUTHOR) uwe.zdun@univie.ac.at
Zdroj:	Software & Systems Modeling. Dec2019, Vol. 18 Issue 6, p3331-3371. 41p.
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.