The role of formal methods in managing complexity
This chapter examines the role of formal methods within the software development process. In particular the case is made that the formal development paradigm, emphasising as it does abstraction, stepwise reification and the processes of justification fits in well with the traditional contractual model of software development. In so doing the activity of producing abstract specifications relates to the requirements analysis and specification phases, so necessary in large scale software production. The activity of reification equates with the tasks of producing system, sub-system or object level specifications. The justification process provides a basis for effectively structuring reviews and for arguing “why” a design is correct.
The role of formal methods in managing complexity, Page 1 of 2
< Previous page Next page > /docserver/preview/fulltext/books/pc/pbcm017e/PBCM017E_ch3-1.gif /docserver/preview/fulltext/books/pc/pbcm017e/PBCM017E_ch3-2.gif