| 1997 |
|---|
| 5 | EE | E. R. Hughes,
R. S. Hyland,
Steven D. Litvintchouk,
A. S. Rosenthal,
A. L. Schafer,
S. L. Surer:
A Methodology for Migration of Legacy Applications to Distributed Object Management.
EDOC 1997: 236-244 |
| 1994 |
|---|
| 4 | | Steven D. Litvintchouk,
Michael Stark,
Brad Balfour,
Mohamed Fayad,
Bernard Rosenfeld:
Evolving toward object-oriented technology in large organizations (panel).
OOPS Messenger 5(2): 73-76 (1994) |
| 1993 |
|---|
| 3 | | Steven D. Litvintchouk,
Michael Stark,
Brad Balfour,
Mohamed Fayad,
Bernie Rosenfeld:
Evolving Toward Object-Oriented Technolgy in Large Organizations (Panel).
OOPSLA 1993: 374-375 |
| 1984 |
|---|
| 2 | | Steven D. Litvintchouk,
Allen S. Matsumoto:
Design of Ada Systems Yielding Reusable Components: An Approach Using Structured Algebraic Specification.
IEEE Trans. Software Eng. 10(5): 544-551 (1984) |
| 1977 |
|---|
| 1 | | Steven D. Litvintchouk,
Vaughan R. Pratt:
A Proof-Checker for Dynamic Logic.
IJCAI 1977: 552-558 |
