All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Problem of Inconsistency and Default Consistency Rules

The result's identifiers

  • Result code in IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21240%2F21%3A00351858" target="_blank" >RIV/68407700:21240/21:00351858 - isvavai.cz</a>

  • Result on the web

    <a href="https://ebooks.iospress.nl/volumearticle/57486" target="_blank" >https://ebooks.iospress.nl/volumearticle/57486</a>

  • DOI - Digital Object Identifier

    <a href="http://dx.doi.org/10.3233/FAIA210063" target="_blank" >10.3233/FAIA210063</a>

Alternative languages

  • Result language

    angličtina

  • Original language name

    Problem of Inconsistency and Default Consistency Rules

  • Original language description

    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 inconsistency 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.

  • Czech name

  • Czech description

Classification

  • Type

    D - Article in proceedings

  • CEP classification

  • OECD FORD branch

    10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Result continuities

  • Project

  • Continuities

    S - Specificky vyzkum na vysokych skolach

Others

  • Publication year

    2021

  • Confidentiality

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Data specific for result type

  • Article name in the collection

    New Trends in Intelligent Software Methodologies, Tools and Techniques

  • ISBN

    978-1-64368-194-8

  • ISSN

    0922-6389

  • e-ISSN

    1879-8314

  • Number of pages

    14

  • Pages from-to

    674-687

  • Publisher name

    IOS Press

  • Place of publication

    Amsterdam

  • Event location

    online

  • Event date

    Sep 21, 2021

  • Type of event by nationality

    WRD - Celosvětová akce

  • UT code for WoS article