6348 search results - page 354 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
128
click to vote
COMPSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
We present in this paper an extension of the messagedriven confidence-driven framework that we developed for onboard guarded software upgrading. The purpose of this work is to pr...
171
Voted
FASE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
126
click to vote
ICSE
2000
IEEE-ACM
15 years 8 months ago
2000
IEEE-ACM
The work described in this paper is an investigation of COTS-based software development within a particular NASA environment, with an emphasis on the processes used. Fifteen proje...
148
Voted
CIKM
2010
Springer
15 years 3 months ago
2010
Springer
The power of search is with no doubt one of the main aspects for the success of the Web. Currently available search engines on the Web allow to return results with a high precisio...
122
Voted
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
—We describe PTYASM, an enhanced version of the YASM software model checker which uses proof templates. These templates associate correctness arguments with common programming id...