Cargando…
Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability
Mature verification and monitoring approaches, such as complex event processing and model checking, can be applied for checking compliance specifications at design time and runtime. Little is known about the understandability of the different formal and technical languages associated with these appr...
| Autores principales: | , , , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
Springer Berlin Heidelberg
2019
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6944266/ https://www.ncbi.nlm.nih.gov/pubmed/31975976 http://dx.doi.org/10.1007/s10270-019-00721-4 |