Design and Implementation of a Support Environment for Communication Software Development based on Formal Methods


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 5, No. 6, pp. 1537-1551, Jun. 1998
10.3745/KIPSTE.1998.5.6.1537,   PDF Download:

Abstract

Systematic paradigms methodologies for computer communication software development are essentially required to cope with diverse system requirements and expectations, to be appeared in the future advanced information society actively and effectively This paper describes (1) and integrated editor which has relatively high user friendliness than other conventional structured editors for formal description such as G-LOTOS editors, (2) an automatic translation function to LOTOS from the expression made by the proposed editor, and (3) a software reuse methodology in formal specification level. As a result, a user can generate a formal specification based on LOTOS even if he/she does not have sufficient knowledges and experiences on a specific FDT. This can also reduce the effort required for the initial learning than using a specific FDT directly.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
L. E. Seok, "Design and Implementation of a Support Environment for Communication Software Development based on Formal Methods," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 5, no. 6, pp. 1537-1551, 1998. DOI: 10.3745/KIPSTE.1998.5.6.1537.

[ACM Style]
Lee Eun Seok. 1998. Design and Implementation of a Support Environment for Communication Software Development based on Formal Methods. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 5, 6, (1998), 1537-1551. DOI: 10.3745/KIPSTE.1998.5.6.1537.