16725 search results - page 2806 / 3345 » Engineering Software Correctness |
158
click to vote
SEKE
2004
Springer
16 years 9 days ago
2004
Springer
The textual Object Constraint Language (OCL) is an official part of the Unified Modeling Language (UML). A new concept in the recently adopted OCL version 2.0 is the notion of O...
165
click to vote
FDL
2003
IEEE
16 years 7 days ago
2003
IEEE
The Unified Modelling Language (UML) is a language for specifying, visualizing, constructing, and documenting the artefacts of software systems, as well as for modelling business ...
179
click to vote
IOLTS
2003
IEEE
16 years 7 days ago
2003
IEEE
A methodology for the synthesis of partially selfchecking multilevel logic circuits with low-cost paritybased concurrent error detection (CED) is described. A subset of the inputs...
155
click to vote
IOLTS
2003
IEEE
16 years 7 days ago
2003
IEEE
In this paper we present a technique which allows to reduce the crosstalk-induced delay within busses implementing an error detecting/correcting code. This technique is based on t...
182
click to vote
IOLTS
2003
IEEE
16 years 7 days ago
2003
IEEE
We discuss the design of a novel analog checker that monitors two duplicate signals and provides a digital error indication when their absolute difference is unacceptably large. Th...