20 search results - page 1 / 4 » Implicit invocation of traits |
SAC
2010
ACM
13 years 11 months ago
2010
ACM
KBSE
2005
IEEE
13 years 10 months ago
2005
IEEE
Traits are basically mixins or interfaces but with method bodies. In languages that support traits, classes are composed out of traits. There are two main advantages with traits. ...
TOSEM
2010
13 years 3 months ago
2010
IWSSD
2000
IEEE
13 years 9 months ago
2000
IEEE
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...
SIGSOFT
2003
ACM
13 years 10 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...