797 search results - page 48 / 160 » Finding Reusable Software Components in Large Systems |
111
click to vote
MSR
2005
ACM
15 years 6 months ago
2005
ACM
One of the most successful applications of static analysis based bug finding tools is to search the source code for violations of system-specific rules. These rules may describe h...
113
Voted
SERA
2010
Springer
14 years 11 months ago
2010
Springer
—Information systems are expected to satisfy increasingly ambitious requirements, while reducing time–to–market has become a primary objective. This trend has necessitated th...
115
Voted
TLT
2008
15 years 13 days ago
2008
For many practical learning scenarios, the integrated use of more than one learning tool is educationally beneficial. In these cases, interoperability between learning tools--getti...
84
Voted
EUROMICRO
2004
IEEE
15 years 4 months ago
2004
IEEE
We compare existing component technologies for embedded systems with respect to industrial requirements. The requirements are collected from the vehicular industry, but our findin...
96
Voted
CEC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...