Robin A. Nicholl

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