5668 search results - page 830 / 1134 » Overlaps in Requirements Engineering |
186
click to vote
ICFEM
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
193
click to vote
SPW
2004
Springer
16 years 4 days ago
2004
Springer
Abstract Fabio Massacci1 and Nicola Zannone1 Department of Information and Communication Technology University of Trento - Italy {massacci,zannone} at dit.unitn.it The last years h...
158
click to vote
DATE
2003
IEEE
16 years 3 days ago
2003
IEEE
: A modern special-purpose processor (e.g., for image and graphical applications) usually contains a set of instructions supporting complex multiply-operations. These instructions ...
173
click to vote
NSPW
2003
ACM
16 years 2 days ago
2003
ACM
The ability to analyze and modify binaries is often very useful from a security viewpoint. Security operations one would like to perform on binaries include the ability to extract...
203
click to vote
EMSOFT
2003
Springer
16 years 1 days ago
2003
Springer
We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more compon...