Conference
Table-based Specification Techniques
Abstract
Table-based specification techniques are both readable and convenient. They allow to represent the specifications of systems in a very compact and precise manner. They also make checking such important properties as consistency and completeness natural and relatively easy. Five table-based specification techniques will be discussed.
Authors
Bourguiba I; Janicki R
Pagination
pp. 1520-1525
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publication Date
July 1, 2009
DOI
10.1109/iccie.2009.5223955
Name of conference
2009 International Conference on Computers & Industrial Engineering