The new software development methodologies that emerged as a result
of the research of the 1970s were called top-down design and stepwise
refinement. The primary programming language deficiencies that were discovered
were incompleteness of type checking and inadequacy of control statements
(requiring the extensive use of gotos).