Bjorner, D
(South African Computer Society (SAICSIT), 1998)
In this paper we show how details of a software design emerges in two steps: software architecture and program organisation and from first having established careful descriptions of the application domain and of functional ...