R. W. Whitty
List of publications from the
| 2008 |
|---|
| 26 | EE | Robin W. Whitty:
Rook polynomials on two-dimensional surfaces and graceful labellings of graphs.
Discrete Mathematics 308(5-6): 674-683 (2008) |
| 2005 |
|---|
| 25 | EE | Enrique Carlos Segura,
Robin W. Whitty:
Modelling Human Intelligence: A Learning Mechanism.
MICAI 2005: 1-10 |
| 2002 |
|---|
| 24 | | R. W. Whitty:
Digraphs: theory, algorithms and applications.
Softw. Test., Verif. Reliab. 12(1): 59-60 (2002) |
| 1998 |
|---|
| 23 | | R. W. Whitty:
Editorial: Quantum Computing, Software Testing and the Millennium Bug.
Softw. Test., Verif. Reliab. 8(4): 173-174 (1998) |
| 1997 |
|---|
| 22 | | R. 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., Verif. Reliab. 7(2): 130-132 (1997) |
| 21 | | R. W. Whitty:
Editorial: What do we want to get out of testing?
Softw. Test., Verif. Reliab. 7(3): 137-138 (1997) |
| 1996 |
|---|
| 20 | | R. W. Whitty:
Object-Oriented Metrics: an Annotated Bibliography.
SIGPLAN Notices 31(4): 45-75 (1996) |
| 19 | | R. W. Whitty:
Editorial.
Softw. Test., Verif. Reliab. 6(2): 59-60 (1996) |
| 18 | | R. 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., Verif. Reliab. 6(3/4): 253-255 (1996) |
| 1995 |
|---|
| 17 | | R. 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., Verif. Reliab. 5(2): 133-135 (1995) |
| 1994 |
|---|
| 16 | | R. W. Whitty:
Reply to the Rebuttal of the Review of Beizer's `Software Testing Techniques' (2nd Edition).
Softw. Test., Verif. Reliab. 4(1): 49 (1994) |
| 15 | | R. W. Whitty:
Editorial.
Softw. Test., Verif. Reliab. 4(2): 61-62 (1994) |
| 14 | | R. W. Whitty:
Object-Oriented Software Metrics, by Mark Lorenz and Jeff Kidd, Prentice Hall, 1994 (Book Review).
Softw. Test., Verif. Reliab. 4(4): 255-256 (1994) |
| 1992 |
|---|
| 13 | | B. Tim Denvir,
Ros Herman,
R. W. Whitty:
Formal Aspects of Measurement, Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991
Springer 1992 |
| 12 | | R. W. Whitty:
Editorial.
Softw. Test., Verif. Reliab. 2(3): 111 (1992) |
| 11 | | R. 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., Verif. Reliab. 2(4): 215-216 (1992) |
| 1991 |
|---|
| 10 | | R. W. Whitty:
Multi-dimensional Software Metrics.
Formal Aspects of Measurement 1991: 116-141 |
| 9 | | 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: 38-59 |
| 8 | | Norman E. Fenton,
Robin W. Whitty:
Program Structures: Some New Characterisations.
J. Comput. Syst. Sci. 43(3): 467-483 (1991) |
| 7 | | R. W. Whitty:
An Exercise in Weakest Preconditions.
Softw. Test., Verif. Reliab. 1(1): 39-43 (1991) |
| 6 | | R. W. Whitty:
Editorial.
Softw. Test., Verif. Reliab. 1(3): 3-4 (1991) |
| 1990 |
|---|
| 5 | | John Bainbridge,
R. W. Whitty,
John Wordsworth:
Obtaining Structural Metrics of Z Specifications for Systems Development.
Z User Workshop 1990: 269-281 |
| 4 | | R. W. Whitty:
An Exercise in Weakest Preconditions.
Bulletin of the EATCS 42: 195-198 (1990) |
| 3 | EE | Albert L. Baker,
James M. Bieman,
Norman E. Fenton,
David A. Gustafson,
Austin Melton,
Robin W. Whitty:
A philosophy for software measurement.
Journal of Systems and Software 12(3): 277-281 (1990) |
| 1986 |
|---|
| 2 | | Norman E. Fenton,
Robin W. Whitty:
Axiomatic Approach to Software Metrication Through Program Decomposition.
Comput. J. 29(4): 330-339 (1986) |
| 1985 |
|---|
| 1 | | Norman E. Fenton,
Robin W. Whitty,
A. A. Kaposi:
A Generalised Mathematical Theory of Structured Programming.
Theor. Comput. Sci. 36: 145-171 (1985) |
