Richard Jüllig

According to our database, Richard Jüllig authored at least 11 papers between 1979 and 2002.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2002

Formal Methods in Enterprise Computing.

Richard Jüllig

Proceedings of the Formal Methods and Software Engineering, 2002

1996

SPECWARE: An Advanced Evironment for the Formal Development of Complex Software Systems.

Richard Jüllig, Yellamraju V. Srinivas, J. Liu

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

Specware: Formal Support for Composing Software.

Yellamraju V. Srinivas, Richard Jüllig

Proceedings of the Mathematics of Program Construction, 1995

1993

Applying Formal Software Synthesis.

Richard Jüllig

IEEE Softw., 1993

Diagrams for software synthesis.

Richard Jüllig, Yellamraju V. Srinivas

Proceedings of the Eighth Knowledge-Based Software Engineering Conference, 1993

1992

DoD's software technology plans: what do they mean for KBSE, and what does it mean for them?

Barry W. Boehm, Morton Hirschberg, Richard Jüllig, Randall Shumaker, Douglas White

Proceedings of the Seventh Knowledge-Based Software Engineering Conference, 1992

1990

Consistency management in a project management assistant.

Xiaolei Qian, Richard Jüllig, Marilyn Daum

Proceedings of the SIGSOFT'90 4th Symposium on Software Development Environments, 1990

1986

Iteration in the software process.

Allen Goldberg, C. Cordell Green, Wolfgang Polak, Richard Jüllig

Proceedings of the Third International Software Process Workshop (ISPW '86), 1986

1984

Regular right-part attribute grammars.

Richard Jüllig, Frank DeRemer

Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, 1984

1980

Tree-affix dendrogrammars for languages and compilers.

Frank DeRemer, Richard Jüllig

Proceedings of the Semantics-Directed Compiler Generation, 1980

1979

Summary of the characteristics of several "modern" programming languages.

Frank DeRemer, Philip Levy, Steve Hanson, Philip Jackson, Richard Jüllig, Tom Pittman

ACM SIGPLAN Notices, 1979