Software design methodologies for microc
✍
R.D. Dowsing
📂
Article
📅
1982
🏛
Elsevier Science
🌐
English
⚖ 665 KB
It is the development phase of the software lifecycle which has attracted a great deal of interest in the last few years. This paper surveys the stages in software production and the need for a rigorous, formal approach. This type of approach is illustrated by the development of a program for a micr