Steven D. Litvintchouk

According to our database, Steven D. Litvintchouk authored at least 5 papers between 1977 and 1997.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1997

A Methodology for Migration of Legacy Applications to Distributed Object Management.

E. R. Hughes, R. S. Hyland, Steven D. Litvintchouk, A. S. Rosenthal, A. L. Schafer, S. L. Surer

Proceedings of the 1st International Enterprise Distributed Object Computing Conference (EDOC '97), 1997

1993

Evolving toward object-oriented technology in large organizations (panel).

Steven D. Litvintchouk, Michael Stark, Brad Balfour, Mohamed Fayad, Bernard Rosenfeld

Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1993

Evolving Toward Object-Oriented Technolgy in Large Organizations (Panel).

Steven D. Litvintchouk, Michael Stark, Brad Balfour, Mohamed Fayad, Bernie Rosenfeld

Proceedings of the Eighth Annual Conference on Object-Oriented Programming Systems, 1993

1984

Design of Ada Systems Yielding Reusable Components: An Approach Using Structured Algebraic Specification.

Steven D. Litvintchouk, Allen S. Matsumoto

IEEE Trans. Software Eng., 1984

1977

A Proof-Checker for Dynamic Logic.

Steven D. Litvintchouk, Vaughan R. Pratt

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977