Title :
Logical animation
Author :
Costa, M.C. ; Cunningham, R.J. ; Booth, J.
Author_Institution :
Embrapa, Brasilia, Brazil
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;
Conference_Titel :
Software Engineering, 1990. Proceedings., 12th International Conference on
Conference_Location :
Nice
Print_ISBN :
0-8186-2026-9
DOI :
10.1109/ICSE.1990.63617
