TY - JOUR
T1 - Toward the maturity of software engineering
T2 - Universal, formal, and mathematical definition for value and operation as two basic concepts of computing
AU - Hutabarat, Bernaridho I.
AU - Purnama, Ketut E.
AU - Hariadi, Mochamad
PY - 2013/11
Y1 - 2013/11
N2 - The presence of informal and redundant definitions of basic concepts of computing / programming prohibits the advances of software engineering. This problem is not addressed by all literatures of software engineering about formal methods. A paper by the present authors have provided partial solution by establishing Type and Object as two (out of four) disjoint basic concepts of computing and programming. This paper proposes the remaining two of the four basic concepts. With the substitution test, this paper shows that informality and redundancy of concepts in the widely referenced publications have led to another problem: the circularity of concept. Our proposed concepts have the opposite properties: formal, unique, and non-circular. The definitions are independent toward programming paradigms. The solution requires the formal definition for expression and operand, a semi-formal definition for statement; and the removal of synonyms like invoke, invocation, parameter and argument. Current standard of software engineering has five synonyms for operation, two synonyms for value, and two synonyms for operand. This paper proposes unique terms, proposes semi-formal and formal definitions for two basic concepts: operation and value. It gives way to advancing the software engineering as a mature discipline.
AB - The presence of informal and redundant definitions of basic concepts of computing / programming prohibits the advances of software engineering. This problem is not addressed by all literatures of software engineering about formal methods. A paper by the present authors have provided partial solution by establishing Type and Object as two (out of four) disjoint basic concepts of computing and programming. This paper proposes the remaining two of the four basic concepts. With the substitution test, this paper shows that informality and redundancy of concepts in the widely referenced publications have led to another problem: the circularity of concept. Our proposed concepts have the opposite properties: formal, unique, and non-circular. The definitions are independent toward programming paradigms. The solution requires the formal definition for expression and operand, a semi-formal definition for statement; and the removal of synonyms like invoke, invocation, parameter and argument. Current standard of software engineering has five synonyms for operation, two synonyms for value, and two synonyms for operand. This paper proposes unique terms, proposes semi-formal and formal definitions for two basic concepts: operation and value. It gives way to advancing the software engineering as a mature discipline.
KW - Basic concept
KW - Expression
KW - Operation
KW - Statement
KW - Value
UR - http://www.scopus.com/inward/record.url?scp=84888771558&partnerID=8YFLogxK
M3 - Article
AN - SCOPUS:84888771558
SN - 1992-8645
VL - 57
SP - 594
EP - 606
JO - Journal of Theoretical and Applied Information Technology
JF - Journal of Theoretical and Applied Information Technology
IS - 3
ER -