5433 search results - page 683 / 1087 » Tool Support for Traceability-Adaptation |
215
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
The paper introduces the notion of off-line justification for Answer Set Programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom w.r.t. a ...
158
click to vote
DEBU
2008
15 years 7 months ago
2008
Oracle Berkeley DB is a family of database engines that provide high performance, transactional data management on a wide variety of platforms. Berkeley DB products are available ...
205
click to vote
ENTCS
2008
15 years 7 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
194
click to vote
IEE
2008
15 years 7 months ago
2008
Aspect mining tries to identify crosscutting concerns in the code of existing systems and thus supports their adaption to an aspect-oriented design. A semi-automatic static aspect...
175
click to vote
IEE
2008
15 years 7 months ago
2008
The trend toward domain-specific languages leads to an ever-growing plethora of highly specialized languages. Developers of such languages focus on their specific domains rather t...