Frank C. Belz
According to our database1, Frank C. Belz authored at least 8 papers between 1976 and 1993.
Legend:Book In proceedings Article PhD thesis Other
Partial orderings of event sets and their application to prototyping concurrent, timed systems.
Journal of Systems and Software, 1993
Experiences with the spiral model as a process model generator.
Proceedings of the Fifth International Software Process Workshop (ISPW '89), 1989
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
Reasoning about iteration: a cost-benefit approach.
Proceedings of the Third International Software Process Workshop (ISPW '86), 1986
Extending an implementation language to a specification language.
Proceedings of the Mathematical Studies of Information Processing, 1978
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
SEMANOL (73) A Metalanguage for Programming the Semantics of Programming Languages.
Acta Inf., 1976