| |
| 1997 | ||
|---|---|---|
| 3 | EE | Don S. Batory, Bart J. Geraci: Composition Validation and Subjectivity in GenVoca Generators. IEEE Trans. Software Eng. 23(2): 67-84 (1997) |
| 1996 | ||
| 2 | EE | Boumediene Belkhouche, Bart J. Geraci: A formally specified prototyping system. Journal of Systems and Software 34(1): 67-81 (1996) |
| 1994 | ||
| 1 | EE | Don S. Batory, Vivek Singhal, Jeff Thomas, Sankar Dasari, Bart J. Geraci, Marty Sirkin: The GenVoca Model of Software-System Generators. IEEE Software 11(5): 89-94 (1994) |
| 1 | Don S. Batory | [1] [3] |
| 2 | Boumediene Belkhouche | [2] |
| 3 | Sankar Dasari | [1] |
| 4 | Vivek Singhal | [1] |
| 5 | Marty Sirkin | [1] |
| 6 | Jeff Thomas | [1] |