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.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.