Steven D. Litvintchouk

Publication Activity (10 Years)

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

Publications

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)
Steven D. Litvintchouk, Michael Stark, Brad Balfour, Mohamed Fayad, Bernard Rosenfeld
Evolving toward object-oriented technology in large organizations (panel). OOPS Messenger 5 (2) (1994)
Steven D. Litvintchouk, Michael Stark, Brad Balfour, Mohamed Fayad, Bernie Rosenfeld
Evolving Toward Object-Oriented Technolgy in Large Organizations (Panel). OOPSLA (1993)
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) (1984)
Steven D. Litvintchouk, Vaughan R. Pratt
A Proof-Checker for Dynamic Logic. IJCAI (1977)