2859 search results - page 76 / 572 » A Programming Environment for Bousi-Prolog |
111
click to vote
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
Our research is driven by the motivation that change must be put in the center, if one wants to understand the complex processes of software evolution. We built a toolset named Sp...
111
click to vote
ENTCS
2007
15 years 4 months ago
2007
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
133
Voted
INFORMATICALT
2000
15 years 4 months ago
2000
The paper presents a simple programming language and rewriting system called GENS. It is based on an extension of the -calculus called E-calculus. GENS is a multiparadigm language:...
115
click to vote
SEFM
2007
IEEE
15 years 10 months ago
2007
IEEE
Reactive integrated development environments for software engineering have lead to an increase in productivity and quality of programs produced. They have done so by replacing the...
119
click to vote
ICALT
2007
IEEE
15 years 10 months ago
2007
IEEE
Previous research on program visualization tools has suggested that both static and dynamic aspects of the program shall be shown to novice students. We attempted to expand the st...