Formal Approaches to the Jackson Method (JSP)

LI Shixian, LI Wenjun. Formal Approaches to the Jackson Method (JSP)J. Journal of Computer Research and Development, 1991, 28(6): 49-52,37.

Citation:

LI Shixian, LI Wenjun. Formal Approaches to the Jackson Method (JSP)J. Journal of Computer Research and Development, 1991, 28(6): 49-52,37.

Citation:

LI Shixian, LI Wenjun. Formal Approaches to the Jackson Method (JSP)J. Journal of Computer Research and Development, 1991, 28(6): 49-52,37.

Abstract

Formalization of program design methods is a key to automatic programming.This paper describes several approaches to formalize the Jackson method of program design (JSP) using formal language,automata,formal transformation and semantic model respectively.Their advantages and disadvantages are also discussed.

FullText(HTML)

Turn off MathJax

Article Contents

Export File