Specifications in software prototyping
Chang, Carl K.
We explore the use of software speci®cations for software prototyping. This paper describes a process model for software prototyping,
and shows how specifications can be used to support such a process via a cellular mobile phone switch example.