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 -