Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. Mich, L., Franch, M., Inverardi, P.N.: Market research for requirements analysis using linguistic tools. Requirements Engineering Journal 9, 40–56 (2004)
2. Rumbaugh, J., Jacobson, I., Booch, G. (eds.): The Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley, Reading (2004)
3. Henninger, K., Kallander, J., Shore, J., Parnas, D.: Software requirements for the A-7E aircraft. NRL Memorandum Report 3876, Naval Research Laboratory, Washington, DC, USA (1978)
4. Bharadwaj, R., Heitmeyer, C.: Model checking complete requirements specifications using abstraction. Automated Software Engineering 6, 37–68 (1999)
5. Heitmeyer, C.L., Kirby, J., Labaw, B.G.: The scr method for formally specifying, verifying, and validating requirements: Tool support. In: Proceedings of the 19th International Conference on Software Engineering ICSE 1997, pp. 610–611 (1997)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献