Abstract
This paper describes the design and implementation of an experimental software automation system (NDAUTO). By combining the transformational and procedural approaches in software automation, the system can transform software functional specifications written in a graphical specification language GSPEC to executable programs automatically. The equivalence between a specification and its corresponding program can be guaranteed by the system, and the correctness of the specification can also be validated. The main new points of the work lie in the design of the specification language, the transformation mechanism and the correctness validation of the specification.
Similar content being viewed by others
References
Dai Min, Yuan Feng, Chen Xiaoquen, Chen Daoxu and Xu Jiafu, Primary investigation in software automation, Proc. of National Conference on New Generation Computer Systems, 1987.
N.J. Nillson, Problem Solving Method in Artificial Intelligence, McGraw-Hill, 1971.
F.L. Baueret al., The wide spectrum language CIP-L,Lecture Notes in Computer Science, 183 (1985).
R. Balzer, A 15-year perspective on automatic programming,IEEE Trans. on Software Engineering, SE-11: 11 (1985).
P.D. Summers, A methodology for LISP program construction from examples,J. ACM,24:1 (1977).
M. Hamilton and S. Zeldin, Higher order software—a methodology for defining software,IEEE Trans. on Software Engineering, SE-2:1 (1976).
J.V. Guttag and J.J. Horning, The algebraic specification of abstract data types,Acta Informatica, 10 (1978).
J.V. Guttag, E. Horowitz and D.R. Musser, Abstract data types and software validation,CACM,21:12(1978).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Xu, J., Dai, M., Yuan, F. et al. NDAUTO: An experimental software automation system. J. of Comput. Sci. & Technol. 4, 97–105 (1989). https://doi.org/10.1007/BF02943357
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02943357