Rigorous Requirements for Real-Time Systems: Evolution and Application of the SCR Method (Tutorial).

Stuart R. Faulk Constance L. Heitmeyer

Published in: ICSE (1997)

Keyphrases

real time systems
high accuracy
significant improvement
computational efficiency
objective function
clustering method
detection method
real time database systems
artificial intelligence
similarity measure
dynamic programming
support vector machine
tree structure
embedded systems