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

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing LanguageChristoph Czepa, Uwe Zdun. TSE, 46(1):100-112, 2020. [doi]

runs on WebDSL