Richard Jüllig

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2002
Formal Methods in Enterprise Computing.
Proceedings of the Formal Methods and Software Engineering, 2002

1996
SPECWARE: An Advanced Evironment for the Formal Development of Complex Software Systems.
Proceedings of the Algebraic Methodology and Software Technology, 1996

1995
Specware: Formal Support for Composing Software.
Proceedings of the Mathematics of Program Construction, 1995

1993
Applying Formal Software Synthesis.
IEEE Softw., 1993

Diagrams for software synthesis.
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?
Proceedings of the Seventh Knowledge-Based Software Engineering Conference, 1992

1990
Consistency management in a project management assistant.
Proceedings of the SIGSOFT'90 4th Symposium on Software Development Environments, 1990

1986
Iteration in the software process.
Proceedings of the Third International Software Process Workshop (ISPW '86), 1986

1984
Regular right-part attribute grammars.
Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, 1984

1980
Tree-affix dendrogrammars for languages and compilers.
Proceedings of the Semantics-Directed Compiler Generation, 1980

1979
Summary of the characteristics of several "modern" programming languages.
ACM SIGPLAN Notices, 1979


  Loading...