Object-Oriented Specification

Dimitri Schischkin Z.ppt - 5 Specification at Design phase „ ... Software development is a cooperative activity involving many developers. ... they need to come to some understanding of their roles. .. Much of the division of labour of traditional software development was based on the idea that one more experienced developer would decide how the system was to be decomposed, and then give the specifications of the modules to the less experienced to implement. ... system get more complex, ... Fundamental misunderstanding ... of the interfaces between the modules. ... software engineer ... fixes the requirements and the developers furnish program material to meet them. If the pieces to be constructed are very large, then the decomposi tionof those requirements might be the responsibility of another software engineer“. Formal methods can by useful „for recording in a precise way some of the many decisions that are made in the course of the development of software.“ „Formal methods, when integrated with object-oriented techniques, allow ... the precise specification of the semantics of the methods of classes and hence the interfaces of classes“