Tytuł artykułu
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
The paper examines decision tables as a requirements specification technique. In our approach, state machines model the dynamics of reactive systems, whereas decision tables provide a knowledge base defining their behaviour in each state. We apply rough set theory, which provides a methodology of decision table analysis, to formally verify and minimize the decision tables. The resulting tables can be converted automatically into executable code, thus bridging the gap between analysis, design and implementation.
Rocznik
Tom
Strony
115--131
Opis fizyczny
Bibliogr. 27 poz., 10 rys.
Bibliografia
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BPG5-0002-0042