1823 search results - page 2 / 365 » Formal specification: a roadmap |
184
click to vote
ITC
1996
IEEE
15 years 11 months ago
1996
IEEE
This paper proposes a Layered Model for boundaryscan testing to help identify opportunities for standardization. Serial Vector Format [1] and an accompanying Application Programmi...
201
click to vote
ICSE
2000
IEEE-ACM
15 years 11 months ago
2000
IEEE-ACM
Software's increasing role creates both requirements for being able to trust it more than before, and for more people to know how much they can trust their software. A sound ...
154
Voted
ZUM
1997
Springer
15 years 11 months ago
1997
Springer
