VLDB 2026 Research / reviewers in the wild / expert
David Senkýr
dblp:225/6083
· DBLP profile ↗
9ranked-venue papers
9as first author
4since 2021 · last 2023
0000-0002-7522-3722ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 7 · 7 first-author · 3 since 2021Databases, data management, data science and information retrieval · 1 · 1 first-author · 1 since 2021Applied, interdisciplinary, general and emerging computing · 1 · 1 first-author
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | Quality Measurement of Functional Requirements
David Senkýr, Petr Kroha |
ICSOFT | 1 |
| 2022 | Expanding Normalized Systems from textual domain descriptions using TEMOS
David Senkýr, Marek Suchánek, Petr Kroha, Herwig Mannaert, Robert Pergl |
J. Intell. Inf. Syst. | 1 |
| 2021 | Problem of Inconsistency in Textual Requirements Specification
David Senkýr, Petr Kroha |
ENASE | 1 |
| 2021 | Problem of Inconsistency and Default Consistency RulesabstractWe investigate inconsistency problem in textual functional requirements specifications. We argue that some sources of inconsistency can be revealed during the very first steps of textual requirements analysis. In this paper, we focus on those facts and rules that domain experts find so obvious that they do not even mention them to the analysts during the discussions about the product to be constructed. However, what is very obvious for stakeholders may not be obvious for analysts. We call such rules default consistency rules. We argue that the lack of the default consistency rules leads to incompleteness in the requirements, and it causes incon- sistency with all its unpleasant consequences. In this contribution, we describe our approach to the problem of how the missing information can be both identified in the original requirements and found in external sources. We show a motivational example and explain our method. David Senkýr, Petr Kroha |
SoMeT | 1 |
| 2020 | Patterns for Checking Incompleteness of Scenarios in Textual Requirements Specification
David Senkýr, Petr Kroha |
ENASE | 1 |
| 2019 | SHACL Shapes Generation from Textual Documents
David Senkýr |
EOMAS@CAiSE | 1 |
| 2019 | Problem of Incompleteness in Textual Requirements Specification
David Senkýr, Petr Kroha |
ICSOFT | 1 |
| 2019 | Patterns of Ambiguity in Textual Requirements Specification
David Senkýr, Petr Kroha |
WorldCIST (1) | 1 |
| 2018 | Patterns in Textual Requirements Specification
David Senkýr, Petr Kroha |
ICSOFT | 1 |