6348 search results - page 631 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
192
click to vote
ESEM
2010
ACM
15 years 5 months ago
2010
ACM
Functional Size Measures are often used for effort estimation. However, these measures do not take into account the amount and complexity of elaboration required, concentrating in...
202
Voted
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
194
Voted
FLAIRS
2009
15 years 5 months ago
2009
Researchers in commonsense, qualitative spatial and temporal reasoning (QSTR) provide flexible and intuitive methods for reasoning about vague and uncertain information including ...
249
click to vote
ISSTA
2012
ACM
13 years 9 months ago
2012
ACM
Manual debugging is driven by experiments—test runs that narrow down failure causes by systematically confirming or excluding individual factors. The BUGEX approach leverages t...
168
Voted
IJCAI
2003
15 years 8 months ago
2003
Formalisms and axiomatic theories are designed to support reasoning, they are often intended with a preferred interpretation and a targeted ontology. Questions of proper interpret...