| 1993 |
|---|
| 8 | | Yawar Ali,
Antonio J. Bailetti,
Lynn S. Marshall:
Factors Influencing the Success of Object-Oriented Education in Industrial Environments.
TOOLS (11) 1993: 597-606 |
| 1992 |
|---|
| 7 | | Lynn S. Marshall,
Linda Simon:
Using VDM to specify managed object relationships.
FORTE 1992: 263-278 |
| 6 | | Lynn S. Marshall,
Linda Simon:
Using VDM Within an Object-Oriented Framework.
Formal Methods in Databases and Software Engineering 1992: 111-121 |
| 1991 |
|---|
| 5 | | Linda Simon,
Lynn S. Marshall:
Using VDM to Specify OSI Managed Objects.
FORTE 1991: 17-31 |
| 4 | | Lynn S. Marshall,
Linda Simon:
Using VDM within an Object-Oriented Framework.
VDM Europe (1) 1991: 619-628 |
| 1988 |
|---|
| 3 | | Robin E. Bloomfield,
Lynn S. Marshall,
Roger B. Jones:
VDM '88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings
Springer 1988 |
| 2 | EE | David A. Duce,
E. V. C. Fielding,
Lynn S. Marshall:
Formal specification of a small example based on GKS.
ACM Trans. Graph. 7(3): 180-197 (1988) |
| 1985 |
|---|
| 1 | | Lynn S. Marshall:
A Formal Specification of Line Representations on Graphics Devices.
TAPSOFT, Vol.2 1985: 129-147 |
