2236 search results - page 255 / 448 » Secure Software Design in Practice |
137
click to vote
SIGCSE
2010
ACM
15 years 8 months ago
2010
ACM
Inspired by the formal code inspection process commonly used in the software industry, we have been exploring the use of pedagogical code reviews (PCRs), in which a team of three ...
120
click to vote
CIBCB
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract-- The DNA microarray technology, originally developed to measure the level of gene expression, had become one of the most widely used tools in genomic study. Microarrays h...
132
click to vote
CCS
2004
ACM
15 years 8 months ago
2004
ACM
As network security is a growing concern, system administrators lock down their networks by closing inbound ports and only allowing outbound communication over selected protocols ...
128
click to vote
RE
1997
Springer
15 years 7 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
153
click to vote
JITECH
2007
15 years 3 months ago
2007
This case study discusses two related aspects that are becoming increasingly important in today’s software development practice: re-engineering of a monolithic system into a com...