A Survey of Structured and Object-Oriented Software Specification Methods and Techniques