3792 search results - page 249 / 759 » Techniques for Trusted Software Engineering |
170
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
197
click to vote
ISSTA
2012
ACM
13 years 9 months ago
2012
ACM
Recent research has suggested that a large class of software bugs fall into the category of inconsistencies, or cases where two pieces of program code make incompatible assumption...
180
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
To-date, security analysis techniques focus on the explicit access to data, thereby neglecting information flows happening over covert channels. As a result, critical business so...
136
click to vote
OTM
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Although cryptographic implementation tasks are often undertaken by expert programmers, a plethora of performance and security driven options, as well as more mundane sof...
190
click to vote
UML
2005
Springer
16 years 1 days ago
2005
Springer
Software product line engineering has emerged as an approach to developing software which targets a given domain. However, the processes involved in developing a software product l...