1799 search results - page 35 / 360 » The Logic of Correctness in Software Engineering |
114
click to vote
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
It is difficult to write device drivers. One factor is that writing low-level code for accessing devices and manipulating their registers is tedious and error-prone. For many syst...
124
click to vote
ICSM
2009
IEEE
15 years 8 months ago
2009
IEEE
Existing studies on the maintenance of open source projects focus primarily on the analyses of the overall maintenance of the projects and less on specific categories like the co...
111
click to vote
ENTCS
2006
15 years 2 months ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
CHI
2003
ACM
16 years 2 months ago
2003
ACM
Despite their ability to help with program correctness, assertions have been notoriously unpopular--even with professional programmers. End-user programmers seem even less likely ...
145
click to vote
FASE
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Reference process models capture recurrent business operations in a given domain such as procurement or logistics. These models are intended to be configured to fit the r...