Darrel C. Ince

According to our database, Darrel C. Ince authored at least 48 papers between 1980 and 2012.

Collaborative distances:

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

2012

The case for open computer programs.

Darrel C. Ince, Leslie Hatton, John Graham-Cumming

Nat., 2012

2011

Using /* to Model Access Policies: Relating Actors to Their Organizational Context.

Robert Crook, Darrel C. Ince, Bashar Nuseibeh

Proceedings of the Social Modeling for Requirements Engineering., 2011

2008

The Effectiveness of T-Way Test Data Generation.

Michael Ellims, Darrel C. Ince, Marian Petre

Proceedings of the Computer Safety, 2008

2006

The Economics of Unit Testing.

Michael Ellims, James Bridges, Darrel C. Ince

Empir. Softw. Eng., 2006

2005

On Modelling Access Policies: Relating Roles to their Organisational Context.

Robert Crook, Darrel C. Ince, Bashar Nuseibeh

Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

2004

Using Abuse Frames to Bound the Scope of Security Problems.

Luncheng Lin, Bashar Nuseibeh, Darrel C. Ince, Michael Jackson

Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

Unit Testing in Practice.

Michael Ellims, James Bridges, Darrel C. Ince

Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

2003

Modelling access policies using roles in requirements engineering.

Robert Crook, Darrel C. Ince, Bashar Nuseibeh

Inf. Softw. Technol., 2003

Introducing Abuse Frames for Analysing Security Requirements.

Luncheng Lin, Bashar Nuseibeh, Darrel C. Ince, Michael Jackson, Jonathan D. Moffett

Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003

2002

Security Requirements Engineering: When Anti-Requirements Hit the Fan.

Robert Crook, Darrel C. Ince, Luncheng Lin, Bashar Nuseibeh

Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 2002

2001

Llun - a high-level debugger for generated parsers.

S. Glass, Darrel C. Ince, E. Fergus

Softw. Pract. Exp., 2001

Eight Desert Island Books.

Darrel C. Ince

Autom. Softw. Eng., 2001

2000

The evaluation of access costs in object databases.

K. Watkins, Mark Woodman, Darrel C. Ince

Inf. Softw. Technol., 2000

Quotient Machines, the Interface Equation and Protocol Conversion.

A. D. Pengelly, Darrel C. Ince

Comput. J., 2000

1999

Business information systems (6. ed.).

Harold Dennis Clifton, Alistair G. Sutcliffe, Darrel C. Ince

Pearson Education, ISBN: 978-0-13-082960-3, 1999

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

Transformational data refinement and VDM.

D. J. Andrews, Darrel C. Ince

Inf. Softw. Technol., 1995

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

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

A critique of three metrics.

Martin J. Shepperd, Darrel C. Ince

J. Syst. Softw., 1994

The symbolic execution of software - the SYM-BOL system.

P. David Coward, Darrel C. Ince

Chapman and Hall computer science : research and practice 2, Chapman and Hall, ISBN: 978-0-412-58340-7, 1994

1992

Arrays and pointers considered harmful.

Darrel C. Ince

ACM SIGPLAN Notices, 1992

Object oriented design with applications: Booch, G Benjamin Cummings, Redwood City, CA, USA (1991) £25.95 pp 58(.

Darrel C. Ince

Microprocess. Microsystems, 1992

1991

Design metrics and software maintainability: An experimental investigation.

Martin J. Shepperd, Darrel C. Ince

J. Softw. Maintenance Res. Pract., 1991

The role of symbolic execution in software maintenance.

P. David Coward, Darrel C. Ince

J. Softw. Maintenance Res. Pract., 1991

Software Metrics in Software Engineering and Artificial Intelligence.

Martin J. Shepperd, Darrel C. Ince

Int. J. Softw. Eng. Knowl. Eng., 1991

Algebraic Validation of software Metrics.

Martin J. Shepperd, Darrel C. Ince

Proceedings of the ESEC '91, 1991

1990

An annotated bibliography of software matrices.

Darrel C. Ince

ACM SIGPLAN Notices, 1990

Multi-Dimensional Modelling and Measurement of Software Designs.

Martin J. Shepperd, Darrel C. Ince

Proceedings of the ACM 18th Annual Computer Science Conference on Cooperation, 1990

1989

Martin J. Shepperd: An Empirical and Theoretical Analysis of an Information Flow-Based System Design Metric.

Darrel C. Ince

Proceedings of the ESEC '89, 1989

1988

An approach to automated software design based on product metrics.

Darrel C. Ince, Sharam Hekmatpour

Softw. Eng. J., 1988

1987

The Automatic Generation of Test Data.

Darrel C. Ince

Comput. J., 1987

1986

Forms as a language facility.

Sharam Hekmatpour, Darrel C. Ince

ACM SIGPLAN Notices, 1986

The Rapid Generation of a Class of Software Tools.

Darrel C. Ince, Mark Woodman

Comput. J., 1986

An Empirical Evaluation of Random Testing.

Darrel C. Ince, Sharam Hekmatpour

Comput. J., 1986

1985

A Software Tool for the Construction and Maintenance of Structured Analysis Notation.

Mark Woodman, Darrel C. Ince

Softw. Pract. Exp., 1985

A Program Design Language Based Software Maintenance Tool.

Darrel C. Ince

Softw. Pract. Exp., 1985

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

1984

A Source Code Control System Based on Semantic Nets.

Darrel C. Ince

Softw. Pract. Exp., 1984

Module interconnection languages and Prolog.

Darrel C. Ince

ACM SIGPLAN Notices, 1984

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

1983

A Software Tool for Top-down Programming.

Darrel C. Ince

Softw. Pract. Exp., 1983

A compatibility software tool for use with separately compiled languages.

Darrel C. Ince

ACM SIGPLAN Notices, 1983

1981

Decision Tables in Algol 68.

Darrel C. Ince

Softw. Pract. Exp., 1981

The implementation of file structures in some high level languages.

Darrel C. Ince

ACM SIGPLAN Notices, 1981

1980

An Algol 68 Based Algebraic Manipulation System.

Darrel C. Ince, Keith Robson

Softw. Pract. Exp., 1980

Paged input/output in some high level languages.

Darrel C. Ince

ACM SIGPLAN Notices, 1980

An interpretative implementation of limited entry decision tables in Algol 68.

Darrel C. Ince

ACM SIGPLAN Notices, 1980