A formal knowledge level process model of requirements engineering

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1611, Issue , 1999, Pages 869-878

  Herlea, Daniela E ^a   Jonker, Catholijn M ^b   Treur, Jan ^b   Wijngaards, Niek J E ^a,b  

^a UNIVERSITY OF CALGARY   (Canada)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EXPERT SYSTEMS; INTELLIGENT SYSTEMS;

FORMAL KNOWLEDGE; KNOWLEDGE LEVEL; MODELLING TECHNIQUES; PROCESS MODEL; PROCESS MODELING;

REQUIREMENTS ENGINEERING;

EID: 84947766851     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-48765-4_92     Document Type: Conference Paper

References (12)

1. Brazier F M T, Dunin-Keplicz B M, Jennings N R, and Treur J., Formal Specification of Multi-Agent Systems: a Real World Case In: Lesser V (ed.) Proceedings First International Conference on Multi-Agent Systems ICMAS'95 (1995) pp. 25-32 MIT Press. Extended version in: Huhns M and Singh M (eds.) International Journal of Cooperative Information Systems IJCIS Vol. 6 No 1 (1997) pp. 67-94.
2. Brazier, F. M. T., Jonker, C. M., and Treur, J., Principles of Compositional Multi-agent System Development. In: J. Cuena (ed.), Proceedings of the 15th IFIP World Computer Congress, WCC'98, Conference on Information Technology and Knowledge Systems, IT&KNOWS'98, 1998, pp. 347-360.
3. Brazier, F. M. T., and Wijngaards, N. J. E., An instrument for a purpose driven comparison of modelling frameworks. In: Plaza, E., and Benjamins, R. (eds.). Proceedings of the 10th European Workshop on Knowledge Acquisition, Modelling, and Management (EKAW'97). Sant Feliu de Guixols, Catalania, Lecture Notes in Artificial Intelligence, vol. 1319, Springer Verlag, 1997, pp. 323-328.
4. Davis, A. M., Software requirements: Objects, Functions, and States, Prentice Hall, New Jersey, 1993.
5. Dubois, E., Du Bois, P., and Zeippen, J. M., A Formal Requirements Engineering Method for Real-Time, Concvurrent, and Distributed Systems. In: Proc. of the Real-Time Systems Conference, RTS'95, 1995.
6. Erdmann, M. and Studer, R., Use-Cases and Scenarios for Developing Knowledge-based Systems. In: Proc. of the 15th IFIP World Computer Congress, WCC'98, Conference on Information Technologies and Knowledge Systems, IT&KNOWS'98 (J. Cuena, ed.), 1998, pp. 259-272.
7. Herlea, D., Jonker, C. M., Treur, J. and Wijngaards, N. J. E., A Case Study in Requirements Engineering: a Personal Internet Agent. Technical Report, Vrije Universiteit Amsterdam, Department of Artificial Intelligence, 1999. URL: http://www. cs. vu. nl/-treur/pareqdoc. html.
8. Kontonya, G., and Sommerville, I., Requirements Engineering: Processes and Techniques. John Wiley and Sons, New York, 1998.
9. Loucipoulos, P. and Karakostas, V., System Requirements Engineering. McGraw-Hill, London, 1995.
10. Sommerville, I., and Sawyer P., Requirements Engineering: a good practice guide. John Wiley & Sons, Chicester, England, 1997.
11. Weidenhaupt, K., Pohl, M., Jarke, M. and Haumer, P., Scenarios in system development: current practice, in IEEE Software, pp. 34-45, March/April, 1998.
12. Yadav, S. et al., Comparison of analysis techniques for information requirements determination. Communications of the ACM, vol. 27 (2), 1988.