Robin A. Nicholl

Publication Activity (10 Years)

Years Active: 1980-1996
Publications (10 Years): 0

Publications

Tomasz Müldner, Robin A. Nicholl
Computer-Supported Human Cooperation in Electronic Classrooms. J. Univers. Comput. Sci. 2 (10) (1996)
Veronika Doma, Robin A. Nicholl
EZ: A System for Automatic Prototyping of Z Specifications. VDM Europe (1) (1991)
Robin A. Nicholl
Unreachable States in Model-Oriented Specifications. IEEE Trans. Software Eng. 16 (4) (1990)
Robin A. Nicholl, Maurice Clint, David Gray, Tina M. Nicholl
The use of functional annotations in verifying imperative programs. Softw. Eng. J. 5 (5) (1990)
Robin A. Nicholl
Introducing formality into the software development process: experience with a software project course. COMPSAC (1990)
Robin A. Nicholl, Tina M. Nicholl
Performing geometric transformations by program transformation. ACM Trans. Graph. 9 (1) (1990)
Robin A. Nicholl
Integrating three tool-based approaches to software engineering. COMPSAC (1988)
Stephen S. Yau, Robin A. Nicholl, Jeffrey J. P. Tsai, Sying-Syang Liu
An Integrated Life-Cycle Model for Software Maintenance. IEEE Trans. Software Eng. 14 (8) (1988)
Robin A. Nicholl
Concurrency in Modula-2: Properties of the Language Primitives. Specification and Verification of Concurrent Systems (1988)
Tina M. Nicholl, D. T. Lee, Robin A. Nicholl
An efficient new algorithm for 2-D line clipping: Its development and analysis. SIGGRAPH (1987)
Stephen S. Yau, John L. Ramey, Robin A. Nicholl
Assertion techniques for dynamic monitoring of linear list data structures. J. Syst. Softw. 1 (1980)