Robin W. Whitty

According to our database, Robin W. Whitty authored at least 27 papers between 1984 and 2008.

Collaborative distances:

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

2008

Rook polynomials on two-dimensional surfaces and graceful labellings of graphs.

Robin W. Whitty

Discret. Math., 2008

2005

Modelling Human Intelligence: A Learning Mechanism.

Enrique Carlos Segura, Robin W. Whitty

Proceedings of the MICAI 2005: Advances in Artificial Intelligence, 2005

2002

Digraphs: theory, algorithms and applications.

Robin W. Whitty

Softw. Test. Verification Reliab., 2002

1998

Editorial: Quantum Computing, Software Testing and the Millennium Bug.

Robin W. Whitty

Softw. Test. Verification Reliab., 1998

1997

Editorial: What do we want to get out of testing?

Robin W. Whitty

Softw. Test. Verification Reliab., 1997

Software Inspection: An Industry Best Practice, by David A. Wheeler, Bill Brykczynski and Reginald N Meeson, Jr., IEEE Computer Society, 1996 (Book Review).

Robin W. Whitty

Softw. Test. Verification Reliab., 1997

1996

Achieving Quality in Software: Proceedings of the Third International Conference on Achieving Quality in Software, by Sandro Bologna and Giacomo Bucci (Editors), Chapman and Hall, 1996 (Book Review).

Robin W. Whitty

Softw. Test. Verification Reliab., 1996

Editorial.

Robin W. Whitty

Softw. Test. Verification Reliab., 1996

Object-Oriented Metrics: an Annotated Bibliography.

Robin W. Whitty

ACM SIGPLAN Notices, 1996

1995

Software in Safety-Related Systems, by Brian Wichmann (Editor), Wiley, 1992 and Safety-Critical Systems: Current Issues, Techniques and Standards, Felix Redmill and Tom Anderson (Editors), Chapman & Hall, 1993 and Directions in Safety-Critical Systems, by Felix Redmill and Tom Anderson (Editors), Springer-Verlag, 1993 and Technology and Assessment of Safety-Critical Systems, Felix Redmill and Tom Anderson (Editors), Springer-Verlag, 1994 and Achievement and Assurance of Safety, Felix Redmill and Tom Anderson (Editors), Springer-Verlag, 1995 and Journal: High Integrity Systems, Andrew D. McGettrick (Editor), Oxford University Press (Books and Journal Review).

Robin W. Whitty

Softw. Test. Verification Reliab., 1995

1994

Object-Oriented Software Metrics, by Mark Lorenz and Jeff Kidd, Prentice Hall, 1994 (Book Review).

Robin W. Whitty

Softw. Test. Verification Reliab., 1994

Reply to the Rebuttal of the Review of Beizer's 'Software Testing Techniques' (2nd Edition).

Robin W. Whitty

Softw. Test. Verification Reliab., 1994

1992

Software Testing Techniques, by Boris Beizer, Van Nostrand Reinhold, Second Edition, 1990 and Testing Computer Software, by C. Kaner, J. Falik and H. Q. Nguyen, Van Nostrand Reinhold, Second Edition, 1993 (Book Review).

Robin W. Whitty

Softw. Test. Verification Reliab., 1992

1991

Program Structures: Some New Characterisations.

Norman E. Fenton, Robin W. Whitty

J. Comput. Syst. Sci., 1991

Multi-dimensional Software Metrics.

Robin W. Whitty

Proceedings of the Formal Aspects of Measurement, 1991

Moving from Philosophy to Practice in Software Measurement.

James M. Bieman, Norman E. Fenton, David A. Gustafson, Austin Melton, Robin W. Whitty

Proceedings of the Formal Aspects of Measurement, 1991

1990

A philosophy for software measurement.

Albert L. Baker, James M. Bieman, Norman E. Fenton, David A. Gustafson, Austin Melton, Robin W. Whitty

J. Syst. Softw., 1990

An Exercise in Weakest Preconditions.

Robin W. Whitty

Bull. EATCS, 1990

Obtaining Structural Metrics of Z Specifications for Systems Development.

John Bainbridge, Robin W. Whitty, John Wordsworth

Proceedings of the Z User Workshop, 1990

1989

A note concerning graphs with unique f-factors.

Bill Jackson, Robin W. Whitty

J. Graph Theory, 1989

Structural Metrics for Z Specifications.

Robin W. Whitty

Proceedings of the Fourth Annual Z User Meeting, Oxford, UK, December 15, 1989, 1989

1987

Vertex-disjoint paths and edge-disjoint branchings in directed graphs.

Robin W. Whitty

J. Graph Theory, 1987

1986

Axiomatic Approach to Software Metrication Through Program Decomposition.

Norman E. Fenton, Robin W. Whitty

Comput. J., 1986

1985

A Generalised Mathematical Theory of Structured Programming.

Norman E. Fenton, Robin W. Whitty, A. A. Kaposi

Theor. Comput. Sci., 1985

A data simulator for performance monitoring of vlsi ethernet hardware.

Robin W. Whitty, Demessie Girma

Softw. Microsystems, 1985

A rigorous approach to structural analysis and metrication of software.

Robin W. Whitty, Norman E. Fenton, A. A. Kaposi

Softw. Microsystems, 1985

1984

Structured programming: a tutorial guide.

Robin W. Whitty, Norman E. Fenton, A. A. Kaposi

Softw. Microsystems, 1984