Issue No. 04 - July/August (1986 vol. 3)
S. Dasgupta , University of Southwestern Louisiana
Some key ideas originating in the domain of software technology have been used in the design of the architecture description language S*M.
P. Wilsey, J. Heinanen and S. Dasgupta, "Axiomatic Specifications in Firmware Development Systems," in IEEE Software, vol. 3, no. , pp. 49-58, 1986.