|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 8 keywords
|
|
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 160 | Frank Ng, Gregory Butler, Judy Kay |
An Intelligent Tutoring System for the Dijkstra-Gries Methodology.  |
IEEE Trans. Software Eng.  |
1995 |
DBLP DOI BibTeX RDF |
Dijkstra-Gries, symbolic algebra, user modeling, inheritance, intelligent tutoring systems, unification, object-oriented systems, programming methodology, teaching programming, re-use |
| 44 | Rudolf Berghammer |
Combining Relational Calculus and the Dijkstra-Gries Method for Deriving Relational Programs. |
Inf. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 44 | Frank Ng, Gregory Butler |
Specialised Theorem-Proving in an Intelligent Tutoring System for the Dijkstra-Gries Programming Methodology. |
ICCI |
1993 |
DBLP BibTeX RDF |
|
| 29 | Rudolf Berghammer, Thorsten Hoffmann |
Calculating a Relational Program for Transitive Reductions of Strongly Connected Graphs. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 29 | J. R. Jefferson Wadkins |
Rigorous proofs of program correctness without formal logic. |
SIGCSE |
1995 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license