8623 search results - page 224 / 1725 » Software engineering for secure systems |
152
click to vote
QSIC
2005
IEEE
15 years 11 months ago
2005
IEEE
The initial step of any software engineering methodology is to form requirements. Recently, a goal-oriented approach to requirements has been proposed and argued to be beneficial...
163
click to vote
KBSE
2010
IEEE
15 years 3 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...
148
click to vote
SIGSOFT
2003
ACM
16 years 6 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
150
click to vote
COMPSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
This research aims at developing an approach for architecting and communicating software systems in the context of wireless sensor networks. In particular, it focuses on developin...
157
click to vote
ICCBSS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This workshop explores innovative ways of integrating COTS software into software systems for purposes often unimagined by their original designers. It emphasizes tools a...