Richard Jüllig

11 papers B 1C 1Journal 2Unranked 7
YearRankTypeTitle / Venue / Authors
2002 C conf
Formal Methods in Enterprise Computing.
ICFEM
Richard Jüllig
1996 — conf
SPECWARE: An Advanced Evironment for the Formal Development of Complex Software Systems.
AMAST
Richard Jüllig, Yellamraju V. Srinivas, J. Liu
1995 B conf
Specware: Formal Support for Composing Software.
MPC
Yellamraju V. Srinivas, Richard Jüllig
1993 J jnl
Applying Formal Software Synthesis.
IEEE Softw.
Richard Jüllig
1993 — conf
Diagrams for software synthesis.
KBSE
Richard Jüllig, Yellamraju V. Srinivas
1992 — conf
DoD's software technology plans: what do they mean for KBSE, and what does it mean for them?
KBSE
Barry W. Boehm, Morton Hirschberg, Richard Jüllig, Randall Shumaker, Douglas White
1990 — conf
Consistency management in a project management assistant.
SDE
Xiaolei Qian, Richard Jüllig, Marilyn Daum
1986 — conf
Iteration in the software process.
ISPW
Allen Goldberg, C. Cordell Green, Wolfgang Polak, Richard Jüllig
1984 — conf
Regular right-part attribute grammars.
SIGPLAN Symposium on Compiler Construction
Richard Jüllig, Frank DeRemer
1980 — conf
Tree-affix dendrogrammars for languages and compilers.
Semantics-Directed Compiler Generation
Frank DeRemer, Richard Jüllig
1979 J jnl
Summary of the characteristics of several "modern" programming languages.
ACM SIGPLAN Notices
Frank DeRemer, Philip Levy, Steve Hanson, Philip Jackson, Richard Jüllig, Tom Pittman