DocumentCode
909403
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
Volume
15
Issue
2
fYear
1989
fDate
2/1/1989 12:00:00 AM
Firstpage
181
Lastpage
197
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;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/32.21744
Filename
21744
Link To Document