A New Mathematical Notation for Describing Notion and Thought in Software Design

  title={A New Mathematical Notation for Describing Notion and Thought in Software Design},
  author={Yingxu Wang},
  booktitle={IEEE ICCI},
Conventional software description is algorithmbased. However, a large part of things in software description are non-algorithmic and non-functional, such as those of system architectures, dynamic behaviors, performance, and quality. Therefore, contemporary concept in software description has been shifted from algorithms to software architectures and behaviors Software behaviors can be modeled as a 3-D representation comprising mathematical operations, event/process timing, and memory… CONTINUE READING


Publications citing this paper.
Showing 1-3 of 3 extracted citations


Publications referenced by this paper.
Showing 1-10 of 16 references

Formal Specification of a Real-Time Lift Dispatching System

  • Y. Wang, N. C. Foinjong
  • Proceedings of the 2002 IEEE Canadian Conference…
  • 2002
Highly Influential
8 Excerpts

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

  • Y. Wang
  • Proceedings of the First IEEE International…
  • 2002
1 Excerpt

Software Engineering Processes: Principles and Applications, CRC Press, USA, ISBN: 0-8493-2366-5

  • Y. Wang, G. King
  • 2000
2 Excerpts

Similar Papers

Loading similar papers…