Norman M. Delisle

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1995
Verification of Automated Vehicle Protection Systems.
Proceedings of the Hybrid Systems III: Verification and Control, 1995

1990
A Formal Specification of an Oscilloscope.
IEEE Softw., 1990

Formal Specifications as Reusable Frameworks.
Proceedings of the VDM '90, 1990

1987
Contexts - A Partitioning Concept for Hypertext.
ACM Trans. Inf. Syst., 1987

Neptune: A Hypertext System for Software Development Environments.
IEEE Data Eng. Bull., 1987

1986
Neptune: a Hypertext System for CAD Applications.
Proceedings of the 1986 ACM SIGMOD International Conference on Management of Data, 1986

A programming environment for CSP.
Proceedings of the SESPSDE'86: ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1986

1984
Incremental compilation in Magpie.
Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, 1984

Viewing a Programming Environment as a Single Tool.
Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1984


  Loading...