Items where department is "Computer Science"

A

Ahn, Ki Yung and Horne, Ross and Tiu, Alwen (2021) A characterisation of open bisimilarity using an intuitionistic modal logic. Logical Methods in Computer Science, 17 (3). 2:1-2:40. ISSN 1860-5974

D

Daly, J. and Brooks, A. and Miller, J. and Roper, M. and Wood, M.; (1996) An empirical study evaluating depth of inheritance on the maintainability of object-oriented software. In: Empirical Studies of Programmers: Sixth Workshop. Intellect, pp. 39-58. ISBN 9781567502626

Daly, J. and Miller, J. and Brooks, A. and Roper, M. and Wood, M. (1996) An empirical evaluation of object-oriented practioners' experiences. In: Empirical studies of programmers: sixth workshop, 1996-01-05 - 1996-01-07.

Daly, J. and Brooks, A. and Miller, J. and Roper, M. and Wood, M. (1996) Evaluating inheritance depth on the maintainability of object-oriented software. Empirical Software Engineering, 1 (2). pp. 109-132. ISSN 1382-3256

Daly, J. and Brooks, A. and Miller, J. and Roper, M. and Wood, M.; (1995) The effect of inheritance on the maintainability of object-oriented software: an empirical study. In: Proceedings of the IEEE International Conference on Software Maintenance. IEEE, pp. 20-29.

Daly, J. and Brooks, A. and Miller, J. and Roper, M. and Wood, M.; (1994) Verification of results in software maintenance through external replication. In: Proceedings of the IEEE International Conference on Software Maintenance. IEEE, Victoria, Canada, pp. 50-57.

F

Ferguson, John D. and Miller, James (2007) Modeling defects in e-projects. International Journal of Information Technology and Web Engineering, 2 (3). pp. 1-16. ISSN 1554-1045

G

Gregory, Peter and Miller, Alice and Prosser, Patrick (2004) Solving the rehearsal problem with planning and model checking. In: Proceedings of ECAI'04 Workshop on Modelling and Solving Problems with Constraints, 2004-08-22 - 2004-08-27.

K

Kotsis, N. and Weir, G.R.S. and Ferguson, J.D. and MacGregor, D.R. (2001) Novel techniques for data visualisation and exploration in multidimensional datasets. In: 3rd International Conference on Enterprise Information Systems, 2001-07-07 - 2001-07-10.

M

Miller, J. and Wilson, W.S. and Kek, W.K. and Wilson, C.G. and Uttamchandani, D.G. (2003) Spectroscopic detection of a therapeutic drug in the mammalian eye. IEEE Journal of Selected Topics in Quantum Electronics, 9 (2). pp. 171-176. ISSN 1077-260X

Miller, James and Macdonald, Fraser and Ferguson, John (2002) ASSISTing management decisions in the software inspection process. Journal of Information Technology and Management, 3. pp. 67-83. ISSN 1385-951X

Macdonald, F. and Ferguson, J.D. and Miller, J. (2000) A Groupware Approach to Improving Software Inspection. In: 4th World Multiconference on Systemics, Cybernetics and Informatics, 2000-07-23 - 2000-07-26.

Macdonald, F. and Miller, J. and Ferguson, J.D. (1999) ASSISTing asynchronous software inspection by auto-collation of defect lists. In: ISD'99 Eighth International Conference Information Systems Development Methods and Tools, Theory and Practice, 1999-08-11 - 1999-08-13.

Macdonald, F. (1999) Computer Supported Software Inspection. PhD thesis, University Of Strathclyde.

Macdonald, F. and Miller, J. and Ferguson, J.D. (1999) A Comparison of On-line Tools for Software Inspection. In: Proceedings of ISAS'99, 1999-07-30 - 1999-08-01.

Miller, J. and Ferguson, J.D. and Murphy, P.; (1999) Groupware support for asynchronous document review. In: Proceedings of the 17th annual international conference on Computer documentation. ACM, pp. 185-192. ISBN 1-58113-072-4

Macdonald, F. and Miller, J. (1998) A comparison of tool-based and paper-based software inspection. Empirical Software Engineering, 3 (3). ISSN 1382-3256

Miller, J. and Roper, M. and Wood, M. (1998) Further experiences with scenarios and checklists. Empirical Software Engineering, 3 (1). pp. 37-64. ISSN 1382-3256

Macdonald, F. and Miller, J. (1997) Automated generic support for software inspection. In: 10th International Quality Week, 1997-05-27 - 1997-05-30.

Macdonald, F. and Miller, J. (1997) A software inspection process definition language and prototype support tool. Software Testing, Verification and Reliability, 7 (2). pp. 99-128. ISSN 0960-0833

Miller, J. and Daly, J. and Wood, M. and Brooks, A. and Roper, M. (1997) Statistical power and its subcomponents - missing and misunderstood concepts in software engineering research. Information and Software Technology, 39 (4). pp. 285-295. ISSN 0950-5849

Murphy, P. and Miller, J.; (1997) A process for asynchronous software inspection. In: Software Technology and Engineering Practice, 1997. Proceedings., Eighth IEEE International Workshop on [incorporating Computer Aided Software Engineering]. IEEE.

Macdonald, F. and Miller, J. and Brooks, A. and Roper, M. and Wood, M. (1996) Applying inspection to object-oriented software. Software Testing, Verification and Reliability, 6 (2). pp. 61-82. ISSN 0960-0833

Macdonald, F. and Miller, J. and Brooks, A. and Roper, M. and Wood, M. (1996) Automating the software inspection process. Automated Software Engineering, 3 (3/4). pp. 193-283. ISSN 0928-8910

Miller, J. and Daly, J. and Wood, M. and Brooks, A. and Roper, M. (1996) Electronic bulletin board distributed questionnaires for exploratory research. Journal of Information Science, 2 (2). pp. 107-115. ISSN 0165-5515

Macdonald, F. and Miller, J. and Brooks, A. and Roper, M. and Wood, M.; (1995) A review of tool support for software inspection. In: Proceedings of the Seventh International Workshop on Computer Aided Software Engineering. IEEE, pp. 340-349.

Miller, J. and Roper, M. and Brooks, A. and Wood, M. (1995) Towards a benchmark for the evaluation of software testing techniques. Information and Software Technology, 37 (1). pp. 5-13. ISSN 0950-5849

R

Roper, M. and Wood, M. and Miller, J. (1997) An Empirical Evaluation of Defect Detection Techniques. Information and Software Technology, 39 (11). pp. 763-775. ISSN 0950-5849

W

Wu, S. and Sheth, A. and Miller, J. and Luo, Z. (2002) Authorization and access control of application data in Workflow systems. Journal of Intelligent Information Systems, 18 (1). pp. 71-94. ISSN 0925-9902

Wood, Murray and Daly, John and Miller, James and Roper, Marc (1999) Multi-Method Research: An Empirical Investigation of Object-Oriented Technology. Journal of Systems and Software, 48 (1). pp. 13-26. ISSN 0164-1212