Robin W. Whitty

32 papers Journal 26Unranked 5

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