(See also the Tropos project.)
SEE ALSO: Evaluation, Verification and Validation publications on CiteULike.
- Y. Lesperance, T.G. Kelley, J. Mylopoulos, and E. Yu. Modeling dynamic domains with congolog. In Proceedings of CAISE'99, 1999.
- G. Gans, M. Jarke, S. Kethers, G. Lakemeyer, L. Ellrich, C. Funken, M. Meister: Requirements Modeling for Organization Networks: A (Dis)Trust-Based Approach. in: Proceedings of the 5th IEEE International Symposium on Requirements Engineering, Toronto, August 2001.
- M. Koubarakis and D. Plexousakis, A Formal Model for Business Process Modeling and Design, Proceedings of CAiSE*00, Stockholm, Sweden, June 5-9, 2000
- M. Koubarakis and D. Plexousakis. Business Process Modeling and Design: AI Models and Methodology. In Proceedings of IJCAI-99 Workshop on Intelligent Workflow and Process Management: the New Frontier for AI in Business, 1999.
- J. Mylopoulos, Ariel Fuxman, and P. Giorgini. From Entities and Relationships to Social Actors and Dependencies. Proceedings of the 19th International Conference on Conceptual Modeling (ER'00), LNCS, Springer-Verlag, 2000.
- A. Fuxman, M. Pistore, J. Mylopoulos, P. Traverso: Model checking early requirements specifications in Tropos. in: IEEE Joint International Conference on Requirements Engineering 2001, Toronto, Canada. pp. 174-181.
- Ariel Fuxman, Lin Liu, Marco Pistore, Marco Roveri, John Mylopoulos: Specifying and Analyzing Early Requirements: Some Experimental Results. in: IEEE Joint International Conference on Requirements Engineering 2003, California, USA. pp. 105-114.
- Jingde Cheng: Spatio-temporal Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning About Mobile Multi-agent Systems. in: Proceedings of the 23rd International Conference on Conceptual Modeling (ER' 04) .
- Roberto Sebastiani, Paolo Giorgini, John Mylopoulos: Simple and Minimum-Cost Satisfiability for Goal Models. 16th International Conference, CAiSE 2004, Riga, Latvia, June 7-11, 2004, Proceedings. LNCS 3084 pp. 20-35.
- Dominik Schmitz, Gerhard Lakemeyer, Matthias Jarke: Comparing TCD/SNet with two other formal analysis approaches based on i*: Formal Tropos and Secure Tropos. 8th Workshop on Agent-Oriented Information Systems, AOIS @ CAiSE, Luxembourg, June 2006. In Proceedings of Workshops and Doctoral Consortium (CAiSE'06), pp. 29-40. Namur University Press.
SEE ALSO: Evaluation, Verification and Validation publications on CiteULike.