On mathematical laws of software

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5150 LNCS, Issue , 2008, Pages 46-83

  Wang, Yingxu ^a  

^a UNIVERSITY OF CALGARY   (Canada)

Author keywords

Algebraic laws; Analysis; Computational intelligence; Denotational mathematics; Generic model of software; Laws of meta processes; Laws of process relations; Mathematical models; Modeling; Process models; Programs; Software; Software engineering; Software science

Indexed keywords

ABSTRACTING; ALGEBRA; ARTIFICIAL INTELLIGENCE; COGNITIVE SYSTEMS; COMPUTER SYSTEMS; FUNCTIONS; INFORMATION RETRIEVAL SYSTEMS; MATHEMATICAL PROGRAMMING; MATHEMATICAL TECHNIQUES; MODELS; SOFTWARE ARCHITECTURE; SOFTWARE ENGINEERING;

ALGEBRAIC LAWS; ANALYSIS; COMPUTATIONAL INTELLIGENCE; DENOTATIONAL MATHEMATICS; GENERIC MODEL OF SOFTWARE; LAWS OF META-PROCESSES; LAWS OF PROCESS RELATIONS; MODELING; PROCESS MODELS; PROGRAMS; SOFTWARE; SOFTWARE SCIENCE;

MATHEMATICAL MODELS;

EID: 55249124546     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87563-5_4     Document Type: Conference Paper

References (53)

1. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools, New York. Addison-Wesley Publication Co, Reading (1985)
2. Baeten, J.C.M., Bergstra, J.A.: Real Time Process Algebra. Formal Aspects of Computing 3, 142-188 (1991)
3. Boole, G.: The Laws of Thought, Prometheus Books, NY (1854) (reprint, 2003)
4. Boucher, A., Gerth, R.: A Timed Model for Extended Communicating Sequential Processes. In: Ottmann, T. (ed.) ICALP 1987. LNCS, vol. 267. Springer, Heidelberg (1987)
5. Cardelli, L., Wegner, P.: On Understanding Types, Data Abstraction and Polymorphism. ACM Computing Surveys 17(4), 471-522 (1985)
6. Chomsky, N.: Three Models for the Description of Languages. I.R.E. Transactions on Information Theory 2(3), 113-124 (1956)
7. Chomsky, N.: On Certain Formal Properties of Grammars. Information and Control 2, 137-167 (1959)
8. Dierks, H.: A Process Algebra for Real-Time Programs. In: Maibaum, T.S.E, (ed.) ETAPS 2000 and FASE 2000. LNCS, vol. 1783, pp. 66-76. Springer, Heidelberg (2000)
9. Dijkstra, E.W.: A Discipline of Programming. Prentice Hall, Englewood Cliffs (1976)
10. Fecher, H.: A Real-Time Process Algebra with Open Intervals and Maximal Progress. Nordic Journal of Computing 8(3), 346-360 (2001)
11. Goguen, J.A., Thatcher, J.W., Wagner, E.G., Wright, J.B.: Initial Algebra Semantics and Continuous Algebras. Journal of the ACM 24(1), 59-68 (1977)
12. Higman, B.: A Comparative Study of Programming Languages, 2nd edn. MacDonald (1977)
13. Hoare, C.A.R.: An Axiomatic Basis for Computer Programming. Communications of the ACM 12(10), 576-580 (1969)
14. Hoare, C.A.R.: Communicating Sequential Processes. Communications of the ACM 21(8), 666-677 (1978)
15. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International, London (1985)
16. Hoare, C.A.R., Hayes. I.J., He, J., Morgan, C.C., Roscoe, A.W., Sanders, J.W., Sorensen, I.H., Spivey, J.M., Sufrin, B.A.: Laws of Programming. Communications of he ACM 30(8), 672-686 (1987)
17. Klusener, A.S.: Abstraction in Real Time Process Algebra. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol. 600, pp. 325-352. Springer, Heidelberg (1992)
18. Louden, K.C.: Programming Languages: Principles and Practice. PWS-Kent Publishing Co., Boston (1993)
19. Martin-Lof, P.: An Intuitionistic Theory of Types: Predicative Part. In: Rose, H., Shepherdson, J.C. (eds.) Logic Colloquium 1973. North-Holland, Amsterdam (1975)
20. Milner, R.: A Calculus of Communicating Systems. LNCS, vol. 92. Springer, Heidelberg (1980)
21. McDermid, J.A. (ed.): Software Engineer's Reference Book. Butterworth-Heinemann Ltd., Oxford (1991)
22. Mitchell, J.C.: Type systems for programming languages. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, pp. 365-458. North Holland, Amsterdam ( 1990)
23. Nicollin, X., Sifakis, J.: An Overview and Synthesis on Timed Process Algebras. In: Larsen, K.G., Skou, A. (eds.) CAV 1991. LNCS, vol. 575, pp. 376-398. Springer, Heidelberg (1992)
24. Parnas, D.L., Clements, P.C.: A Rational Design Process: How and Why to Fake It. IEEE Trans. on Software Engineering 12(2), 251-257 (1986)
25. Reed, G.M., Roscoe, A.W.: A Timed model for Communicating Sequential Processes. In: Kott, L. (ed.) ICALP 1986. LNCS, vol. 226. Springer, Heidelberg (1986)
26. Scott, D.S., Strachey, C.: Towards a Mathematical Semantics for Computer Languages, Programming Research Group Technical Report PRG-1-6, Oxford University (1971)
27. Schneider, S.A.: An Operational Semantics for Timed CSP, Programming Research Group Technical Report TR-1-91, Oxford University (1991)
28. Stubbs, D.F., Webre, N.W.: Data Structures with Abstract Data Types and Pascal. Brooks/Cole Publishing Co., Monterey (1985)
29. Tan, X., Wang, Y., Ngolah, C.F.: A Novel Type Checker for Software System Specifications in RTPA. In: Proc. 17th Canadian Conference on Electrical and Computer Engineering (CCECE 2004), Niagara Falls, ON, Canada, pp. 1549-1552. IEEE CS Press, Los Alamitos (2004)
30. Tan, X., Wang, Y., Ngolah, C.F.: Design and Implementation of an Automatic RTPA Code Generator. In: Proc. 19th Canadian Conference on Electrical and Computer Engineering (CCECE 2006), Ottawa, ON, Canada, pp. 1605-1608 (May 2006)
31. Tarski, A.: The Semantic Conception of Truth. Philosophic Phenomenological Research 4, 13-47 (1944)
32. Wang, Y.: The Real-Time Process Algebra (RTPA). Annals of Software Engineering: A International Journal 14, 235-274 (2002)
33. Wang, Y.: On Cognitive Informatics (Keynote Speech). In: Proc. 1st IEEE International Conference on Cognitive Informatics (ICCI 2002), Calgary, Canada, pp. 34-42. IEEE CS Press, Los Alamitos (2002)
34. Wang, Y.: On Cognitive Informatics. Brain and Mind: A Transdisciplinary Journal of Neuroscience and Neurophilosophy, USA 4(3), 151-167 (2003)
35. Wang, Y.: Using Process Algebra to Describe Human and Software System Behaviors. Brain and Mind 4(2), 199-213 (2003)
36. Wang, Y.: On the Informatics Laws and Deductive Semantics of Software. IEEE Transactions on Systems, Man, and Cybernetics (C) 36(2), 161-171 (2006)
37. Wang, Y.: Keynote: Cognitive Informatics - Towards the Future Generation Computers that Think and Feel. In: Proc. 5th IEEE International Conference on Cognitive Informatics (ICCI 2006), Beijing, China, pp. 3-7. IEEE CS Press, Los Alamitos (2006)
38. Wang, Y.: Cognitive Informatics and Contemporary Mathematics for Knowledge Representation and Manipulation (Invited Plenary Talk). In: Wang, G.-Y., Peters, J.F., Skowron, A., Yao, Y. (eds.) RSKT 2006. LNCS (LNAI), vol. 4062, pp. 69-78. Springer, Heidelberg (2006)
39. Wang, Y.: Software Engineering Foundations: A Software Science Perspective. CRC Series in Software Engineering, vol. II. Auerbach Publications, NY, USA (2007)
40. Wang, Y.: The Theoretical Framework of Cognitive Informatics. International Journal of Cognitive Informatics and Natural Intelligence 1(1), 1-27 (2007)
41. Wang, Y.: Keynote: On Theoretical Foundations of Software Engineering and Denotational Mathematics. In: Proc. 5th Asian Workshop on Foundations of Software, Xiamen, China, pp. 99-102 (2007)
42. Wang, Y.: On the Big-R Notation for Describing Iterative and Recursive Behaviors. International Journal of Cognitive Informatics and Natural Intelligence 2(1), 17-28 (2008)
43. Wang, Y.: Deductive Semantics of RTPA. International Journal of Cognitive Informatics and Natural Intelligence 2(2), 95-121 (2008)
44. Wang, Y.: On Concept Algebra: A Denotational Mathematical Structure for Knowledge and Software Modeling. International Journal of Cognitive Informatics and Natural Intelligence 2(2), 1-19 (2008)
45. Wang, Y.: On System Algebra: A Denotational Mathematical Structure for Abstract System modeling. International Journal of Cognitive Informatics and Natural Intelligence 2(2), 20-42 (2008)
46. Wang, Y.: RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors. International Journal of Cognitive Informatics and Natural Intelligence 2(2), 44-62 (2008)
47. Wang, Y.: On Laws of Work Organization in Human Cooperation. International Journal of Cognitive Informatics and Natural Intelligence 1(2), 1-15 (2008)
48. Wang, Y.: On Contemporary Denotational Mathematics for Computational Intelligence. In: Gavrilova, M.L., et al. (eds.) Transactions on Computational Science, II. LNCS, vol. 5150, pp. 6-29. Springer, Heidelberg (2008)
49. Wang, Y., Noglah, C.F.: Formal Specification of a Real-Time Lift Dispatching System. In: Proc. 2002 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE 2002), Winnipeg, Manitoba, Canada, pp. 669-674 (May 2002)
50. Wang, Y., Noglah, C.F.: Formal Description of Real-Time Operating Systems using RTPA. In: Proc. 2003 Canadian Conference on Electrical and Computer Engineering (CCECE 2003), Montreal, Canada, pp. 1247-1250. IEEE CS Press, Los Alamitos (2003)
51. Wang, Y., Zhang, Y.: Formal Description of an ATM System by RTPA. In: Proc. 16th Canadian Conference on Electrical and Computer Engineering (CCECE 2003), Montreal, Canada, pp. 1255-1258. IEEE CS Press, Los Alamitos (2003)
52. Wilson, L.B., Clark, R.G.: Comparative Programming Language. Addison-Wesley Publishing Co, Reading (1988)
53. Woodcock, J., Davies, J.: Using Z: Specification, Refinement, and Proof. Prentice Hall International, London (1996)