16725 search results - page 348 / 3345 » Engineering Software Correctness |
126
Voted
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
163
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
101
Voted
IJCAI
1989
15 years 5 months ago
1989
This paper represents a beginning development of a parallel truth maintenance system to interact with a parallel inference engine. We present a solution which performs status assi...
144
Voted
DAGSTUHL
2007
15 years 6 months ago
2007
My work has two relationships with End User Software Engineering. First, as an Empirical Software Engineer, I am interested in meeting with people who do research into techniques ...
129
Voted
APSEC
2002
IEEE
15 years 9 months ago
2002
IEEE
Our activities in software engineering typically fall into one of three categories, (1) to invent new phenomena, (2) to understand existing phenomena, and (3) to facilitate inspir...