Title :
System science models of software engineering
Author_Institution :
Dept. of Electr. & Comput. Eng., Calgary Univ., Alta.
Abstract :
This paper presents a mathematical theory of system algebra and its applications in software engineering. A rigorous treatment of abstract systems is described, and the algebraic relations and operations of abstract systems are analyzed. The taxonomy of various real-world systems is derived. An important properly of system known as the system fusion effect is formally modeled. On the basis of the formal system theory, a wide range of software engineering phenomena can be explained and solved as system engineering problems
Keywords :
mathematical analysis; software engineering; abstract systems; algebraic relations; formal system theory; mathematical theory; software engineering; system algebra; system fusion effect; system science models; taxonomy; Algebra; Application software; Drives; Geometry; Knowledge engineering; Mathematical model; Physics; Software engineering; Systems engineering and theory; Taxonomy;
Conference_Titel :
Electrical and Computer Engineering, 2005. Canadian Conference on
Conference_Location :
Saskatoon, Sask.
Print_ISBN :
0-7803-8885-2
DOI :
10.1109/CCECE.2005.1557334
