Norman M. Delisle

Publication Activity (10 Years)

Years Active: 1984-1995
Publications (10 Years): 0

Publications

Henri B. Weinberg, Nancy A. Lynch, Norman M. Delisle
Verification of Automated Vehicle Protection Systems. Hybrid Systems (1995)
David Garlan, Norman M. Delisle
Formal Specifications as Reusable Frameworks. VDM Europe (1990)
Norman M. Delisle, David Garlan
A Formal Specification of an Oscilloscope. IEEE Softw. 7 (5) (1990)
Norman M. Delisle, David Garlan
Formally specifying electronic instruments. IWSSD (1989)
Norman M. Delisle, Mayer D. Schwartz
Contexts - A Partitioning Concept for Hypertext. ACM Trans. Inf. Syst. 5 (2) (1987)
Norman M. Delisle, Mayer D. Schwartz
Neptune: A Hypertext System for Software Development Environments. IEEE Data Eng. Bull. 10 (1) (1987)
Norman M. Delisle, Mayer D. Schwartz
Contexts: a partitioning concept for hypertext. CSCW (1986)
Norman M. Delisle, Mayer D. Schwartz
A programming environment for CSP. SDE (1986)
Norman M. Delisle, Mayer D. Schwartz
Neptune: a Hypertext System for CAD Applications. SIGMOD Conference (1986)
Norman M. Delisle, David E. Menicosy, Mayer D. Schwartz
Viewing a Programming Environment as a Single Tool. Software Development Environments (SDE) (1984)
Mayer D. Schwartz, Norman M. Delisle, Vimal S. Begwani
Incremental compilation in Magpie. SIGPLAN Symposium on Compiler Construction (1984)