2493 search results - page 82 / 499 » Tool Support for Design by Contract |
ICIP
2000
IEEE
15 years 11 months ago
2000
IEEE
The most essential ingredient of interpolation is its basis function. We have shown in previous papers that this basis need not be necessarily interpolating to achieve good result...
APSEC
2005
IEEE
15 years 3 months ago
2005
IEEE
Started in the beginning of 2001, the Semantic Web is regarded by many as the next generation of the Web. Ontology languages are the building blocks of Semantic Web as they provid...
ICWS
2009
IEEE
15 years 7 months ago
2009
IEEE
: © Reiki: Serviceability Architecture and Approach for Reduction and Management of Product Service Incidents Chris Connelly, Brian Cox, Tim Forell, Rui Liu, Dejan Milojicic, Alan...
PLDI
2003
ACM
15 years 3 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
ICSE
2003
IEEE-ACM
15 years 10 months ago
2003
IEEE-ACM
This paper outlines an approach of using engineeringoriented design theories to build bridges between software engineering and human?computer interaction. The main thrust of the a...