Robin W. Whitty

Publication Activity (10 Years)

Years Active: 1984-2008
Publications (10 Years): 0

Publications

Robin W. Whitty
Rook polynomials on two-dimensional surfaces and graceful labellings of graphs. Discret. Math. 308 (5-6) (2008)
Enrique Carlos Segura, Robin W. Whitty
Modelling Human Intelligence: A Learning Mechanism. MICAI (2005)
Robin W. Whitty
Digraphs: theory, algorithms and applications. Softw. Test. Verification Reliab. 12 (1) (2002)
Robin W. Whitty
Editorial: Quantum Computing, Software Testing and the Millennium Bug. Softw. Test. Verification Reliab. 8 (4) (1998)
Robin W. Whitty
Software Inspection: An Industry Best Practice, by David A. Wheeler, Bill Brykczynski and Reginald N Meeson, Jr., IEEE Computer Society, 1996 (Book Review). Softw. Test. Verification Reliab. 7 (2) (1997)
Robin W. Whitty
Editorial: What do we want to get out of testing? Softw. Test. Verification Reliab. 7 (3) (1997)
Robin W. Whitty
Object-Oriented Metrics: an Annotated Bibliography. ACM SIGPLAN Notices 31 (4) (1996)
Robin W. Whitty
Editorial. Softw. Test. Verification Reliab. 6 (2) (1996)
Robin W. Whitty
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). Softw. Test. Verification Reliab. 6 (3/4) (1996)
Robin W. Whitty
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). Softw. Test. Verification Reliab. 5 (2) (1995)
Robin W. Whitty
Object-Oriented Software Metrics, by Mark Lorenz and Jeff Kidd, Prentice Hall, 1994 (Book Review). Softw. Test. Verification Reliab. 4 (4) (1994)
Robin W. Whitty
Reply to the Rebuttal of the Review of Beizer's 'Software Testing Techniques' (2nd Edition). Softw. Test. Verification Reliab. 4 (1) (1994)
Robin W. Whitty
Editorial. Softw. Test. Verification Reliab. 4 (2) (1994)
Robin W. Whitty
Editorial. Softw. Test. Verification Reliab. 2 (3) (1992)
Robin W. Whitty
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). Softw. Test. Verification Reliab. 2 (4) (1992)
Robin W. Whitty
Editorial. Softw. Test. Verification Reliab. 1 (3) (1991)
Robin W. Whitty
Multi-dimensional Software Metrics. Formal Aspects of Measurement (1991)
Robin W. Whitty
An Exercise in Weakest Preconditions. Softw. Test. Verification Reliab. 1 (1) (1991)
Norman E. Fenton, Robin W. Whitty
Program Structures: Some New Characterisations. J. Comput. Syst. Sci. 43 (3) (1991)
James M. Bieman, Norman E. Fenton, David A. Gustafson, Austin Melton, Robin W. Whitty
Moving from Philosophy to Practice in Software Measurement. Formal Aspects of Measurement (1991)
Robin W. Whitty
An Exercise in Weakest Preconditions. Bull. EATCS 42 (1990)
Albert L. Baker, James M. Bieman, Norman E. Fenton, David A. Gustafson, Austin Melton, Robin W. Whitty
A philosophy for software measurement. J. Syst. Softw. 12 (3) (1990)
John Bainbridge, Robin W. Whitty, John Wordsworth
Obtaining Structural Metrics of Z Specifications for Systems Development. Z User Workshop (1990)
Bill Jackson, Robin W. Whitty
A note concerning graphs with unique f-factors. J. Graph Theory 13 (5) (1989)
Robin W. Whitty
Structural Metrics for Z Specifications. Z User Workshop (1989)
Robin W. Whitty
Vertex-disjoint paths and edge-disjoint branchings in directed graphs. J. Graph Theory 11 (3) (1987)
Norman E. Fenton, Robin W. Whitty
Axiomatic Approach to Software Metrication Through Program Decomposition. Comput. J. 29 (4) (1986)
Robin W. Whitty, Norman E. Fenton, A. A. Kaposi
A rigorous approach to structural analysis and metrication of software. Softw. Microsystems 4 (1) (1985)
Robin W. Whitty, Demessie Girma
A data simulator for performance monitoring of vlsi ethernet hardware. Softw. Microsystems 4 (1) (1985)
Norman E. Fenton, Robin W. Whitty, A. A. Kaposi
A Generalised Mathematical Theory of Structured Programming. Theor. Comput. Sci. 36 (1985)
Robin W. Whitty, Norman E. Fenton, A. A. Kaposi
Structured programming: a tutorial guide. Softw. Microsystems 3 (3) (1984)