488 search results - page 36 / 98 » ST-Tool: A CASE Tool for Security Requirements Engineering |
ASPLOS
2012
ACM
13 years 7 months ago
2012
ACM
Numerous tools have been proposed to help developers fix software errors and inefficiencies. Widely-used techniques such as memory checking suffer from overheads that limit thei...
ICSE
2007
IEEE-ACM
15 years 12 months ago
2007
IEEE-ACM
Modern multiuser software systems have adopted RoleBased Access Control (RBAC) for authorization management. This paper presents a formal model for RBAC policy validation and a st...
ICSE
2004
IEEE-ACM
15 years 12 months ago
2004
IEEE-ACM
Despite their benefits, programmers rarely use formal specifications, because they are difficult to write and they require an up front investment in time. To address these issues,...
104
click to vote
ASWEC
2006
IEEE
15 years 5 months ago
2006
IEEE
Up to 75% of the costs associated with the development of software systems occur post-deployment during maintenance and evolution. Software refactoring is a process which can sign...
103
click to vote
KDD
2009
ACM
16 years 11 days ago
2009
ACM
: Gaining access to high-quality health data is a vital requirement to informed decision making for medical practitioners and pharmaceutical researchers. Driven by mutual benefits ...