3 search results - page 1 / 1 » Aspect-Oriented Implementation of Software Health Indicators |
94
Voted
APSEC
2001
IEEE
15 years 4 months ago
2001
IEEE
154
Voted
SAC
2008
ACM
15 years 15 days 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...
110
Voted
SENSYS
2009
ACM
15 years 7 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 ...