Norman M. Delisle

According to our database, Norman M. Delisle authored at least 10 papers between 1984 and 1995.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1995

Verification of Automated Vehicle Protection Systems.

Henri B. Weinberg, Nancy A. Lynch, Norman M. Delisle

Proceedings of the Hybrid Systems III: Verification and Control, 1995

1990

A Formal Specification of an Oscilloscope.

Norman M. Delisle, David Garlan

IEEE Softw., 1990

Formal Specifications as Reusable Frameworks.

David Garlan, Norman M. Delisle

Proceedings of the VDM '90, 1990

1989

Formally specifying electronic instruments.

Norman M. Delisle, David Garlan

Proceedings of the 5th International Workshop on Software Specification and Design, 1989

1987

Contexts - A Partitioning Concept for Hypertext.

Norman M. Delisle, Mayer D. Schwartz

ACM Trans. Inf. Syst., 1987

Neptune: A Hypertext System for Software Development Environments.

Norman M. Delisle, Mayer D. Schwartz

IEEE Data Eng. Bull., 1987

1986

Neptune: a Hypertext System for CAD Applications.

Norman M. Delisle, Mayer D. Schwartz

Proceedings of the 1986 ACM SIGMOD International Conference on Management of Data, 1986

A programming environment for CSP.

Norman M. Delisle, Mayer D. Schwartz

Proceedings of the SESPSDE'86: ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1986

1984

Incremental compilation in Magpie.

Mayer D. Schwartz, Norman M. Delisle, Vimal S. Begwani

Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, 1984

Viewing a Programming Environment as a Single Tool.

Norman M. Delisle, David E. Menicosy, Mayer D. Schwartz

Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1984