4772 search results - page 747 / 955 » An approach to interface synthesis |
186
click to vote
IEE
2008
15 years 6 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...
191
click to vote
ESE
2006
15 years 6 months ago
2006
Agile methods have evolved as a bottom-up approach to software development. However, as the software in embedded products is only one part of development projects, agile methods mu...
135
Voted
IJCSS
2006
15 years 6 months ago
2006
A faster and more accurate method for the detection of corneal thickness using an ultrasonic pulse-echo technique was proposed. The corneal thickness was calculated from the time ...
196
click to vote
JAR
2006
15 years 6 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
156
click to vote
JSS
2006
15 years 6 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...