Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Bjørner, D., Jones, C.B. Formal Specification & Software Development. Prentice-Hall International 1982.
2. Conklin, J. A Survey of Hypertext. MCC Technical Report STP-356-86. Software Technology program, MCC, P.O.Box 200195, Austin, TX, 1987.
3. Delisle, N.M., Schwartz, M.D. Neptune: A Hypertext System for CAD Applications. ACM SIGMOD Record 15, 2, pp132–143. 1986.
4. Delisle, N.M., Schwartz, M.D. Contexts — A Partitioning Concept for Hypertext. ACM TOOIS 5, 2, pp168–186, 1987.
5. Delisle, N., Garlan, D. Formally Specifying Instruments. ACM SIGSOFT, 14, 3, pp242–248, 1989.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献