1587 search results - page 233 / 318 » Software Engineering Programmes are not Computer Science Pro... |
101
Voted
ISESE
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper reports an evaluation the utility of ISO/IEC 9126. ISO/IEC 9126 is an international standard intended to ensure the quality of all software-intensive products including...
113
click to vote
FM
2008
Springer
15 years 4 months ago
2008
Springer
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
117
click to vote
FOSSACS
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we present a theorem for defining fixed-points in categories of sheaves. This result gives a unifying and general account of most techniques used in computer science ...
167
click to vote
PEPM
1995
ACM
15 years 6 months ago
1995
ACM
Interpretation and Low-Level Code Optimization Saumya Debray Department of Computer Science University of Arizona Tucson, AZ 85715 Abstract interpretation is widely accepted as a ...
147
Voted
CSCW
2004
ACM
15 years 8 months ago
2004
ACM
The lack of lightweight communication channels and other technical and sociological difficulties make it hard for new members of a non-collocated software development team to lea...