5810 search results - page 102 / 1162 » An Approach to Programming Based on Concepts |
138
click to vote
ICFCA
2010
Springer
15 years 11 months ago
2010
Springer
This paper is the successor to two previous papers published at the ICFCA conference. In the first paper we have shown that in the Description Logics EL and ELgfp, the set of gene...
146
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...
149
click to vote
ECIS
2000
15 years 5 months ago
2000
This paper presents a concept for the integration of quantitative and qualitative information sources with their accompanying management support functionalities from navigation and...
148
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
The paper presents a semi-automated technique for feature location in source code. The technique is based on combining information from two different sources: an execution trace, ...
134
click to vote
CIKM
2006
Springer
15 years 8 months ago
2006
Springer
Text summarization is a data reduction process. The use of text summarization enables users to reduce the amount of text that must be read while still assimilating the core inform...