Sciweavers

5961 search results - page 46 / 1193
» Design Science and Software Engineering
Sort
View
CAISE
2005
Springer
14 years 2 months ago
The Logic of Correctness in Software Engineering
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, ...
Mark Priestly
INFSOF
2008
93views more  INFSOF 2008»
13 years 8 months ago
An analysis of the most cited articles in software engineering journals - 2001
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...
Claes Wohlin
JFP
2007
126views more  JFP 2007»
13 years 8 months ago
Engineering Software Correctness
Software engineering courses offer one of many opportunities for providing students with a significant experience in declarative programming. This report discusses some results fr...
Rex L. Page
ITICSE
2003
ACM
14 years 2 months ago
Teaching undergraduate software design in a liberal arts environment using RoboCup
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...
Timothy Huang, Frank Swenton
AUIC
2005
IEEE
14 years 2 months ago
The Semiotics of User Interface Redesign
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...
Jennifer Ferreira, Pippin Barr, James Noble