This article surveys techniques used in structured andobject-oriented software specification methods. The techniques areclassified as techniques for the specification of external interactionand internal decomposition. The e......