The Community for Technology Leaders
Green Image
Issue No. 04 - July/August (1986 vol. 3)
ISSN: 0740-7459
pp: 49-58
S. Dasgupta , University of Southwestern Louisiana
ABSTRACT
Some key ideas originating in the domain of software technology have been used in the design of the architecture description language S*M.
INDEX TERMS
null
CITATION
P.A. Wilsey, J. Heinanen, S. Dasgupta, "Axiomatic Specifications in Firmware Development Systems", IEEE Software, vol. 3, no. , pp. 49-58, July/August 1986, doi:10.1109/MS.1986.234068
96 ms
(Ver 3.1 (10032016))