1199 search results - page 68 / 240 » Software Verification and Software Engineering a Practitione... |
134
click to vote
WETICE
1998
IEEE
15 years 8 months ago
1998
IEEE
Requirements engineering (RE) is a necessary part of the software development process, as it helps customers and designers identify necessary system requirements. If these stakeho...
147
click to vote
SP
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
149
click to vote
SIGSOFT
1995
ACM
15 years 8 months ago
1995
ACM
—We conducted a long-term experiment to compare the costs and benefits of several different software inspection methods. These methods were applied by professional developers to ...
124
click to vote
SEFM
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—In order to increase their stealth, malware commonly use the self-modification property of programs. By doing so, programs can hide their real code so that it is diffi...
101
click to vote
SIGADA
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...