H ?
«
‹
←
→
›
»
Language peer sets for RSML:
United States↑
United States/1991↑
Designed 1991 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑
Genus Decision tables ↑
Decision tables↑
Context-based ↑
Data representation ↑
Decision tables/1991↑
Context-based /1991↑
Data representation/1991↑
Decision tables/United States↑
Context-based /United States↑
Data representation/United States↑
RSML(ID:7788/)
Hardware requirements DT language
alternate simple view
Country: United States
Designed 1991
Genus: Decision tables
Requirements state machine language
Related languages
RSML |
→
|
Tablewise | |
Influence |
References:
Jaffe et al (1991) Jaffe, M. S., Leveson, N. G., Heimdahl, M. P. E., And Melhart, B. E. Software requirements analysis for real-time process control systems. IEEE Trans. Softw. Eng. SE-17, 3 (Mar 1991), pp241–258.
Leveson et al (1994) Leveson, N. G. ; M. P. E. Heimdahl, H. Hildreth, and Reese, J. D. Requirements specification for process control systems. IEEE Transactions on Software Engineering, 20(9):684-707, Sept. 1994
Heimdahl and Leveson (1995) Heimdahl, M. P. E. And Leveson, N. "Completeness and consistency analysis of statebased requirements" in Proceedings of the 17th International Conference on Software Engineering (ICSE ’95) (Seattle, Wash., Apr.). ACM, New York, 3–14. 1995
Heitmeyer et al (1996) Heitmeyer, Constance L.; Jeffords, Ralph D.; Labaw, Bruce G. "Automated Consistency Checking of Requirements Specifications"
ACM Transactions on Software Engineering and Methodology July 1996
Extract:
RSML
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE 
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|