David Senkýr

dblp:225/6083 · DBLP profile ↗
← Back
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
YearPublicationVenuePosition
2023 Quality Measurement of Functional Requirements
David Senkýr, Petr Kroha
ICSOFT1
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
ENASE1
2021 Problem of Inconsistency and Default Consistency Rules
abstract
We 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
SoMeT1
2020 Patterns for Checking Incompleteness of Scenarios in Textual Requirements Specification
David Senkýr, Petr Kroha
ENASE1
2019 SHACL Shapes Generation from Textual Documents
David Senkýr
EOMAS@CAiSE1
2019 Problem of Incompleteness in Textual Requirements Specification
David Senkýr, Petr Kroha
ICSOFT1
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
ICSOFT1