2859 search results - page 300 / 572 » A Programming Environment for Bousi-Prolog |
189
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
GRM and PROVE were originally designed and implemented as part of the P-GRADE graphical parallel program development environment running on clusters. In the framework of the bigges...
158
click to vote
WCRE
2000
IEEE
15 years 11 months ago
2000
IEEE
In the context of the Bauhaus project, reengineering environments to support program understanding of legacy code are being developed. Bauhaus defines two formats to represent in...
193
click to vote
VL
1997
IEEE
15 years 11 months ago
1997
IEEE
In this paper we present a framework of syntactic models for the definition and implementation of visual languages. We analyze a wide range of existing visual languages and, for e...
169
click to vote
BIRTHDAY
2004
Springer
15 years 10 months ago
2004
Springer
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning abou...
144
click to vote
PROFES
2000
Springer
15 years 10 months ago
2000
Springer
Building common ontologies, setting up measurement programs, and conducting interviews are valid techniques to start eliciting knowledge and experience for later reuse. However, th...