dblp.uni-trier.dewww.uni-trier.de

Richard Jüllig

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2002
7EERichard Jüllig: Formal Methods in Enterprise Computing. ICFEM 2002: 22-23
1996
6 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
5 Yellamraju V. Srinivas, Richard Jüllig: Specware: Formal Support for Composing Software. MPC 1995: 399-422
1993
4 Richard Jüllig: Applying Formal Software Synthesis. IEEE Software 10(3): 11-22 (1993)
1986
3 Allen Goldberg, C. Cordell Green, Wolfgang Polak, Richard Jüllig: Iteration in the software process. ISPW 1986: 105-108
1984
2EERichard 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

Coauthor Index

1Frank DeRemer [1] [2]
2Allen Goldberg [3]
3C. Cordell Green [3]
4J. Liu [6]
5Wolfgang Polak [3]
6Yellamraju V. Srinivas [5] [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)