Frank C. Belz

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

Collaborative distances:

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

1993

Partial orderings of event sets and their application to prototyping concurrent, timed systems.

David C. Luckham, James Vera, Doug Bryan, Larry M. Augustin, Frank C. Belz

J. Syst. Softw., 1993

1990

A new approach to prototyping Ada-based hardware/software systems.

Frank C. Belz, David C. Luckham

Proceedings of the conference on TRI-ADA 1990, 1990

1989

Experiences with the spiral model as a process model generator.

Barry W. Boehm, Frank C. Belz

Proceedings of the Fifth International Software Process Workshop (ISPW '89), 1989

1988

Foundations for the Arcadia Environment Architecture.

Richard N. Taylor, Frank C. Belz, Lori A. Clarke, Leon J. Osterweil, Richard W. Selby, Jack C. Wileden, Alexander L. Wolf, Michal Young

Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1988

Applying process programming to the spiral model.

Barry W. Boehm, Frank C. Belz

Proceedings of the Forth International Software Process Workshop, 1988

1986

Reasoning about iteration: a cost-benefit approach.

Barry W. Boehm, Frank C. Belz

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

1980

A multi-processing implementation-oriented formal definition of Ada in SEMANOL.

Frank C. Belz, Edward K. Blum, Dennis Heimbigner

Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, 1980

1978

Extending an implementation language to a specification language.

E. R. Anderson, Frank C. Belz, Edward K. Blum

Proceedings of the Mathematical Studies of Information Processing, 1978

1977

Issues in the Formal Specifications of Programming Languages.

Eric R. Anderson, Frank C. Belz, Edward K. Blum

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.

E. R. Anderson, Frank C. Belz, Edward K. Blum

Acta Informatica, 1976