Analysis of Design process dynamics

Frontiers in Artificial Intelligence and Applications

Volumn 110, Issue , 2004, Pages 293-297

  Bosse, Tibor ^a   Jonker, Catholijn ^a   Treur, Jan ^a,b  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN;

AUTOMATED SUPPORT; DESIGN-PROCESS; DYNAMICS PROPERTIES; EXECUTABLES; LOGICAL APPROACHES; MODELLING AND ANALYSIS; PROCESS DYNAMICS; SIMULATION MODEL; SUBLANGUAGES; TEMPORAL LANGUAGE;

SPECIFICATIONS;

EID: 85017375432     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (8)

1. Baldwin and Chung (1995). A Formal Approach to Managing Design Processes. IEEE Computer, Feb. 1995, pp. 54-63.
2. Bosse, T., Jonker, C.M., and Treur, J., (2003). Requirements Analysis in Design of Agent Systems. Vrije Universiteit Amsterdam, Department of Artificial Intelligence. Technical Report. URL: http://www.cs.vu.nl/~wai/Papers/BDBCh3.pdf.
3. Bosse, T., Jonker, C.M., and Treur, J., (2003). Simulation and analysis of controlled multi-representational reasoning processes. Proc. of the Fifth International Conference on Cognitive Modelling, ICCM'03. Universitats-Verlag Bamberg, 2003, pp. 27-32.
4. Brazier, F.M.T., Langen, P.H.G. Van, Treur, J., (1996). A logical theory of design. In: J.S. Gero (ed.), Advances in Formal Design Methods for CAD, Proc. of the Second International Workshop on Formal Methods in Design. Chapman & Hall, New York, 1996, pp. 243-266.
5. Brown, D. C., and Chandrasekaran, B., (1989). Design Problem Solving: Knowledge Structures and Control Strategies, Pitman, London.
6. Corkill, D.D. (2000).When Workflow Doesn't Work: Issues in managing dynamic processes, Proceedings of the Design Project Support using Process Models Workshop, Sixth International Conference on Artificial Intelligence in Design, Worcester, Massachusetts, June 2000, pp. 1-13.
7. Jonker, C.M., and Treur, J. (2002). Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness. International Journal of Cooperative Information Systems, vol. 11, 2002, pp. 51-92.
8. Jonker, C.M., Treur, J., and Wijngaards, W.C.A. (2003). A Temporal Modelling Environment for Internally Grounded Beliefs, Desires and Intentions. Cognitive Systems Research Journal, vol. 4, 2003, pp. 191-210.