748 search results - page 81 / 150 » Agile Software Assurance |
TAP
2008
Springer
13 years 7 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
CCS
2007
ACM
14 years 2 months ago
2007
ACM
Systematic approaches to measuring security are needed in order to obtain evidence of the security performance of products or an organization. In this study we survey the emerging...
APSEC
1998
IEEE
14 years 7 days ago
1998
IEEE
In this paper we demonstrate how light weight tools can be used to increase the level of confidence in Z specifications. In particular we outline the Pipedream approach to explori...
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
There has been increasing pressure on the health care sector to adopt information technologies to rationalize service delivery and increase service quality. Medical information sy...
ISPW
2007
IEEE
14 years 2 months ago
2007
IEEE
Current software development methodologies (such as agile and RUP) are largely management-centred, macro-process life-cycle models. While they may include some fine-grained micro-p...