16725 search results - page 28 / 3345 » Engineering Software Correctness |
CSEE
2003
Springer
15 years 5 months ago
2003
Springer
Most software engineering courses focus exclusively on the software development process, often referring to problems related to the complexity of software products and processes. ...
ICSE
2010
IEEE-ACM
14 years 10 months ago
2010
IEEE-ACM
Due to the negative impact of code cloning on software maintenance efforts as well as on program correctness [4–6], the duplication of code is generally viewed as problematic. ...
ICSE
2005
IEEE-ACM
15 years 11 months ago
2005
IEEE-ACM
The need for software architecture evaluation has drawn considerable attention in recent years. In practice, this is a challenging exercise for two main reasons. First, in deploye...
CGO
2004
IEEE
15 years 3 months ago
2004
IEEE
Traditionally, software pipelining is applied either to the innermost loop of a given loop nest or from the innermost loop to outer loops. In this paper, we propose a threestep ap...
115
click to vote
KBSE
2010
IEEE
14 years 10 months ago
2010
IEEE
Named constants are used heavily in operating systems code, both as internal flags and in interactions with devices. Decision making within an operating system thus critically de...