Robin M. Gallimore

According to our database, Robin M. Gallimore authored at least 7 papers between 1979 and 1990.

Collaborative distances:

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

1990

Formal Specification and Design Time Testing.

Christopher Paul Gerrard, Derek Coleman, Robin M. Gallimore

IEEE Trans. Software Eng., 1990

1989

UMIST OBJ: A Language for Executable Program Specifications.

Robin M. Gallimore, Derek Coleman, Victoria Stavridou

Comput. J., 1989

1987

The design of a rewrite rule interpreter from algebraic specifications.

Derek Coleman, Robin M. Gallimore, Victoria Stavridou

Softw. Eng. J., 1987

1981

KWIC-index generation.

Jørgen Steensgaard-Madsen, Jane W. Hughes, Malcolm S. Powell, Hartmut Ehrig, Hans-Jörg Kreowski, Leif Sandegaard Nielsen, Jean-Raymond Abrial, Ib Holm Sørensen, Robin M. Gallimore, Derek Coleman, Joseph A. Goguen

Proceedings of the Program Specification, 1981

Specification of Distributed Programs.

Derek Coleman, Robin M. Gallimore

Proceedings of the Program Specification, 1981

Partial Correctness of Distributed Programs.

Derek Coleman, Robin M. Gallimore

Proceedings of the Program Specification, 1981

1979

An Assessment of Concurrent Pascal.

Derek Coleman, Robin M. Gallimore, Jane W. Hughes, Malcolm S. Powell

Softw. Pract. Exp., 1979