Computer-Supported Human Cooperation in Electronic Classrooms.
J. Univers. Comput. Sci., 1996
EZ: A System for Automatic Prototyping of Z Specifications.
Proceedings of the VDM '91, 1991
Unreachable States in Model-Oriented Specifications.
IEEE Trans. Software Eng., 1990
Performing geometric transformations by program transformation.
ACM Trans. Graph., 1990
The use of functional annotations in verifying imperative programs.
Softw. Eng. J., 1990
Introducing formality into the software development process: experience with a software project course.
Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990
An Integrated Life-Cycle Model for Software Maintenance.
IEEE Trans. Software Eng., 1988
Concurrency in Modula-2: Properties of the Language Primitives.
Proceedings of the Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 1988
Integrating three tool-based approaches to software engineering.
Proceedings of the Twelfth International Computer Software and Applications Conference, 1988
An efficient new algorithm for 2-D line clipping: Its development and analysis.
Proceedings of the 14th Annual Conference on Computer Graphics and Interactive Techniques, 1987
Assertion techniques for dynamic monitoring of linear list data structures.
J. Syst. Softw., 1980