|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 6 keywords
|
|
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Richard Jüllig |
Formal Methods in Enterprise Computing.  |
ICFEM  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Jüllig, Yellamraju V. Srinivas, J. Liu |
SPECWARE: An Advanced Evironment for the Formal Development of Complex Software Systems.  |
AMAST  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Yellamraju V. Srinivas, Richard Jüllig |
Specware: Formal Support for Composing Software.  |
MPC  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Jüllig |
Applying Formal Software Synthesis.  |
IEEE Software  |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaolei Qian, Richard Jüllig, Marilyn Daum |
Consistency management in a project management assistant.  |
SDE  |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Allen Goldberg, C. Cordell Green, Wolfgang Polak, Richard Jüllig |
Iteration in the software process.  |
ISPW  |
1986 |
DBLP BibTeX RDF |
|
| 1 | Richard Jüllig, Frank DeRemer |
Regular right-part attribute grammars.  |
SIGPLAN Symposium on Compiler Construction  |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank DeRemer, Richard Jüllig |
Tree-affix dendrogrammars for languages and compilers.  |
Semantics-Directed Compiler Generation  |
1980 |
DBLP DOI BibTeX RDF |
context-sensitive syntax, affix grammars, language specification, attribute grammars, compiler generation, abstract syntax, static semantics, concrete syntax, translator writing system |
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|