 | 1995 |
|---|
| 8 |       | Henri B. Weinberg,
Nancy A. Lynch,
Norman M. Delisle:
Verification of Automated Vehicle Protection Systems.
Hybrid Systems 1995: 101-113 |
| 1990 |
|---|
| 7 |  | David Garlan,
Norman M. Delisle:
Formal Specifications as Reusable Frameworks.
VDM Europe 1990: 150-163 |
| 6 | | Norman M. Delisle,
David Garlan:
A Formal Specification of an Oscilloscope.
IEEE Software 7(5): 29-36 (1990) |
| 1987 |
|---|
| 5 | | Norman M. Delisle,
Mayer D. Schwartz:
Contexts - A Partitioning Concept for Hypertext.
ACM Trans. Inf. Syst. 5(2): 168-186 (1987) |
| 4 | | Norman M. Delisle,
Mayer D. Schwartz:
Neptune: A Hypertext System for Software Development Environments.
IEEE Data Eng. Bull. 10(1): 54-59 (1987) |
| 1986 |
|---|
| 3 | | Norman M. Delisle,
Mayer D. Schwartz:
Neptune: a Hypertext System for CAD Applications.
SIGMOD Conference 1986: 132-143 |
| 1984 |
|---|
| 2 | | Mayer D. Schwartz,
Norman M. Delisle,
Vimal S. Begwani:
Incremental compilation in Magpie.
SIGPLAN Symposium on Compiler Construction 1984: 122-131 |
| 1 | | Norman M. Delisle,
David E. Menicosy,
Mayer D. Schwartz:
Viewing a Programming Environment as a Single Tool.
Software Development Environments (SDE) 1984: 49-56 |
