共 22 条
[1]
[Anonymous], OBJECT ORIENTED TECH
[2]
Bauer J. A., 1979, Proceedings of the 4th International Conference on Software Engineering, P425
[3]
CHANDRASEKHARAN M, 1985, IEEE COMPUT, V18, P71
[4]
DAVIS A, 1982, IEEE COMPUT, V15, P21
[6]
DEMETROVICS J, 1982, IEEE COMPUT, V15, P29
[7]
FRINKE D, 1992, 189700 NASA
[8]
REQUIREMENTS ENGINEERING FOR REAL-TIME SYSTEMS
[J].
SOFTWARE ENGINEERING JOURNAL,
1991, 6 (03)
:101-115
[10]
The SCR method for formally specifying, verifying, and validating requirements: Tool support
[J].
PROCEEDINGS OF THE 1997 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING,
1997,
:610-611