Theoretical and Pragmatic Issues in Software Engineering
Abstract
Although software engineering evolved pragmatically from efforts to develop practical paradigms for the development of reliable large-scale software systems, our work was based on the belief that significant progress would result from the kind of fundamental understanding that could only be obtained from deeper understanding of the underlying theoretical issues using models of computation fundamentally different from those studied in the now classical theory of computation. Our research has included relatively abstract theoretical work, empirical studies, and system implementation. Our underlying belief was that software engineering research should follow the standards typical of most fields of science and engineering, in which researchers develop theories based on accepted models in the field and practical observations which are then validated by empirical studies. We have seen our work as an integrated whole in which experiments and implementations can suggest theoretical developments which in turn lead to further empirical work.
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 30, 1990
- Accession Number
- ADA275723
Entities
People
- Elaine Weyuker
- Martin Davis
Organizations
- New York University