An interpretative implementation of limited entry decision tables in Algol 68. - Darrel C. Ince (ACM SIGPLAN Notices, 1980)

Paged input/output in some high level languages. - Darrel C. Ince (ACM SIGPLAN Notices, 1980)

An Algol 68 Based Algebraic Manipulation System. - Darrel C. Ince; Keith Robson (Softw. Pract. Exp., 1980)

The implementation of file structures in some high level languages. - Darrel C. Ince (ACM SIGPLAN Notices, 1981)

Decision Tables in Algol 68. - Darrel C. Ince (Softw. Pract. Exp., 1981)

A compatibility software tool for use with separately compiled languages. - Darrel C. Ince (ACM SIGPLAN Notices, 1983)

A Software Tool for Top-down Programming. - Darrel C. Ince (Softw. Pract. Exp., 1983)

The provision of procedural and functional interfaces for the maintenance of program design language and program language notations. - Darrel C. Ince (ACM SIGPLAN Notices, 1984)

Module interconnection languages and Prolog. - Darrel C. Ince (ACM SIGPLAN Notices, 1984)

A Source Code Control System Based on Semantic Nets. - Darrel C. Ince (Softw. Pract. Exp., 1984)

The influence of system design complexity research on the design of module interconnection languages. - Darrel C. Ince; Walton Hall; Milton Keynes (ACM SIGPLAN Notices, 1985)

A Program Design Language Based Software Maintenance Tool. - Darrel C. Ince (Softw. Pract. Exp., 1985)

A Software Tool for the Construction and Maintenance of Structured Analysis Notation. - Mark Woodman; Darrel C. Ince (Softw. Pract. Exp., 1985)

An Empirical Evaluation of Random Testing. - Darrel C. Ince; Sharam Hekmatpour (Comput. J., 1986)

The Rapid Generation of a Class of Software Tools. - Darrel C. Ince; Mark Woodman (Comput. J., 1986)

Forms as a language facility. - Sharam Hekmatpour; Darrel C. Ince (ACM SIGPLAN Notices, 1986)

The Automatic Generation of Test Data. - Darrel C. Ince (Comput. J., 1987)

An approach to automated software design based on product metrics. - Darrel C. Ince; Sharam Hekmatpour (Softw. Eng. J., 1988)

Martin J. Shepperd: An Empirical and Theoretical Analysis of an Information Flow-Based System Design Metric. - Darrel C. Ince (ESEC, 1989)

Multi-Dimensional Modelling and Measurement of Software Designs. - Martin J. Shepperd; Darrel C. Ince (ACM Conference on Computer Science, 1990)

An annotated bibliography of software matrices. - Darrel C. Ince (ACM SIGPLAN Notices, 1990)

Algebraic Validation of software Metrics. - Martin J. Shepperd; Darrel C. Ince (ESEC, 1991)

Software Metrics in Software Engineering and Artificial Intelligence. - Martin J. Shepperd; Darrel C. Ince (Int. J. Softw. Eng. Knowl. Eng., 1991)

The role of symbolic execution in software maintenance. - P. David Coward; Darrel C. Ince (J. Softw. Maintenance Res. Pract., 1991)

Design metrics and software maintainability: An experimental investigation. - Martin J. Shepperd; Darrel C. Ince (J. Softw. Maintenance Res. Pract., 1991)

Object oriented design with applications: Booch, G Benjamin Cummings, Redwood City, CA, USA (1991) £25.95 pp 58(. - Darrel C. Ince (Microprocess. Microsystems, 1992)

Arrays and pointers considered harmful. - Darrel C. Ince (ACM SIGPLAN Notices, 1992)

The symbolic execution of software - the SYM-BOL system. - P. David Coward; Darrel C. Ince (Chapman and Hall, 1994)

A critique of three metrics. - Martin J. Shepperd; Darrel C. Ince (J. Syst. Softw., 1994)

Independent verification and validation, Robert O. Lewis. John Wiley & Sons, Chichester, 1992, ISBN 0-971-57011-7. Price: £47.50. - Darrel C. Ince (J. Softw. Maintenance Res. Pract., 1994)

Sofware quality: Theory and management, A.C. Gillies. Chapman & Hall, Andover, 1992, ISBN 0-412-951301. Price: £19.95. - Darrel C. Ince (J. Softw. Maintenance Res. Pract., 1994)

Transformational data refinement and VDM. - D. J. Andrews; Darrel C. Ince (Inf. Softw. Technol., 1995)

A case study of a difficult refinement: a fast dictionary for a spell-checking program. - D. J. Andrews; Darrel C. Ince (Inf. Softw. Technol., 1995)

Business information systems (6. ed.). - Harold Dennis Clifton; Alistair G. Sutcliffe; Darrel C. Ince (Pearson Education, 1999)

Quotient Machines, the Interface Equation and Protocol Conversion. - A. D. Pengelly; Darrel C. Ince (Comput. J., 2000)

The evaluation of access costs in object databases. - K. Watkins; Mark Woodman; Darrel C. Ince (Inf. Softw. Technol., 2000)

Eight Desert Island Books. - Darrel C. Ince (Autom. Softw. Eng., 2001)

Llun - a high-level debugger for generated parsers. - S. Glass; Darrel C. Ince; E. Fergus (Softw. Pract. Exp., 2001)

Security Requirements Engineering: When Anti-Requirements Hit the Fan. - Robert Crook; Darrel C. Ince; Luncheng Lin; Bashar Nuseibeh (RE, 2002)

Introducing Abuse Frames for Analysing Security Requirements. - Luncheng Lin; Bashar Nuseibeh; Darrel C. Ince; Michael Jackson 001; Jonathan D. Moffett (RE, 2003)

Modelling access policies using roles in requirements engineering. - Robert Crook; Darrel C. Ince; Bashar Nuseibeh (Inf. Softw. Technol., 2003)

Unit Testing in Practice. - Michael Ellims; James Bridges; Darrel C. Ince (ISSRE, 2004)

Using Abuse Frames to Bound the Scope of Security Problems. - Luncheng Lin; Bashar Nuseibeh; Darrel C. Ince; Michael Jackson 001 (RE, 2004)

On Modelling Access Policies: Relating Roles to their Organisational Context. - Robert Crook; Darrel C. Ince; Bashar Nuseibeh (RE, 2005)

The Economics of Unit Testing. - Michael Ellims; James Bridges; Darrel C. Ince (Empir. Softw. Eng., 2006)

The Effectiveness of T-Way Test Data Generation. - Michael Ellims; Darrel C. Ince; Marian Petre (SAFECOMP, 2008)

Using /* to Model Access Policies: Relating Actors to Their Organizational Context. - Robert Crook; Darrel C. Ince; Bashar Nuseibeh (Social Modeling for Requirements Engineering, 2011)

The case for open computer programs. - Darrel C. Ince; Leslie Hatton; John Graham-Cumming (Nat., 2012)