5439 search results - page 617 / 1088 » Patterns: from system design to software testing |
155
click to vote
PASTE
2005
ACM
16 years 13 days ago
2005
ACM
Program analysis has many applications in software engineering and high-performance computation, such as program understanding, debugging, testing, reverse engineering, and optimi...
199
click to vote
HUC
2005
Springer
16 years 12 days ago
2005
Springer
We describe the results of a field deployment of the AURA system which links online content to physical objects through machine readable tags. AURA runs on commercially available p...
195
click to vote
WCRE
2003
IEEE
16 years 4 days ago
2003
IEEE
A large number of metrics have been proposed for measuring properties of object-oriented software such as size, inheritance, cohesion and coupling. We have been investigating whic...
191
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
146
click to vote
APIN
2004
15 years 6 months ago
2004
Companies that provide crane-lorry services are faced with the daily need to perform vehicle and driver allocation and scheduling. Many companies still do this manually due to the ...