1199 search results - page 89 / 240 » Software Verification and Software Engineering a Practitione... |
140
click to vote
VLSI
2007
Springer
15 years 10 months ago
2007
Springer
— Software simulation remains the most used method for VHDL RTL functional verification. The functional verification process essentially consists of two parts. The first one is t...
151
click to vote
IEE
2008
15 years 4 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
131
click to vote
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
156
click to vote
EMSOFT
2011
Springer
14 years 4 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
257
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...