2741 search results - page 94 / 549 » Engineering Mathematical Knowledge |
102
Voted
XPU
2009
Springer
15 years 9 months ago
2009
Springer
We present results of a case study looking at how domain knowledge is communicated to developers using executable acceptance test driven development at a large software development...
84
Voted
SIGIR
2003
ACM
15 years 8 months ago
2003
ACM
As a result of the anonymity in todays Web search, it is not possible to receive a personalized search result. Neither prior search results nor search results from other users are ...
119
Voted
COMPSAC
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper describes the application of a suite of innovative information processing and analytic support tools developed at The MITRE Corporation, in some cases as extensions of ...
112
Voted
IUI
1993
ACM
15 years 6 months ago
1993
ACM
We describe MASTERMIND, a step toward our vision of a knowledge-based design-time and run-time environment where human-computer interfaces development is centered around an all-en...
135
Voted
FOSSACS
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...