Lynn S. Marshall

According to our database, Lynn S. Marshall authored at least 6 papers between 1985 and 1993.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1993

Factors Influencing the Success of Object-Oriented Education in Industrial Environments.

Yawar Ali, Antonio J. Bailetti, Lynn S. Marshall

Proceedings of the TOOLS 1993: 11th International Conference on Technology of Object-Oriented Languages and Systems, 1993

1992

Using VDM to specify managed object relationships.

Lynn S. Marshall, Linda Simon

Proceedings of the Formal Description Techniques, 1992

1991

Using VDM to Specify OSI Managed Objects.

Linda Simon, Lynn S. Marshall

Proceedings of the Formal Description Techniques, 1991

Using VDM within an Object-Oriented Framework.

Lynn S. Marshall, Linda Simon

Proceedings of the VDM '91, 1991

1988

Formal specification of a small example based on GKS.

David A. Duce, Elizabeth V. C. Fielding, Lynn S. Marshall

ACM Trans. Graph., 1988

1985

A Formal Specification of Line Representations on Graphics Devices.

Lynn S. Marshall

Proceedings of the Mathematical Foundations of Software Development, 1985