932 search results - page 95 / 187 » Software Reliability Engineering: A Roadmap |
145
click to vote
WWW
2007
ACM
16 years 4 months ago
2007
ACM
Web authoring environments enable end-users to create applications that integrate information from other web sources. Users can create web sites that include built-in components t...
162
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
115
click to vote
IOLTS
2008
IEEE
15 years 10 months ago
2008
IEEE
With the technology entering the nano dimension, manufacturing processes are less and less reliable, thus drastically impacting the yield. A possible solution to alleviate this pr...
112
click to vote
IOLTS
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes a highly reliable digital circuit design method based on totally self checking blocks implemented in FPGAs. The bases of the self checking blocks are parity p...
144
Voted
HASKELL
2006
ACM
15 years 10 months ago
2006
ACM
We introduce the new, improved version of the Haskell Equational Reasoning Assistant, which consists of an Ajax application for rewriting Haskell fragments in their context, and a...