6348 search results - page 341 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
139
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
126
click to vote
IMDS
2007
15 years 4 months ago
2007
Purpose – This research seeks to investigate the relationship between knowledge diversity (KD) in software teams and project performance. Previous research has shown that member...
122
click to vote
KES
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper introduces our method for causal knowledge retrieval from the Internet resources, its results and evaluation of using it in utterance creation process. Our sys...
171
click to vote
AH
2008
Springer
15 years 11 months ago
2008
Springer
Abstract. A Learning Design(LD) definition under the IMS-LD standard is a complex task for the instructor because it requires a lot of time, effort and previous knowledge of the ...
148
click to vote
APSEC
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper describes a process for selecting and evaluating candidates for component based software engineering. The process is aimed at developers sourcing components from third ...