1376 search results - page 41 / 276 » Monitoring Software Requirements Using Instrumented Code |
SAC
2006
ACM
15 years 3 months ago
2006
ACM
We present in this paper an approach aiming at adapting software components. It focuses on adapting component structures instead of adapting component services. Among the motivati...
103
click to vote
GECCO
2007
Springer
15 years 1 months ago
2007
Springer
We have developed a technique to characterize software developers' styles using a set of source code metrics. This style fingerprint can be used to identify the likely author...
FASE
2009
Springer
15 years 1 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
ERLANG
2004
ACM
15 years 3 months ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
ISCA
2009
IEEE
15 years 4 months ago
2009
IEEE
The advent of multicores has introduced new challenges for programmers to provide increased performance and software reliability. There has been significant interest in technique...