Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
Citations and related work are crucial in any research to position the work and to build on the work of others. A high citation count is an indication of the influence of specific...
Software engineering courses offer one of many opportunities for providing students with a significant experience in declarative programming. This report discusses some results fr...
Most large research universities include a software design or software development course as a required or elective component of an undergraduate computer science major. For vario...
User interface design is still more of an art than a science. Interface design and redesign is mostly based on empirical studies or prototypes but there is still surprisingly litt...