Darrel C. Ince

48 papers A 5B 1Journal 36Unranked 3
YearRankTypeTitle / Venue / Authors
2012 J jnl
The case for open computer programs.
Nat.
Darrel C. Ince, Leslie Hatton, John Graham-Cumming
2011 — ch.
Using /* to Model Access Policies: Relating Actors to Their Organizational Context.
Social Modeling for Requirements Engineering
Robert Crook, Darrel C. Ince, Bashar Nuseibeh
2008 B conf
The Effectiveness of T-Way Test Data Generation.
SAFECOMP
Michael Ellims, Darrel C. Ince, Marian Petre
2006 J jnl
The Economics of Unit Testing.
Empir. Softw. Eng.
Michael Ellims, James Bridges, Darrel C. Ince
2005 A conf
On Modelling Access Policies: Relating Roles to their Organisational Context.
RE
Robert Crook, Darrel C. Ince, Bashar Nuseibeh
2004 A conf
Unit Testing in Practice.
ISSRE
Michael Ellims, James Bridges, Darrel C. Ince
2004 A conf
Using Abuse Frames to Bound the Scope of Security Problems.
RE
Luncheng Lin, Bashar Nuseibeh, Darrel C. Ince, Michael Jackson
2003 A conf
Introducing Abuse Frames for Analysing Security Requirements.
RE
Luncheng Lin, Bashar Nuseibeh, Darrel C. Ince, Michael Jackson, Jonathan D. Moffett
2003 J jnl
Modelling access policies using roles in requirements engineering.
Inf. Softw. Technol.
Robert Crook, Darrel C. Ince, Bashar Nuseibeh
2002 A conf
Security Requirements Engineering: When Anti-Requirements Hit the Fan.
RE
Robert Crook, Darrel C. Ince, Luncheng Lin, Bashar Nuseibeh
2001 J jnl
Eight Desert Island Books.
Autom. Softw. Eng.
Darrel C. Ince
2001 J jnl
Llun - a high-level debugger for generated parsers.
Softw. Pract. Exp.
S. Glass, Darrel C. Ince, E. Fergus
2000 J jnl
Quotient Machines, the Interface Equation and Protocol Conversion.
Comput. J.
A. D. Pengelly, Darrel C. Ince
2000 J jnl
The evaluation of access costs in object databases.
Inf. Softw. Technol.
K. Watkins, Mark Woodman, Darrel C. Ince
1999 — book
Business information systems (6. ed.).
Harold Dennis Clifton, Alistair G. Sutcliffe, Darrel C. Ince
1995 J jnl
A case study of a difficult refinement: a fast dictionary for a spell-checking program.
Inf. Softw. Technol.
D. J. Andrews, Darrel C. Ince
1995 J jnl
Transformational data refinement and VDM.
Inf. Softw. Technol.
D. J. Andrews, Darrel C. Ince
1994 J jnl
A critique of three metrics.
J. Syst. Softw.
Martin J. Shepperd, Darrel C. Ince
1994 J jnl
Independent verification and validation, Robert O. Lewis. John Wiley & Sons, Chichester, 1992, ISBN 0-971-57011-7. Price: £47.50.
J. Softw. Maintenance Res. Pract.
Darrel C. Ince
1994 J jnl
Sofware quality: Theory and management, A.C. Gillies. Chapman & Hall, Andover, 1992, ISBN 0-412-951301. Price: £19.95.
J. Softw. Maintenance Res. Pract.
Darrel C. Ince
1994 — book
The symbolic execution of software - the SYM-BOL system.
P. David Coward, Darrel C. Ince
1992 J jnl
Arrays and pointers considered harmful.
ACM SIGPLAN Notices
Darrel C. Ince
1992 J jnl
Object oriented design with applications: Booch, G Benjamin Cummings, Redwood City, CA, USA (1991) £25.95 pp 58(.
Microprocess. Microsystems
Darrel C. Ince
1991 — conf
Algebraic Validation of software Metrics.
ESEC
Martin J. Shepperd, Darrel C. Ince
1991 J jnl
Design metrics and software maintainability: An experimental investigation.
J. Softw. Maintenance Res. Pract.
Martin J. Shepperd, Darrel C. Ince
1991 J jnl
Software Metrics in Software Engineering and Artificial Intelligence.
Int. J. Softw. Eng. Knowl. Eng.
Martin J. Shepperd, Darrel C. Ince
1991 J jnl
The role of symbolic execution in software maintenance.
J. Softw. Maintenance Res. Pract.
P. David Coward, Darrel C. Ince
1990 J jnl
An annotated bibliography of software matrices.
ACM SIGPLAN Notices
Darrel C. Ince
1990 — conf
Multi-Dimensional Modelling and Measurement of Software Designs.
ACM Conference on Computer Science
Martin J. Shepperd, Darrel C. Ince
1989 — conf
Martin J. Shepperd: An Empirical and Theoretical Analysis of an Information Flow-Based System Design Metric.
ESEC
Darrel C. Ince
1988 J jnl
An approach to automated software design based on product metrics.
Softw. Eng. J.
Darrel C. Ince, Sharam Hekmatpour
1987 J jnl
The Automatic Generation of Test Data.
Comput. J.
Darrel C. Ince
1986 J jnl
An Empirical Evaluation of Random Testing.
Comput. J.
Darrel C. Ince, Sharam Hekmatpour
1986 J jnl
Forms as a language facility.
ACM SIGPLAN Notices
Sharam Hekmatpour, Darrel C. Ince
1986 J jnl
The Rapid Generation of a Class of Software Tools.
Comput. J.
Darrel C. Ince, Mark Woodman
1985 J jnl
A Program Design Language Based Software Maintenance Tool.
Softw. Pract. Exp.
Darrel C. Ince
1985 J jnl
A Software Tool for the Construction and Maintenance of Structured Analysis Notation.
Softw. Pract. Exp.
Mark Woodman, Darrel C. Ince
1985 J jnl
The influence of system design complexity research on the design of module interconnection languages.
ACM SIGPLAN Notices
Darrel C. Ince, Walton Hall, Milton Keynes
1984 J jnl
A Source Code Control System Based on Semantic Nets.
Softw. Pract. Exp.
Darrel C. Ince
1984 J jnl
Module interconnection languages and Prolog.
ACM SIGPLAN Notices
Darrel C. Ince
1984 J jnl
The provision of procedural and functional interfaces for the maintenance of program design language and program language notations.
ACM SIGPLAN Notices
Darrel C. Ince
1983 J jnl
A Software Tool for Top-down Programming.
Softw. Pract. Exp.
Darrel C. Ince
1983 J jnl
A compatibility software tool for use with separately compiled languages.
ACM SIGPLAN Notices
Darrel C. Ince
1981 J jnl
Decision Tables in Algol 68.
Softw. Pract. Exp.
Darrel C. Ince
1981 J jnl
The implementation of file structures in some high level languages.
ACM SIGPLAN Notices
Darrel C. Ince
1980 J jnl
An Algol 68 Based Algebraic Manipulation System.
Softw. Pract. Exp.
Darrel C. Ince, Keith Robson
1980 J jnl
An interpretative implementation of limited entry decision tables in Algol 68.
ACM SIGPLAN Notices
Darrel C. Ince
1980 J jnl
Paged input/output in some high level languages.
ACM SIGPLAN Notices
Darrel C. Ince