Title :
Table-based specification techniques
Author :
Bourguiba, Imene ; Janicki, Ryszard
Author_Institution :
Dept. of Comput. & Software, McMaster Univ., Hamilton, ON, Canada
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 was discussed.
Keywords :
formal specification; program verification; formal methods; requirement validation; requirement verification; table-based specification techniques; tabular notation; Aircraft; Application software; Bibliographies; Calculus; Computer science; History; Power generation; Software systems; Solids; Writing; formal methods; requirements verification; specification techniques; tabular notation; validation;
Conference_Titel :
Computers & Industrial Engineering, 2009. CIE 2009. International Conference on
Conference_Location :
Troyes
Print_ISBN :
978-1-4244-4135-8
Electronic_ISBN :
978-1-4244-4136-5
DOI :
10.1109/ICCIE.2009.5223955
