|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 10 keywords
|
|
|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
109 | Gunnar Gotshalks |
A theory-model formalization of FlexOr. |
CASCON |
1992 |
DBLP BibTeX RDF |
4Thought, theory-model, software engineering, specification, documentation, software design, Z notation, literate programming, entity-relationship |
72 | Arthur G. Ryman |
Foundations of 4Thought. |
CASCON |
1992 |
DBLP BibTeX RDF |
|
51 | David Alex Lamb, Kevin A. Schneider |
Formalization of information hiding design methods. |
CASCON |
1992 |
DBLP BibTeX RDF |
|
33 | Mariano P. Consens, Alberto O. Mendelzon, Arthur G. Ryman |
Visualizing and querying software structures. |
CASCON |
1991 |
DBLP BibTeX RDF |
4Thought, G+, GraphLog, graphical queries, theory-model paradigm, visualizations, software engineering, Prolog, software design, visual queries |
25 | Arthur G. Ryman |
Illuminating software specifications. |
CASCON |
1993 |
DBLP BibTeX RDF |
|
25 | Carlos Escalante |
A simple model of prolog's performance: extensional predicates. |
CASCON |
1993 |
DBLP BibTeX RDF |
|
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
|