365 search results - page 66 / 73 » Extracting Business Rules from Source Code |
CHI
2002
ACM
15 years 10 months ago
2002
ACM
A validated model of trust was used as a framework for an empirical study to identify on- and offline factors that influence gamblers' perception of an online casino's t...
165
Voted
ICFP
2009
ACM
15 years 10 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
87
Voted
ICSM
2005
IEEE
15 years 3 months ago
2005
IEEE
Surprising as it may seem, many of the early adopters of the object-oriented paradigm already face a number of problems typically encountered in large-scale legacy systems. Softwa...
USENIX
2003
14 years 11 months ago
2003
We present the design and implementation of PLACE, a gray-box library for controlling file layout on top of FFSlike file systems. PLACE exploits its knowledge of FFS layout poli...
CASCON
1997
14 years 11 months ago
1997
Often, software architects impose a particular style on the software systems they design. For large software systems, they would like to ensure that the design continues to confor...