Norman M. Delisle

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