568 search results - page 80 / 114 » Enforcing traceability in software |
FASE
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
SIGSOFT
2007
ACM
14 years 10 months ago
2007
ACM
A compiler-checked immutability guarantee provides useful documentation, facilitates reasoning, and enables optimizations. This paper presents Immutability Generic Java (IGJ), a n...
EDBTW
2010
Springer
14 years 4 months ago
2010
Springer
While data privacy is a human right, it is challenging to enforce it. For example, if multiple retailers execute a single order at Amazon Marketplace, each retailer can use diffe...
SAC
2009
ACM
14 years 4 months ago
2009
ACM
The Web 2.0 fosters the creation of communities by offering users a wide array of social software tools. While the success of these tools is based on their ability to support diff...
KBSE
2009
IEEE
14 years 4 months ago
2009
IEEE
Methods in object-oriented concurrent libraries hide internal synchronization details. However, information hiding may result in clients causing thread safety violations by invoki...