6197 search results - page 228 / 1240 » Sandbridge Software Tools |
153
click to vote
ESEM
2007
ACM
15 years 9 months ago
2007
ACM
In the foreseeable future, software testing will remain one of the best tools we have at our disposal to ensure software dependability. Empirical studies are crucial to software t...
156
click to vote
ICSE
2010
IEEE-ACM
15 years 7 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
168
click to vote
ESWS
2008
Springer
15 years 7 months ago
2008
Springer
Ontology-Driven Software Development (ODSD) advocates using ontologies for capturing knowledge about a software system at development time. So far, ODSD approaches have mainly focu...
139
click to vote
METRICS
2005
IEEE
15 years 11 months ago
2005
IEEE
In order to facilitate the application of software measurement the gathering of software measures should be automated as far as possible by the integration of the software measure...
158
click to vote
DAC
1997
ACM
15 years 9 months ago
1997
ACM
This paper examines the problem of statically analyzing the performance of embedded software. This problem is motivated by the increasing growth of embedded systems and a lack of ...