10241 search results - page 1670 / 2049 » Goal-Driven Software Development |
174
click to vote
HASKELL
2009
ACM
15 years 11 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
148
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
Code coverage is a common aid in the testing process. It is generally used for marking the source code segments that were executed and, more importantly, those that were not execu...
164
click to vote
ICSM
2008
IEEE
15 years 10 months ago
2008
IEEE
Up-to-date comments are critical for the successful evolution of a software application. When modifying a function, developers may update the comment associated with the function ...
166
click to vote
SASO
2007
IEEE
15 years 10 months ago
2007
IEEE
Information systems form the backbones of the critical infrastructures of modern societies. Unfortunately, these systems are highly vulnerable to attacks that can result in enormo...
108
click to vote
GTTSE
2007
Springer
15 years 10 months ago
2007
Springer
With the increase of amount of transistors which can be contained on a chip and the constant expectation for more sophisticated applications, the design of Systems-on-Chip (SoC) is...