On the mathematical laws of software

Canadian Conference on Electrical and Computer Engineering

Volumn 2005, Issue , 2005, Pages 1124-1127

  Wang, Yingxu ^a  

^a UNIVERSITY OF CALGARY   (Canada)

Author keywords

Case studies; Mathematical models; Process algebra; Process composition laws; Process laws; RTPA; Software engineering

Indexed keywords

ALGEBRA; COMPUTER ARCHITECTURE; MATHEMATICAL MODELS; REAL TIME SYSTEMS; SOFTWARE ENGINEERING;

CASE STUDIES; PROCESS ALGEBRA; PROCESS COMPOSITION LAWS; PROCESS LAWS; REAL TIME PROCESS ALGEBRA (RTPA); SOFTWARE PROCESSES;

COMPUTER SOFTWARE;

EID: 33751330719     PISSN: 08407789     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CCECE.2005.1557174     Document Type: Conference Paper

References (6)

1. Dijkstra, E.W. (1976), A Discipline of Programming, Prentice Hall.
2. Hoare, C.A.R. (1969), An Axiomatic Basis for Computer Programming, Communications of the ACM, Vol.12, No.10, pp.576-583.
3. 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 (1987), Laws of Programming, Communications of he ACM, Vol.30, No.8, August, pp. 672-686.
4. Wang, Y. (2002), The Real-Time Process Algebra (RTPA), The International Journal of Annals of Software Engineering, Vol.14, USA, pp. 235-274.
5. Wang, Y. (2005), On the Informatics Laws and Deductive Semantics of Software, IEEE Transactions on Systems, Man, and Cybernetics, Vol. 35, to appear.
6. Wang, Y. (2005), Software Engineering Foundations: A Transdisciplinary and Rigorous Perspective, CRC Book Series in Software Engineering, Vol.2, CRC Press, USA.