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