Mario R. Barbacci

Publication Activity (10 Years)

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

Publications

Mario R. Barbacci, Charles B. Weinstock, Dennis L. Doubleday, Michael J. Gardner, Randall W. Lichota
Durra: a structure description language for developing distributed applications. Softw. Eng. J. 8 (2) (1993)
Dennis L. Doubleday, Mario R. Barbacci, Charles B. Weinstock, Michael J. Gardner, Randall W. Lichota
Building distributed Ada applications from specifications and functional components. TRI-Ada (1991)
Mario R. Barbacci, W. H. Maddox, T. D. Newton, R. G. Stockton
The Ada+ front end and coder generator. SIGAda (1985)
Mario R. Barbacci, Alan Parker
Using Emulation to Verify Formal Architecture Descriptions. Computer 11 (5) (1978)
Mario R. Barbacci, Daniel P. Siewiorek
Evaluation of the CFA Test Programs Via Formal Computer Descriptions. Computer 10 (10) (1977)