Book review: SOFTWARE PROTYPING, FORMAL METHODS AND VDM by Sharam Hekmatpour and Darrel Ince (Addison-Wesley, 1988)
Lindsay J. Groves · ACM SIGCHI Bulletin · 1990
This book is about rapid software prototyping based on formal methods. The first three chapters comprise an introduction to rapid prototyping, beginning with an examination of the traditional software life-cycle and the problems which motivate the need for rapid prototyping, followed by a review of current approaches and techniques. The remaining seven chapters and the two appendices describe and illustrate a particular prototyping methodology and a prototyping environment, called EPROS, which supports this methodology.