1205 search results - page 92 / 241 » Program Extraction from Large Proof Developments |
160
Voted
IWPSE
2003
IEEE
15 years 6 months ago
2003
IEEE
One of the issues in software evolution is debugging. Debugging large and complex software systems evolved requires a lot of effort since it is very difficult to localize and ide...
131
click to vote
ECAI
2010
Springer
15 years 2 months ago
2010
Springer
Logic programs under the stable models semantics, or answer-set programs, provide an expressive rule based knowledge representation framework, featuring formal, declarative and wel...
107
click to vote
SCOPES
2005
Springer
15 years 7 months ago
2005
Springer
Specification, validation, and synthesis are important aspects of embedded systems design. The use of dataflow-based design environments for these purposes is becoming increasingl...
123
click to vote
GI
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. This text describes how persistent object system technology developed in European basic research is being used by a small German startup software company to realize innov...
129
click to vote
ISD
1999
Springer
15 years 5 months ago
1999
Springer
This paper describes an ongoing collaborative research program between the Computer Science and the Forestry and Wildlife Management Departments at the University of Massachusetts...