• DocumentCode
    3157382
  • Title

    Table-based specification techniques

  • Author

    Bourguiba, Imene ; Janicki, Ryszard

  • Author_Institution
    Dept. of Comput. & Software, McMaster Univ., Hamilton, ON, Canada
  • fYear
    2009
  • fDate
    6-9 July 2009
  • Firstpage
    1520
  • Lastpage
    1525
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/ICCIE.2009.5223955
  • Filename
    5223955
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3157382