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

Christoph Czepa, Amirali Amiri, Evangelos Ntentos, Uwe Zdun. Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability. Software and Systems Modeling, 18(6):3331-3371, 2019. [doi]

Authors

Christoph Czepa

This author has not been identified. Look up 'Christoph Czepa' in Google

Amirali Amiri

This author has not been identified. Look up 'Amirali Amiri' in Google

Evangelos Ntentos

This author has not been identified. Look up 'Evangelos Ntentos' in Google

Uwe Zdun

This author has not been identified. Look up 'Uwe Zdun' in Google