Author:
Ghose Aditya,Dam Hoa,Tomura Shunichiro,Philp Dean,Consoli Angela
Publisher
Springer International Publishing
Reference15 articles.
1. Yu, E.S.: Towards modelling and reasoning support for early-phase requirements engineering. In: 1997 Proceedings of the IEEE International Symposium on Requirements Engineering, pp. 226–235. IEEE (1997)
2. Fuxman, A., Kazhamiakin, R., Pistore, M., Roveri, M.: Formal tropos: language and semantics. Univ. Trento IRST 55, 123 (2003)
3. Giorgini, P., Kolp, M., Mylopoulos, J., Castro, J.: Tropos: a requirements-driven methodology for agent-oriented software. In: Agent-oriented methodologies, pp. 20–45. IGI Global (2005)
4. Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: an agent-oriented software development methodology. Auton. Agent. Multi-Agent Syst. 8(3), 203–236 (2004). https://doi.org/10.1023/B:AGNT.0000018806.20944
5. Dardenne, A.A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Sci. Comput. Program. 20(1–2), 3–50 (1993)