Richard Jüllig

Publication Activity (10 Years)

Years Active: 1979-2002
Publications (10 Years): 0

Publications

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