On the informatics laws of software

Proceedings - 1st IEEE International Conference on Cognitive Informatics, ICCI 2002

Volumn , Issue , 2002, Pages 132-141

  Wang, Yingxu ^a  

^a UNIVERSITY OF CALGARY   (Canada)

Author keywords

CI; Cognitive informatics; foundations; informatics properties; software constraint laws; software engineering

Indexed keywords

FOUNDATIONS; SOFTWARE ENGINEERING;

ABSTRACT LEVELS; COGNITIVE INFORMATICS; HUMAN CREATIVITY; INFORMATICS; INFORMATICS LAWS; LINGUISTIC PROPERTIES; MATHEMATICAL ENTITIES; PHYSICAL WORLD;

INFORMATION SCIENCE;

EID: 84962477120     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COGINF.2002.1039291     Document Type: Conference Paper

References (19)

1. Aho, A.V., R. Sethi, and J.D. Ullman (1985), Compilers: Principles, Techniques, and Tools, Addison-Wesley Publication Co., New York.
2. Bryant, A. (2000), Metaphor, myth and mimicry: The Base of Software Engineering, in Dilip, P. and Wang, Y. eds. Comparative Studies of Engineering Approaches for Software Engineering, Annals of Software Engineering: An International Journal, Vol.14, Baltzer Science Publishers, pp. 273-292.
3. Dijkstra, E. W. (1972), The Humber Programmer, 1972 Turing Award Lecture, Communications of the ACM, Vol.15, No.10, pp.859-866.
4. Hartmanis, J. (1994), On Computational Complexity and the Nature of Computer Science, 1994 Turing Award Lecture, Communications of the ACM, Vol.37, No.10, pp.37-43.
5. Hoare, C.A.R. (1985), Communicating Sequential Processes, Prentice-Hall Inc., London.
6. Hoare, C.A.R., I.J. Hayes, J. He, and et al. (1987), Laws of Programming, Communications of the ACM, Vol.30, No.8, August, pp.672-686.
7. nd ed., Addison-Wesley Publishing.
8. Marshall, A. (1938), Principles of Economics, The Macmillan Co., London.
9. McDermid, J. A., ed. (1991), Software Engineer's Reference Book, Butterworth-Heinemann Ltd., Oxford, UK.
10. Payne, D.G. (1998), Cognitive Psychology, Houghton Mifflin Co. Boston.
11. Smith, R.E. (1993), Psychology, West Publishing Co. New York.
12. Wang, Y. and King, G. (2000), Software Engineering Processes: Principles and Applications, CRC Press, USA, ISBN: 0-8493-2366-5, 752 pp.
13. Wang, Y. (2001), On a New Frontier: Cognitive Informatics, Invited Talk, Proceedings of the 7th International Conference on Object-Oriented Information Systems (OOIS'01), Calgary, Canada, Springer, August.
14. Wang, Y. (2001), Lecture Notes on Theoretical Foundations of Software Engineering, SENG 609.19, Univ. of Calgary, Canada, pp.1-728.
15. Wang, Y. (2002), The Real-Time Process Algebra (RTPA), Annals of Software Engineering: An International Journal, Vol. 14, USA, Oct.
16. Wang, Y. (2002), On Cognitive Informatics, Keynote Lecture, Proceedings of the 1st IEEE International Conference on Cognitive Informatics (ICCI'02), Calgary, Canada, IEEE CS Press, August.
17. Wang, Y. and Y. Wang (2002), Cognitive Models of the Brain, Proceedings of the 1st IEEE International Conference on Cognitive Informatics (ICCI'02), Calgary, Canada, IEEE CS Press, August.
18. Wang, Y. (2002), A New Mathematics for Describing Notions and Thoughts in Software Design, Proceedings of the 1st IEEE International Conference on Cognitive Informatics (ICCI'02), Calgary, Canada, IEEE CS Press, August.
19. Wilson, L.B. and Clark, R.G. (1988), Comparative Programming Languages, Addison-Wesley Publishing Company, Wokingham, England.