3 search results - page 1 / 1 » Aspect-Oriented Implementation of Software Health Indicators |
APSEC
2001
IEEE
13 years 8 months ago
2001
IEEE
SAC
2008
ACM
13 years 3 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
SENSYS
2009
ACM
13 years 11 months ago
2009
ACM
Continuous and reliable operation of WSNs is notoriously difficult to guarantee due to hardware degradation and environmental changes. In this paper, we propose and demonstrate a ...