612 search results - page 57 / 123 » Division for Foundation of Software |
149
click to vote
COMPUTER
2007
15 years 4 months ago
2007
ems, using abstractions that actually remove physical constraints from consideration. At the other, embedded systems design goes beyond the traditional expertise of electrical engi...
110
click to vote
IWPC
2005
IEEE
15 years 9 months ago
2005
IEEE
Approximately 70% of the source code of a software system consists of identifiers. Hence, the names chosen as identifiers are of paramount importance for the readability of comp...
134
Voted
JSS
2006
15 years 4 months ago
2006
Estimating software size is a difficult task that requires a methodological approach. Many different methods that exist today use distinct abstractions to depict a software system...
159
click to vote
ISSTA
2012
ACM
13 years 6 months ago
2012
ACM
Recent research has suggested that a large class of software bugs fall into the category of inconsistencies, or cases where two pieces of program code make incompatible assumption...
148
click to vote
SEFM
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper we present ¼heckmate, a generic static analyzer of Java multithreaded programs based on the interpretation theory. It supports all the most relevant features of J...