Recent Publications


Mike Holcombe, (W.M.L. Holcombe)
Professor of Computer Science, University of Sheffield.

2000.

  • X-machines in Computing, Biology and Art. Proceedings, Grammar Systems 2000, ed. R. Freund & A. Kelemenova, Silesian University at Opava, Czech republic, ISBN 80-7248-067-7, 343-346, 2000.

  • A subclass of stream X-machines with underlying distributed grammars, (with T. Balanescu, M. Gheorghe), Proceedings, Grammar Systems 2000, ed. R. Freund & A. Kelemenova, Silesian University at Opava, Czech republic, ISBN 80-7248-067-7, 93-112, 2000.

  • Introduction to IPCAT'99, guest editorial, (with R. Paton), Biosystems, 55, 1-3, 2000

  • A logic for biological systems, (with Z. Duan, A. Bell), Biosystems, 55, 93-105, 2000

  • Deterministic stream X-machines based on grammar systems, (with T. Balanescu, M. Gheorghe), in Words, sequences, grammars, languages: where biology, computer science, linguistics and mathematics meet, Volume I, Ed. C. Martin-Vide & V. Mitrana, Kluwer, 2000.

  • Testing non-deterministic X-machines, (with F. Ipate), in Words, sequences, grammars, languages: where biology, computer science, linguistics and mathematics meet, Volume II, Ed. C. Martin-Vide & V. Mitrana, Kluwer, 2000.

    1999.

  • Keeping our Clients Happy: Myths and Management Issues in "Client-led" Student Software projects.(with Helen Parker). Computer Science Education, 9 (3), 230-241, 1999.

  • Communicating Stream X-machines Systems are no more than X-machines. (with T. Balaneascu, A. J. Cowling, H. Gheorgescu, M. Gheorghe, C. Vertan), Journal of Universal Computer Science, Volume 5, no. 9, 494-507, 1999.

  • A Framework for Measurement in Software Testing, (with Stuart Reid, Mark Harman, Rob Hierons, Bryan Jones, Marc Roper, Martin Woodward.), 7th European International Conference Software Testing Analysis & Review (EuroSTAR'99). Princesa Sophia Intercontinental Hotel, BARCELONA, Spain 8-12 Nov, 1999. To appear.

  • Towards a Maturity Model for Empirical Studies of Software Testing, (with Mark Harman, Rob Hierons, Bryan Jones, Stuart Reid, Marc Roper, Martin Woodward.) Fifth Workshop on Empirical Studies of Software Maintenance (WESS'99), Friday 3 - Saturday 4, September 1999 Keble College, Oxford, UK.

    1998.

  • A visual representation of mathematical expressions. (with C. Yap), in Visual representations and interpretations, R.Paton, I Neilson (eds.) Springer, 1999, 357-366. 1998.

  • with F. Ipate, "A method for refining and testing generalised machine specifications." Int. Jour. Comp. Math. 68, 197-219, 1998.

  • F. Ipate & M. Holcombe. "Specification and testing using generalised machines: a presentation and a case study." Software testing, Verification and Reliability, 8, 61-81, 1998.

  • Automated Test Set Generation for Statecharts, (with K. Bogdanov), to appear in Proc. FM-Trends 98 (Boppard, Germany), Springer LNCS Series.

  • with A. Bell, "Computational models of immunological systems." In "Information Processing in Cells and Tissues", (eds.) M. Holcombe & R. Paton, 213-226. Plenum Press, 1998.

  • (with A. Stratton). "VICI: experiences and proposals for student run software companies." To appear in "Projects in the Computing Curriculum", (eds.) M. Holcombe, A. Stratton, S. Fincher, G. Griffiths, Springer, 1998.

  • (with A.Stratton and P. Croll) "Improving the quality of software engineering courses through university based industrial projects." To appear in "Projects in the Computing Curriculum", (eds.) M. Holcombe, A. Stratton, S. Fincher, G. Griffiths, Springer, (1998).

  • "Network learning: can it meet the quality challenge?" Proceedings of the 1998 International Conference "Networked Lifelong Learning", University of Sheffield.

  • "Correct systems - building a business process solution". with F. Ipate, Springer, Applied Computing Series,1998.

  • "Projects in the Computing Curriculum", (eds.) M. Holcombe, A. Stratton, S. Fincher, G. Griffiths, Springer, 1998.

  • "Information Processing in Cells and Tissues", (with R. Paton, Eds.) Plenum Press, 1998.

  • "Comprehension exercises - a new type of examination question." Int. Jour. Eng. Education, 13 (2), 90-97,


    1997.

  • "A seminar-based course that attempts to provide a more "academic" approach to Software Engineering." Internal report.

  • with C. Yap. "Using Graphical Icons to Build Z Specifications." Northern Formal Methods Workshop, Ilkley, Yorks., July, 1997

    Abstract In Springer, eWics (electronic Workshops in computing) Series.

  • with K. Bogdanov, M. Fairtlough, F. Ipate, C. Jordan "X-machine Specification and Refinement of Digital Devices." Internal report.

  • Notes on Machine-based testing." Internal Report.

  • with Z. Duan, "A hybrid projection temporal logic for hybrid systems." Departmental report, 1997.

  • with F.Ipate, "Tests which are proved to find all faults." Int. Jour. Comp. Math. 63, 159-178, 1997.

    Draft version of the above paper.

  • " When testing is done." Proc. EuroSTAR97, Edinburgh. 1997.

  • with C.Yap, " A visual Z system." Proceedings PPIG-9 ISBN.0-863-396-801, 31-42., 1997.

  • "Almost all software testing is futile." Departmental Report.



    1996.


  • with Z.H. Duan, "From Requirements to Specifications for Hybrid Systems", Proceedings of the International Symposium on Future Software Technology, pp239--246, Xian, China, Oct 9-11, 1996.

  • with F.Ipate. "Another look at computability." Informatica, 20, 359-372, 1996. Draft version of the above paper.

  • with R. Paton and R. Cuthbertson (Eds.) Computation in Cellular and Molecular Biological Systems , World Scientific Press, Singapore, 1996.

  • with A. Bell. "Computational models of cellular processing." in Computation in Cellular and Molecular Biological Systems. M. Holcombe, R. Paton and R. Cuthbertson (Eds.) , World Scientific Press, Singapore, 1996.

    1995.


  • with M.Fairtlough, F.Ipate, C.Jordan, G.Laycock, Z.Duan. "Using an X-machine to model a video cassette recorder" Current issues in Electronic modelling. 3, 141-151, 1995.

  • with Z.Duan, and D.A. Linkens. "Modelling of a soaking Pit Furnace in Hybrid Machines" Systems Analysis, Modelling, and Simulation. 18, 153-157, 1995.

  • with Z.H Duan and D.A. Linkens, `Specification of a Soaking Pit System in Parallel Hybrid Machines', In Proceedings of the 21 Euromicro Conference, IEEE/CS, p241-247, Como, Italy, Semtember 4-7 , 1995.

  • with F.Ipate and A. Grondoudis, "Complete functional testing of safety critical systems. Proc. IFAC Workshop on Emerging Control Technologies. Florida, 1995. Pp. 343-358.

  • with A. Bell. "Computational models of cellular processing." Proc. Conf. on Information Processing in Cells and Tissues '95. Liverpool, pp. 171-184. 1995.

    1994.


  • "From VLSI through machine models to cellular metabolism." in R.Paton, "Computing with biological metaphors" Chapman & Hall, 1994.

  • with R.Paton (Liverpool) "Computational models of cellular information systems". IEE Coll. Molecular Bioinformatics, London, 3/1 - 3/5, 1994

  • with R.Paton (Liverpool) "Computational models of cellular information systems" in "Advances in Molecular Bioinformatics", ed. S. Schulze-Kremer, IOS Press, 1994.

  • "The Crossover software engineering project." EPC Newsletter, September, 1994, 3-5.

  • with W.Chantatub. "Software testing strategies for software requirements and design." Proc. Eurostar94, Brussels, 40/1-40/28. 1994.

  • with Z.Duan, D.Linkens, "Timed interval temporal logic and the modelling of hybrid systems." Pro. Eur. Simulation Multi-Conference, Barcelona, 1994. Pp. 534-541.

    1993 (a selection).


  • "An integrated methodology for the formal specification, verification and testing of systems" Proc. Eurostar 93, London.

    Inaugural lecture, 1988. Can we be saved from computers?


    Some essays on software engineering.


  • When testing is done.
  • Correct Systems.
  • Formal Methods as Designs.
  • The Biology of Network Computing.

    Updated: 9/7/98.