On the cognitive informatics foundations of software engineering

Proceedings of the Third IEEE International Conference on Cognitive Informatics, ICCI 2004

Volumn , Issue , 2004, Pages 22-31

  Wang, Yingxu ^a  

^a UNIVERSITY OF CALGARY   (Canada)

Author keywords

Cognitive informatics; Cognitive models; Foundations; Informatics laws; Nature of software; Programming psychology; Software engineering

Indexed keywords

COGNITIVE INFORMATICS; COGNITIVE MODELS; INFORMATICS LAWS; NATURE OF SOFTWARE; PROGRAMMING PSYCHOLOGY;

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; FOUNDATIONS; GRAPHICAL USER INTERFACES; INFORMATION SCIENCE; MATHEMATICAL MODELS; PSYCHOLOGY COMPUTING; QUALITY CONTROL; RELIABILITY; SOCIETIES AND INSTITUTIONS; SOFTWARE ENGINEERING;

COGNITIVE SYSTEMS;

EID: 13944269872     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1002/ddr.10383     Document Type: Conference Paper

References (23)

1. Abrial, J.-R. (1984), Assigning programs to meanings, in Mathematical Logic and Programming Languages, Philosophical Transactions of the Royal Society, Series A, Vol 31.
2. Beveridge, W.I. (1957), The Art of Scientific Investigation, Random House Trade Paperbacks, UK.
3. Brooks, F. P. (1987), No Silver Bullet: Essence and Accidents of Software Engineering, IEEE Computer, Vol.20, No.4, pp.10-19.
4. Dijkstra, E. W. (1976), A Disciplince of Programming, Prentice-Hall, Englewood Cliffs, NJ.
5. Hoare, C.A.R., I.J. Hayes, J. He, C.C. Morgan, A.W. Roscoe, J.W. Sanders, I.H. Sorensen, J.M. Spivey, and B.A. Sufrin, "Laws of programming," Comm. ACM, vol. 30, no. 8, Aug. 1987, pp. 672-686.
6. ISO 9126 (1991): Information Technology Software Product Evaluation - Quality Characteristics and Guidelines for their Use, International Organization for Standardization, Geneva.
7. Leveson, N. (1995), Software: System Safety and Computers, Addison Wesley.
8. Shao, J. and Y. Wang (2003), A New Measure of Software Complexity based on Cognitive Weights, IEEE Canadian Journal of Electrical and Computer Engineering, Vol.28, No.2, pp.69-74.
9. Spivey, J.M. (1989), The Z Notation: A Reference Manual, 2nd ed., Prentice Hall International Ltd., Oxford, UK.
10. Turing, A.M. (1936), On Computable Numbers, with an Application to the Entschei-Dungs Problem, Proceedings of London Mathematical Society, Vol.2, No.42, pp.230-265, and No.43, pp.544-546, 1036.
11. von Neumann, John (1946), The Principles of Large-Scale Computing Machines, reprinted in Annals of History of Computers, Vol. 3, No. 3, pp. 263-273.
12. von Neumann, John (1958), The Computer and the Brain, Yale Univ. Press, New Haven.
13. von Neumann, John and Arthur W. Burks (1966), Theory of Self-Reproducing Automata, Univ. of Illinois Press, Urbana IL.
14. Wang, Y. (2002), Keynote Lecture: On Cognitive Informatics, Proc. 1st IEEE Int. Conf. Cognitive Informatics (ICCI'02), Calgary, AB., Aug. pp. 34-42.
15. Wang, Y. (2002), The Real-Time Process Algebra (RTPA), Annals of Software Engineering, vol. 14, Oct., pp. 235-274.
16. Wang, Y. (2003), On Cognitive Informatics, Brain and Mind: A Transdisciplinary Journal of Neuroscience and Neurophilosophy, Vol.4, No.2, pp.151-167.
17. Wang, Y. (2003), Using Process Algebra to Describe Human and Software System Behaviors, Brain and Mind: A Transdisciplinary Journal of Neuroscience and Neurophilosophy.Vol 4, No. 2, pp. 199-213.
18. Wang, Y. (2002), Keynote Speech: On the Information Laws of Software, Proc. of the First IEEE International Conference on Cognitive Informatics (ICCI'02), Calgary, AB., Canada, IEEE CS Press, August, pp.132-144.
19. Wang, Y. (2004), Software Engineering Foundations: A Multidisciplinary Perspective, CRC Software Engineering Series, Vol.2, CRC Press, USA.
20. Wang, Y. (2000), Software Engineering Processes: Principles and Applications, CRC Software Engineering Series, Vol.1, CRC Press, USA.
21. Wang, Y. (2005), Software Engineering Measurement and Analysis: A Applied Framework of Software Metrics, CRC Software Engineering Series, Vol.3, CRC Press, USA, to appear.
22. Wang, Y., D. Liu, and Y. Wang (2003), Discovering the Capacity of Human Memory, Brain and Mind: A Transdisciplinary Journal of Neuroscience and Neurophilosophy, Vol.4, No.2, pp.189-198.
23. Wang, Y., Y. Wang, S. Patel, and D. Patel (2004), A Layered Reference Model of the Brain, IEEE Transactions on Systems, Man, and Cybernetics, Vol. 34, to appear.