Lynn S. Marshall

Publication Activity (10 Years)

Years Active: 1985-1993
Publications (10 Years): 0

Publications

Yawar Ali, Antonio J. Bailetti, Lynn S. Marshall
Factors Influencing the Success of Object-Oriented Education in Industrial Environments. TOOLS (11) (1993)
Lynn S. Marshall, Linda Simon
Using VDM Within an Object-Oriented Framework. Formal Methods in Databases and Software Engineering (1992)
Lynn S. Marshall, Linda Simon
Using VDM to specify managed object relationships. FORTE (1992)
Linda Simon, Lynn S. Marshall
Using VDM to Specify OSI Managed Objects. FORTE (1991)
Lynn S. Marshall, Linda Simon
Using VDM within an Object-Oriented Framework. VDM Europe (1) (1991)
David A. Duce, Elizabeth V. C. Fielding, Lynn S. Marshall
Formal specification of a small example based on GKS. ACM Trans. Graph. 7 (3) (1988)
Lynn S. Marshall
A Formal Specification of Line Representations on Graphics Devices. TAPSOFT, Vol.2 (1985)