147 search results - page 3 / 30 » Lessons from the JML Project |
CAISE
2009
Springer
13 years 12 months ago
2009
Springer
In CAiSE 2006, we had presented a framework to support development of secure information systems. The framework was based on the integration of two security-aware approaches, the S...
CE
2008
13 years 5 months ago
2008
CACM
2002
13 years 5 months ago
2002
AUIC
2004
IEEE
13 years 9 months ago
2004
IEEE
Pervasive technologies are increasingly being developed and used outdoors in different and innovative ways. However, designing user experiences for outdoor environments presents m...
ICSE
2005
IEEE-ACM
13 years 10 months ago
2005
IEEE-ACM
This report addresses some of our observations made in a dozen of projects in the area of software testing, and more specifically, in automated testing. It documents, analyzes and...