|
| This Article | ||
| | ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
July/August 1986 (vol. 3 no. 4)
pp. 49-58
| ASCII Text | x | ||
| S. Dasgupta, P.A. Wilsey, J. Heinanen, "Axiomatic Specifications in Firmware Development Systems," IEEE Software, vol. 3, no. 4, pp. 49-58, July/August, 1986. | |||
| BibTex | x | ||
| @article{ 10.1109/MS.1986.234068, author = {S. Dasgupta and P.A. Wilsey and J. Heinanen}, title = {Axiomatic Specifications in Firmware Development Systems}, journal ={IEEE Software}, volume = {3}, number = {4}, issn = {0740-7459}, year = {1986}, pages = {49-58}, doi = {http://doi.ieeecomputersociety.org/10.1109/MS.1986.234068}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - MGZN JO - IEEE Software TI - Axiomatic Specifications in Firmware Development Systems IS - 4 SN - 0740-7459 SP49 EP58 EPD - 49-58 A1 - S. Dasgupta, A1 - P.A. Wilsey, A1 - J. Heinanen, PY - 1986 KW - null VL - 3 JA - IEEE Software ER - | |||
Some key ideas originating in the domain of software technology have been used in the design of the architecture description language S*M.
Citation:
S. Dasgupta, P.A. Wilsey, J. Heinanen, "Axiomatic Specifications in Firmware Development Systems," IEEE Software, vol. 3, no. 4, pp. 49-58, July-Aug. 1986, doi:10.1109/MS.1986.234068
Usage of this product signifies your acceptance of the Terms of Use.