Items where department is "Computer Science"

2021

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

2007

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

2004

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.

2003

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

2002

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

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

2001

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.

2000

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.

1999

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

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

1998

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

1997

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.

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

1996

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

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

1995

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.

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

1994

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.