Robin A. Nicholl

According to our database, Robin A. Nicholl authored at least 11 papers between 1980 and 1996.

Collaborative distances:

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

1996

Computer-Supported Human Cooperation in Electronic Classrooms.

Tomasz Müldner, Robin A. Nicholl

J. Univers. Comput. Sci., 1996

1991

EZ: A System for Automatic Prototyping of Z Specifications.

Veronika Doma, Robin A. Nicholl

Proceedings of the VDM '91, 1991

1990

Unreachable States in Model-Oriented Specifications.

Robin A. Nicholl

IEEE Trans. Software Eng., 1990

Performing geometric transformations by program transformation.

Robin A. Nicholl, Tina M. Nicholl

ACM Trans. Graph., 1990

The use of functional annotations in verifying imperative programs.

Robin A. Nicholl, Maurice Clint, David Gray, Tina M. Nicholl

Softw. Eng. J., 1990

Introducing formality into the software development process: experience with a software project course.

Robin A. Nicholl

Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990

1988

An Integrated Life-Cycle Model for Software Maintenance.

Stephen S. Yau, Robin A. Nicholl, Jeffrey J. P. Tsai, Sying-Syang Liu

IEEE Trans. Software Eng., 1988

Concurrency in Modula-2: Properties of the Language Primitives.

Robin A. Nicholl

Proceedings of the Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 1988

Integrating three tool-based approaches to software engineering.

Robin A. Nicholl

Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

1987

An efficient new algorithm for 2-D line clipping: Its development and analysis.

Tina M. Nicholl, D. T. Lee, Robin A. Nicholl

Proceedings of the 14th Annual Conference on Computer Graphics and Interactive Techniques, 1987

1980

Assertion techniques for dynamic monitoring of linear list data structures.

Stephen S. Yau, John L. Ramey, Robin A. Nicholl

J. Syst. Softw., 1980