3792 search results - page 490 / 759 » Techniques for Trusted Software Engineering |
177
click to vote
ASWEC
2008
IEEE
15 years 8 months ago
2008
IEEE
Today, agile methods become a popular approach to develop software systems. They try to satisfy customer, respond to changes, release in less time and achieve suitable profits for...
168
click to vote
ASWEC
2008
IEEE
15 years 8 months ago
2008
IEEE
Automatic identification of software faults has enormous practical significance. This requires characterizing program execution behavior. Equally important is the aspect of diagno...
168
click to vote
ECSA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
168
click to vote
RE
2002
Springer
15 years 6 months ago
2002
Springer
Posing speculative questions about a software system is an important yet often unsupported activity. Current impact analysis techniques tend to focus upon the functionality of the...
201
click to vote
SEKE
2010
Springer
15 years 5 months ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...