6348 search results - page 644 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
246
click to vote
FASE
2003
Springer
16 years 18 days ago
2003
Springer
Abstract. The OMG’s Model-Driven Architecture focusses on the evolution and integration of applications across heterogeneous middleware platforms. Presently available instances o...
223
click to vote
ESEM
2009
ACM
16 years 2 days ago
2009
ACM
In the software engineering literature, many works claim that the use of design patterns improves the comprehensibility of programs and, more generally, their maintainability. Yet...
200
click to vote
FSTTCS
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
182
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
CT How can an adaptive intelligent interface decide what particular action to perform in a given situation, as a function of perceived properties of the user and the situation? Ide...
197
click to vote
KBSE
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...