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