• DocumentCode
    2340883
  • Title

    Logical animation

  • Author

    Costa, M.C. ; Cunningham, R.J. ; Booth, J.

  • Author_Institution
    Embrapa, Brasilia, Brazil
  • fYear
    1990
  • fDate
    26-30 Mar 1990
  • Firstpage
    144
  • Lastpage
    149
  • Abstract
    When a formal specification of requirements is presented as a logical theory, symbolic animation of the theory can assist with validation. An animator displays a logical model of the formal specification. The authors show how minimal models can be derived from a tableau proof system. Examples illustrate the use of animation with a simple database and its use for validating specifications in the Modal Action Logic of the UK Alvey Forest Project
  • Keywords
    computer animation; formal specification; software tools; Alvey Forest Project; Modal Action Logic; formal specification; logical model; logical theory; requirements; symbolic animation; tableau proof system; Animation; Calculus; Computational modeling; Databases; Displays; Educational institutions; Formal specifications; Logic; Programming; Virtual prototyping;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering, 1990. Proceedings., 12th International Conference on
  • Conference_Location
    Nice
  • Print_ISBN
    0-8186-2026-9
  • Type

    conf

  • DOI
    10.1109/ICSE.1990.63617
  • Filename
    63617
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2340883