Frank C. Belz

Publication Activity (10 Years)

Years Active: 1976-1993
Publications (10 Years): 0

Publications

David C. Luckham, James Vera, Doug Bryan, Larry M. Augustin, Frank C. Belz
Partial orderings of event sets and their application to prototyping concurrent, timed systems. J. Syst. Softw. 21 (3) (1993)
Frank C. Belz, David C. Luckham
A new approach to prototyping Ada-based hardware/software systems. TRI-Ada (1990)
Barry W. Boehm, Frank C. Belz
Experiences with the spiral model as a process model generator. ISPW (1989)
Barry W. Boehm, Frank C. Belz
Applying process programming to the spiral model. ISPW (1988)
Richard N. Taylor, Frank C. Belz, Lori A. Clarke, Leon J. Osterweil, Richard W. Selby, Jack C. Wileden, Alexander L. Wolf, Michal Young
Foundations for the Arcadia Environment Architecture. Software Development Environments (SDE) (1988)
Barry W. Boehm, Frank C. Belz
Reasoning about iteration: a cost-benefit approach. ISPW (1986)
Frank C. Belz, Edward K. Blum, Dennis Heimbigner
A multi-processing implementation-oriented formal definition of Ada in SEMANOL. SIGPLAN (1980)
E. R. Anderson, Frank C. Belz, Edward K. Blum
Extending an implementation language to a specification language. Mathematical Studies of Information Processing (1978)
Eric R. Anderson, Frank C. Belz, Edward K. Blum
Issues in the Formal Specifications of Programming Languages. Formal Description of Programming Concepts (1977)
E. R. Anderson, Frank C. Belz, Edward K. Blum
SEMANOL (73) A Metalanguage for Programming the Semantics of Programming Languages. Acta Informatica 6 (1976)