On the informatics laws and deductive semantics of software

IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews

Volumn 36, Issue 2, 2006, Pages 161-171

  Wang, Yingxu ^a  

^a UNIVERSITY OF CALGARY   (Canada)

Author keywords

Cognitive informatics; Constraint laws of software; Deductive semantics; Foundations; Informatics properties; Metaphors on software; Semantic analysis; Software engineering

Indexed keywords

COGNITIVE SYSTEMS; COMPUTER SCIENCE; COMPUTER SOFTWARE; INFORMATION SCIENCE; LAWS AND LEGISLATION; MATHEMATICAL MODELS; SOFTWARE ENGINEERING;

COGNITIVE INFORMATICS; CONSTRAINT LAWS OF SOFTWARE; DEDUCTIVE SEMANTICS; INFORMATICS PROPERTIES; SEMANTIC ANALYSIS;

SEMANTICS;

EID: 33646000266     PISSN: 10946977     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCC.2006.871138     Document Type: Article

References (23)

1. A. V. Aho, R. Sethi, and J. D. Ullman, Compilers: Principles, Techniques, and Tools. Reading, MA: Addison-Wesley, 1985.
2. D. Bjorner and C. B. Jones, Formal Specification and Software Development. Englewood Cliffs, NJ: Prentice-Hall.
3. J. D. Cutnell and K. W. Johnson, Physics, 4th ed. New York: Wiley, 1998.
4. E. W. Dijkstra, "Guarded commands, nondeterminacy, and the formal derivation of programs," Commun. ACM, vol. 18, no. 8, pp. 453-457, Aug. 1975.
5. J. Goguen and G. Malcolm, Algebraic Semantics of Imperative Programming. Cambridge, MA: MIT Press, 1996.
6. D. Gries, The Science of Programming. New York: Springer-Verlag, 1981.
7. J. Hartmanis, "On computational complexity and the nature of computer science, 1994 Turing Award Lecture," Commun. ACM, vol. 37, no. 10, pp. 37-43, 1994.
8. C. A. R. Hoare, "An axiomatic basis for computer programming," Commun. ACM, vol. 12, no. 10, pp. 576-580, Oct. 1969.
9. Communicating Sequential Processes. London, U.K.: Prentice-Hall, 1985.
10. K. C. Louden, Programming Languages: Principles and Practice. Boston: PWS-Kent, 1993.
11. J. A. McDermid, Ed., Software Engineer's Reference Book. Oxford, U.K.: Butterworth, 1991.
12. D. Schmidt, Denotational Semantics: A Methodology for Language Development. Dubuque, IA: W. C. Brown, 1988.
13. D. Scott, "Domains for denotational semantics," in Automata, Languages and Programming IX. Berlin, Germany: Springer-Verlag, 1982, pp. 577-613.
14. K. Slonneg and B. Kurts, Formal Syntax and Semantics of Programming Languages. Reading, MA: Addison-Wesley, 1995.
15. Y. Wang and G. King, Software Engineering Processes: Principles and Applications. Boca Raton, FL: CRC, 2000, p. 752.
16. Y. Wang, "The real-time process algebra (RTPA)," Ann. Software Eng. Intl. J., vol. 14, pp. 235-274, 2002.
17. Y. Wang, "On cognitive informatics, Keynote Lecture," in Proc. 1st IEEE Int. Conf. Cognitive Informatics (ICCI' 02), Calgary, AB, Canada, Aug. 2002, pp. 34-42.
18. Y. Wang, "On cognitive informatics," Brain Mind: Transdisciplinary J. Neurosci. Neurophil., vol. 4, no. 2, pp. 151-167, 2003.
19. Y. Wang, "Using process algebra to describe human and software system behaviors," Brain Mind: Transdisciplinary J. Neurosci. Neurophil., vol. 4, no. 2, pp. 199-213, 2003.
20. Y. Wang and Y. Wang, "Cognitive informatics models of the brain," IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol. 36, no. 2, pp. 203-207, Mar. 2006.
21. Y. Wang, "On the big-R notation for describing interactive and recursive behaviors," in Proc 2006 IEEE Int. Conf. Cognitive Informatics (ICCI' 06), Beijing, China, Jul. 2006.
22. Y. Wang, Software Engineering Foundations: A Multidisciplinary Perspective. CRC Software Engineering Series, vol. 2, Boca Raton, FL: CRC Press, 2006.
23. Y. Wang, "On the mathematical laws of software," in Proc. 18th Canadian Conf. Electrical and Computer Engineering (CCECE' 05), Saskatoon, SK, Canada, May 1-4, 2005, pp. 1086-1089.