Transnet: A method for transformational development of embedded software
- 31 August 1991
- journal article
- Published by Elsevier in Microprocessing and Microprogramming
- Vol. 32 (1) , 617-624
- https://doi.org/10.1016/0165-6074(91)90411-l
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Salient features of an executable specification language and its environmentIEEE Transactions on Software Engineering, 1986
- The operational versus the conventional approach to software developmentCommunications of the ACM, 1984
- Software Technology in the 1990's: Using a New ParadigmComputer, 1983