Bart J. Geraci

Publication Activity (10 Years)

Years Active: 1994-1997
Publications (10 Years): 0

Publications

Don S. Batory, Bart J. Geraci
Composition Validation and Subjectivity in GenVoca Generators. IEEE Trans. Software Eng. 23 (2) (1997)
Don S. Batory, Bart J. Geraci
Validating component compositions in software system generators. ICSR (1996)
Boumediene Belkhouche, Bart J. Geraci
A formally specified prototyping system. J. Syst. Softw. 34 (1) (1996)
Boumediene Belkhouche, Bart J. Geraci
Ripple: a formally specified prototyping system. ICRE (1994)
Don S. Batory, Vivek Singhal, Jeff Thomas, Sankar Dasari, Bart J. Geraci, Marty Sirkin
The GenVoca Model of Software-System Generators. IEEE Softw. 11 (5) (1994)