Semi-Automatic Program Construction From Specifications Using Library Modules.

Autor: Nishida, Fujio, Takamatsu, Shinobu, Fujita, Yoneharu, Tani, And Tadaaki

Publikováno v: IEEE Transactions on Software Engineering; Sep91, Vol. 17 Issue 9, p853-883, 21p, 4 Color Photographs, 11 Diagrams, 4 Charts