A new mathematical notation for describing notion and thought in software design

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

Volumn , Issue , 2002, Pages 193-202

  Wang, Yingxu ^a  

^a UNIVERSITY OF CALGARY   (Canada)

Author keywords

Cognitive informatics; dynamic behaviors; formal methods; notion description; RTPA; software architecture; software engineering; static behaviors

Indexed keywords

ALGORITHMS; APPLICATION PROGRAMS; FORMAL METHODS; INFORMATION SCIENCE; MEMORY ARCHITECTURE; SOFTWARE ARCHITECTURE; SOFTWARE ENGINEERING;

COGNITIVE INFORMATICS; DYNAMIC BEHAVIORS; NOTION DESCRIPTION; RTPA; STATIC BEHAVIORS;

SOFTWARE DESIGN;

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

References (19)

1. Baeten, J.C.M. and J. A. Bergstra (1991), Real Time Process Algebra, Formal Aspects of Computing, Vol.3, pp.142-188.
2. Cerone A. (2000), Process Algebra versus Axiomatic Specification of a Real-Time Protocol, LNCS, Vol.1816, Springer, Berlin, pp.57-67.
3. Derrick, J. and E. Boiten (2001), Refinement in Z and Object-Z: Foundations and Advanced Applications, Springer-Verlag, London.
4. Dierks, H. (2000), A Process Algebra for Real-Time Programs, Lecture Notes in Computer Science, Vol. 1783, Springer, Berlin, pp. 66-76.
5. Fecher, H. (2001), A Real-Time Process Algebra with Open Intervals and Maximal Progress, Nordic Journal of Computing, Vol.8, No.3, pp.346-360.
6. Gerber, R., E. L. Gunter, and I. Lee (1992), Implementing a Real-Time Process Algebra, in Archer, M., J.J. Joyce, K.N. Levitt and Phillip J. Windley eds., Proceedings of the International Workshop on the Theorem Proving System and its Applications, IEEE Computer Society Press, Los Alamitos, CA, USA, August, pp.144-154.
7. Hoare, C.A.R. (1985), Communicating Sequential Processes, Prentice-Hall Inc., ISBN 0-13-153271-8.
8. nd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS Vol. 571, Springer-Verlag, Nijmegen, The Netherlands, pp.493-506.
9. Klusener, A.S. (1992), Abstraction in Real Time Process Algebra, in J. W. de Bakker, C. Huizing, W. P. de Roever, and G. Rozenberg eds., Proceedings of Real-Time: Theory in Practice, LNCS, Springer, Berlin, pp. 325-352.
10. Martin-Lof, Per (1975), An Intuitionist Theory of Types: Predicative Part, in H. Rose and J.C. Shepherdson (eds.), Logic Colloquium 1973, North-Holland.
11. Milner, R. (1989), Communication and Concurrency, Prentice-Hall, Englewood Cliffs, NJ.
12. Nicollin, X. and J. Sifakis (1991), An Overview and Synthesis on Timed Process Algebras, Proc. 3rd International Computer Aided Verification Conference, pp. 376-398.
13. Vereijken, J.J. (1995), A Process Algebra for Hybrid Systems, in A. Bouajjani and O. Maler eds., Proceedings Second European Workshop on Real-Time and Hybrid Systems, Grenoble, France, June.
14. Wang, Y. (2002), The Real-Time Process Algebra (RTPA), Annals of Software Engineering, Vol.14, USA, Oct.
15. nd ASERC Workshop on Quantitative and Soft Computing Based Software Engineering (QSSE'02), April, Banff, AB., Canada.
16. Wang, Y. and Foinjong, N.C. (2002), Formal Specification of a Real-Time Lift Dispatching System, Proceedings of the 2002 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE'02), Winnipeg, Manitoba, Canada, May.
17. Wang, Y. (2001), Formal Description of the UML Architecture and Extendibility, The International Journal of the Object, Hermes Science Publications, Paris, Vol. 6, No.4, pp.469-488.
18. Wang, Y. and King, G. (2000), Software Engineering Processes: Principles and Applications, CRC Press, USA, ISBN: 0-8493-2366-5, 752 pp.
19. Wang, Y. (2002), On the Informatics Laws of Software, Keynote Lecture, Proceedings of the 1st IEEE International Conference on Cognitive Informatics (ICCI'02), Calgary, Canada, IEEE CS Press, August.