Publisher
Springer International Publishing
Reference19 articles.
1. Lynch, W.C.: Reliable full-duplex file transmission over half-duplex telephone lines. Commun. ACM 11(6), 407–410 (1968)
2. Holzmann, G.J., Smith, M.H.: An automated verification method for distributed systems software based on model extraction. IEEE Trans. Softw. Eng. 28(4), 364–377 (2002)
3. Holzmann, G.J., Smith, M.H.: A practical method for verifying event-driven software, pp. 597–607 (1999)
4. Berry, D., Gacitua, R., Sawyer, P., Tjong, S.F.: The case for dumb requirements engineering tools. Lecture Notes Computer Science (including Subser. Lecture Notes Artificial Intelligence Lecture Notes Bioinformatics), vol. 7195, pp. 211–217 (2012)
5. Ryan, K.: The role of natural language in requirements engineering. In: Proceedings of IEEE Interantional Symposium on Requirements Engineering, pp. 240–242 (1993)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献