| 
|
QuoteRef: smitMH8_2001
topics >
all references >
Topic:
model checker
Topic:
requirement specification by diagrams
Reference
Smith, M.H., Holzmann, G.J., Ettesami, K., "Events and constraints: A graphical editor for capturing logic requirements of programs", Proceedings Fifth IEEE International Symposium on Requirements Engineering, Toronto, Canada, August 2001, IEEE Computer Society, pp. 14-22. Google
abstract ;;Quote: graphical time-line editor for writing requirements for a logic model checker; a requirement consists of a preamble, a response, constriants, and ignored events
Topic: model checker (49 items)
Topic: requirement specification by diagrams (27 items)