Towards an Application of FDT within OOAD

摘要

Formal Description Techniques and techniques of Object Oriented Analysis and Design are two major means for the development of complex, distributed and reliable software. Nevertheless, both techniques adress the problem from a different baseline. The main focus of FDT‘s is to ensure the correctness of the final system by the provision of extensive validation and verification methods. OOAD techniques on the other side focus on an efficient development process with smooth tran-sistions between the single stages. The paper investigates approaches to combine both techniques to increase the mutual benefits and two limit the shortcomings of them.