David Senkýr

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 10

Top Topics

Maintaining Consistency

Software Requirements

Requirements Specification

Top Venues

CAiSE Workshops

Publications

David Senkýr, Petr Kroha
Quality Measurement of Functional Requirements. ICSOFT (2023)
David Senkýr, Marek Suchánek, Petr Kroha, Herwig Mannaert, Robert Pergl
Expanding Normalized Systems from textual domain descriptions using TEMOS. J. Intell. Inf. Syst. 59 (2) (2022)
David Senkýr, Petr Kroha
Problem of Semantic Enrichment of Sentences Used in Textual Requirements Specification. CAiSE Workshops (2021)
David Senkýr, Petr Kroha
Problem of Inconsistency in Textual Requirements Specification. ENASE (2021)
David Senkýr, Petr Kroha
Problem of Inconsistency and Default Consistency Rules. SoMeT (2021)
David Senkýr, Petr Kroha
Patterns for Checking Incompleteness of Scenarios in Textual Requirements Specification. ENASE (2020)
David Senkýr, Petr Kroha
Problem of Incompleteness in Textual Requirements Specification. ICSOFT (2019)
David Senkýr, Petr Kroha
Patterns of Ambiguity in Textual Requirements Specification. WorldCIST (1) (2019)
David Senkýr
SHACL Shapes Generation from Textual Documents. EOMAS@CAiSE (2019)
David Senkýr, Petr Kroha
Patterns in Textual Requirements Specification. ICSOFT (2018)