Darrel C. Ince - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 48 from 48

2012

The case for open computer programsDarrel C. Ince, Leslie Hatton, John Graham-Cumming. nature, 482(7386):485-488, 2012. [doi]

2011

Using /* to Model Access Policies: Relating Actors to Their Organizational ContextRobert Crook, Darrel C. Ince, Bashar Nuseibeh. In Eric S. K. Yu, Paolo Giorgini, Neil A. M. Maiden, John Mylopoulos, editors, Social Modeling for Requirements Engineering. Cooperative information systems, pages 313-336, MIT Press, 2011.

2008

The Effectiveness of T-Way Test Data GenerationMichael Ellims, Darrel C. Ince, Marian Petre. safecomp 2008: 16-29 [doi]

2006

The Economics of Unit TestingMichael Ellims, James Bridges, Darrel C. Ince. ese, 11(1):5-31, 2006. [doi]

2005

On Modelling Access Policies: Relating Roles to their Organisational ContextRobert Crook, Darrel C. Ince, Bashar Nuseibeh. RE 2005: 157-166 [doi]

2004

Unit Testing in PracticeMichael Ellims, James Bridges, Darrel C. Ince. issre 2004: 3-13 [doi]

Using Abuse Frames to Bound the Scope of Security ProblemsLuncheng Lin, Bashar Nuseibeh, Darrel C. Ince, Michael Jackson. RE 2004: 354-355 [doi]

2003

Modelling access policies using roles in requirements engineeringRobert Crook, Darrel C. Ince, Bashar Nuseibeh. INFSOF, 45(14):979-991, 2003. [doi]

Introducing Abuse Frames for Analysing Security RequirementsLuncheng Lin, Bashar Nuseibeh, Darrel C. Ince, Michael Jackson, Jonathan D. Moffett. RE 2003: 371-372 [doi]

2002

Security Requirements Engineering: When Anti-Requirements Hit the FanRobert Crook, Darrel C. Ince, Luncheng Lin, Bashar Nuseibeh. RE 2002: 203-205 [doi]

2001

Llun - a high-level debugger for generated parsersStephen Glass, Darrel C. Ince, E. Fergus. SPE, 31(10):983-1001, 2001.

Eight Desert Island BooksDarrel C. Ince. ASE, 8(3-4):355-358, 2001.

2000

Quotient Machines, the Interface Equation and Protocol ConversionA. D. Pengelly, Darrel C. Ince. cj, 43(1):24-39, 2000.

The evaluation of access costs in object databasesK. Watkins, Mark Woodman, Darrel C. Ince. INFSOF, 42(8):557-569, 2000.

1999

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

1995

Transformational data refinement and VDMD. J. Andrews, Darrel C. Ince. INFSOF, 37(11):637-651, 1995. [doi]

A case study of a difficult refinement: a fast dictionary for a spell-checking programD. J. Andrews, Darrel C. Ince. INFSOF, 37(12):671-680, 1995. [doi]

1994

The symbolic execution of software - the SYM-BOL systemP. David Coward, Darrel C. Ince. Volume 2 of Chapman and Hall computer science : research and practice, Chapman and Hall, 1994.

Sofware quality: Theory and management, A.C. Gillies. Chapman & Hall, Andover, 1992, ISBN 0-412-951301. Price: £19.95Darrel C. Ince. SMR, 6(2):99-100, 1994. [doi]

Independent verification and validation, Robert O. Lewis. John Wiley & Sons, Chichester, 1992, ISBN 0-971-57011-7. Price: £47.50Darrel C. Ince. SMR, 6(2):99, 1994. [doi]

A critique of three metricsMartin J. Shepperd, Darrel C. Ince. jss, 26(3):197-210, 1994. [doi]

1992

Arrays and pointers considered harmfulDarrel C. Ince. SIGPLAN, 27(1):99-104, 1992. [doi]

Object oriented design with applications: Booch, G Benjamin Cummings, Redwood City, CA, USA (1991) £25.95 pp 58(Darrel C. Ince. mam, 16(6):332, 1992. [doi]

1991

The role of symbolic execution in software maintenanceP. D. Coward, Darrel C. Ince. SMR, 3(4):183-192, 1991. [doi]

Algebraic Validation of software MetricsMartin J. Shepperd, Darrel C. Ince. ESEC/FSE 1991: 343-363

Software Metrics in Software Engineering and Artificial IntelligenceMartin J. Shepperd, Darrel C. Ince. ijseke, 1(4):463-476, 1991. [doi]

Design metrics and software maintainability: An experimental investigationMartin J. Shepperd, Darrel C. Ince. SMR, 3(4):215-232, 1991. [doi]

1990

An annotated bibliography of software matricesDarrel C. Ince. SIGPLAN, 25(8):15-23, 1990. [doi]

Multi-Dimensional Modelling and Measurement of Software DesignsMartin J. Shepperd, Darrel C. Ince. acm 1990: 76-81 [doi]

1989

Martin J. Shepperd: An Empirical and Theoretical Analysis of an Information Flow-Based System Design MetricDarrel C. Ince. ESEC/FSE 1989: 86-99

1988

An approach to automated software design based on product metricsDarrel C. Ince, Sharam Hekmatpour. iee, 3(2):53-56, 1988. [doi]

1987

The Automatic Generation of Test DataDarrel C. Ince. cj, 30(1):63-69, 1987.

1986

Forms as a language facilitySharam Hekmatpour, Darrel C. Ince. SIGPLAN, 21(9):42-48, 1986. [doi]

The Rapid Generation of a Class of Software ToolsDarrel C. Ince, Mark Woodman. cj, 29(2):151-160, 1986.

An Empirical Evaluation of Random TestingDarrel C. Ince, S. Hekmatpour. cj, 29(4):380, 1986.

1985

A Program Design Language Based Software Maintenance ToolDarrel C. Ince. SPE, 15(6):583-594, 1985.

The influence of system design complexity research on the design of module interconnection languagesDarrel C. Ince, Walton Hall, Milton Keynes. SIGPLAN, 20(10):36-43, 1985. [doi]

A Software Tool for the Construction and Maintenance of Structured Analysis NotationMark Woodman, Darrel C. Ince. SPE, 15(11):1057-1072, 1985.

1984

A Source Code Control System Based on Semantic NetsDarrel C. Ince. SPE, 14(12):1159-1168, 1984.

The provision of procedural and functional interfaces for the maintenance of program design language and program language notationsDarrel C. Ince. SIGPLAN, 19(2):68-74, 1984. [doi]

Module interconnection languages and PrologDarrel C. Ince. SIGPLAN, 19(8):89-93, 1984. [doi]

1983

A Software Tool for Top-down ProgrammingDarrel C. Ince. SPE, 13(8):687-695, 1983.

A compatibility software tool for use with separately compiled languagesDarrel C. Ince. SIGPLAN, 18(9):31-34, 1983. [doi]

1981

Decision Tables in Algol 68Darrel C. Ince. SPE, 11(7):753-756, 1981.

The implementation of file structures in some high level languagesDarrel C. Ince. SIGPLAN, 16(11):49-55, 1981. [doi]

1980

An Algol 68 Based Algebraic Manipulation SystemDarrel C. Ince, Keith Robson. SPE, 10(6):427-430, 1980.

Paged input/output in some high level languagesDarrel C. Ince. SIGPLAN, 15(7-8):52-57, 1980. [doi]

An interpretative implementation of limited entry decision tables in Algol 68Darrel C. Ince. SIGPLAN, 15(2):43-45, 1980. [doi]

Sign in or sign up to see more results.

runs on WebDSL