Automatically Generating C++ Programs from LOTOS Behavior Specifications.
Chulhong KimKangho KimCheoljoo JeongYoungbae OhPublished in: APSEC (1998)
Keyphrases
- automatically generating
- automatically generated
- search engine
- database systems
- image sequences
- functional requirements
- recursive programs
- delay insensitive
- temporal ordering
- english words
- control flow
- behavior analysis
- specification language
- real time
- formal specification
- human behavior
- knowledge base
- artificial intelligence