2127 search results - page 227 / 426 » Software Automation |
174
click to vote
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
148
click to vote
GIS
2010
ACM
15 years 4 months ago
2010
ACM
Traffic information systems based on mobile, in-car sensor technology are a challenge for data management systems as a huge amount of data has to be processed in real-time. Data m...
236
click to vote
IAJIT
2011
15 years 1 months ago
2011
: User interfaces have special characteristics that differentiate them from the rest of the software code. Typical software metrics that indicate its complexity and quality may not...
181
click to vote
CISIS
2008
IEEE
15 years 8 months ago
2008
IEEE
While memory-safe and type-safe languages have been available for many years, the vast majority of software is still implemented in type-unsafe languages such as C/C++. Despite ma...
193
click to vote
PPDP
2004
Springer
15 years 12 months ago
2004
Springer
Refactoring in object-orientation has gained increased attention due to its ability to improve design quality. Refactoring using design patterns (DPs) leads to production of high ...