Author:
Tsai Jeffrey J.P.,Liu Alan
Subject
Hardware and Architecture,Information Systems,Software
Reference55 articles.
1. Natural Language Understanding;Allen,1994
2. Tropos: an agent-oriented software development methodology;Bresciani;Auton. Agents Multi-Agent Syst.,2004
3. Converting scenarios to CSP traces with Mise en Scene for requirements-based programming;Carter;Innovat. Syst. Software Eng.,2008
4. Castro, J., Franch, X., Perini, A., Yu, E. (Eds.), 2008. In: Procceding of the Third International i* Workshop (iStar’08), vol. 322, CEUR-WS. .
5. Chang, F.S.-H., Jackson, D., 2006. Symbolic model checking of declarative relational models. In: ICSE’06: Proceedings of the 28th International Conference on Software Engineering, ACM, New York, NY, USA, pp. 312–320.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献