10241 search results - page 1538 / 2049 » Goal-Driven Software Development |
173
click to vote
LPAR
2005
Springer
15 years 11 months ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
161
click to vote
MKM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
156
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
Grammatical inference (or grammar inference) has been applied to various problems in areas such as computational biology, and speech and pattern recognition but its application to...
143
click to vote
SEKE
2005
Springer
15 years 11 months ago
2005
Springer
Current aspect-oriented programming (AOP) enhances maintainability and comprehensibility by modularizing concerns crosscutting multiple components but lacks the support for the hie...
173
click to vote
SERA
2005
Springer
15 years 11 months ago
2005
Springer
Requirements specifications often make use of a number of scenarios that are interrelated and that depend on each other in many ways. However, they are often treated separately, o...