488 search results - page 42 / 98 » ST-Tool: A CASE Tool for Security Requirements Engineering |
IFM
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
122
click to vote
OOPSLA
2004
Springer
15 years 5 months ago
2004
Springer
This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analy...
108
click to vote
CIDR
2009
15 years 28 days ago
2009
Over the past 40 years, database management systems (DBMSs) have evolved to provide a sophisticated variety of data management capabilities. At the same time, tools for managing q...
108
click to vote
OOPSLA
2005
Springer
15 years 5 months ago
2005
Springer
In this paper we describe AutAT, an open source Eclipse plugin to better enable test driven development of web applications. AutAT lets non-technical people write acceptance tests...
ACSAC
2004
IEEE
15 years 3 months ago
2004
IEEE
Host security is achieved by securing both the operating system kernel and the privileged applications that run on top of it. Application-level bugs are more frequent than kernel-...