This paper deals with what might be called the top level design of an interactive computer system. It examines some problems which arise in trying to specify what the user inter...
This paper discusses modularization as a mechanism for improving the flexibility and comprehensibility of a system while allowing the shortening of its development time. The eff...
This paper presents an approach to writing specifications for parts of software systems. The main goal is to provide specifications sufficiently precise and complete that other ...
Computer Science Department
Computer Science Department
This is a report on a course entitled, “Software Engineering Methods”, which I have taught to undergraduate students at the Carnegie-Mellon University twice during the 1970-71 a...
Computer Science Department
h-index: Number of publications with at least h citations each.