 | 2002 |
|---|
| 8 |       | Richard Jüllig:
Formal Methods in Enterprise Computing.
ICFEM 2002: 22-23 |
| 1996 |
|---|
| 7 | | Richard Jüllig,
Yellamraju V. Srinivas,
J. Liu:
SPECWARE: An Advanced Evironment for the Formal Development of Complex Software Systems.
AMAST 1996: 551-554 |
| 1995 |
|---|
| 6 | | Yellamraju V. Srinivas,
Richard Jüllig:
Specware: Formal Support for Composing Software.
MPC 1995: 399-422 |
| 1993 |
|---|
| 5 | | Richard Jüllig:
Applying Formal Software Synthesis.
IEEE Software 10(3): 11-22 (1993) |
| 1990 |
|---|
| 4 | | Xiaolei Qian,
Richard Jüllig,
Marilyn Daum:
Consistency management in a project management assistant.
SDE 1990: 34-43 |
| 1986 |
|---|
| 3 |  | Allen Goldberg,
C. Cordell Green,
Wolfgang Polak,
Richard Jüllig:
Iteration in the software process.
ISPW 1986: 105-108 |
| 1984 |
|---|
| 2 | | Richard Jüllig,
Frank DeRemer:
Regular right-part attribute grammars.
SIGPLAN Symposium on Compiler Construction 1984: 171-178 |
| 1980 |
|---|
| 1 | | Frank DeRemer,
Richard Jüllig:
Tree-affix dendrogrammars for languages and compilers.
Semantics-Directed Compiler Generation 1980: 300-319 |
Data released under the ODC-BY 1.0 license — See also our legal information page