Axiomatic Specifications in Firmware Development Systems
- 1 July 1986
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Software
- Vol. 3 (4) , 49-58
- https://doi.org/10.1109/ms.1986.234068
Abstract
Some key ideas originating in the domain of software technology have been used in the design of the architecture description language S*M.Keywords
This publication has 4 references indexed in Scilit:
- Verification of microprogrammed computer architectures in the S*-system: a case studyPublished by Association for Computing Machinery (ACM) ,1985
- Design and specification of microprogrammed computer architecturesPublished by Association for Computing Machinery (ACM) ,1985
- Hardware Description Languages in Microprogramming SystemsComputer, 1985
- A technique for software module specification with examplesCommunications of the ACM, 1972