Title :
Extending Ina Jo with temporal logic
Author :
Wing, Jeannette M. ; Nixon, Mark R.
Author_Institution :
Dept. of Comput. Sci., Carnegie-Mellon Univ., Pittsburgh, PA, USA
fDate :
2/1/1989 12:00:00 AM
Abstract :
The authors give both informal and formal descriptions of both the current Ina Jo specification language and Ina Jo enhanced with temporal logic. They include details of a simple example to demonstrate the use of the proof system and details of an extended example to demonstrate the expressiveness of the enhanced language. The authors discuss their language design goals, decisions, and their implications
Keywords :
specification languages; Ina Jo; decisions; expressiveness; language design goals; proof system; specification language; temporal logic; Computer science; Concurrent computing; Formal specifications; Logic design; Logic functions; Programming; Security; Software tools; Specification languages; Trademarks;
Journal_Title :
Software Engineering, IEEE Transactions on
