Frank C. Belz

According to our database1, Frank C. Belz authored at least 8 papers between 1976 and 1993.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1993
Partial orderings of event sets and their application to prototyping concurrent, timed systems.
Journal of Systems and Software, 1993

1989
Experiences with the spiral model as a process model generator.
Proceedings of the Fifth International Software Process Workshop (ISPW '89), 1989

1988
Foundations for the Arcadia Environment Architecture.
Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1988

Applying process programming to the spiral model.
Proceedings of the Forth International Software Process Workshop (ISPW '88), 1988

1986
Reasoning about iteration: a cost-benefit approach.
Proceedings of the Third International Software Process Workshop (ISPW '86), 1986

1978
Extending an implementation language to a specification language.
Proceedings of the Mathematical Studies of Information Processing, 1978

1977
Issues in the Formal Specifications of Programming Languages.
Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977

1976
SEMANOL (73) A Metalanguage for Programming the Semantics of Programming Languages.
Acta Inf., 1976


  Loading...