Mike Holcombe, (W.M.L. Holcombe)
Professor of Computer Science, University of Sheffield.
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.
Keeping our Clients Happy: Myths and Management Issues in "Client-led"
Student Software projects.(with Helen Parker). Computer Science Education, 9 (3),
Communicating Stream X-machines Systems are no more than X-machines. (with
A. J. Cowling, H. Gheorgescu, M. Gheorghe, C. Vertan), Journal of Universal
Volume 5, no. 9, 494-507, 1999.
A Framework for Measurement in Software Testing, (with Stuart Reid, Mark
Hierons, Bryan Jones, Marc Roper, Martin Woodward.), 7th European International
Software Testing Analysis & Review (EuroSTAR'99).
Princesa Sophia Intercontinental Hotel, BARCELONA, Spain 8-12 Nov, 1999. To
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
Studies of Software Maintenance (WESS'99),
Friday 3 - Saturday 4, September 1999 Keble College, Oxford, UK.
A visual representation of mathematical expressions. (with C. Yap), in
representations and interpretations, R.Paton, I Neilson (eds.) Springer, 1999,
with F. Ipate, "A
refining and testing generalised machine specifications." Int. Jour. Comp.
Math. 68, 197-219,
F. Ipate & M. Holcombe. "Specification and testing using generalised
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
FM-Trends 98 (Boppard, Germany), Springer LNCS Series.
with A. Bell,
of immunological systems." In "Information Processing in Cells and Tissues",
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
through university based industrial projects."
To appear in "Projects in the Computing Curriculum", (eds.) M. Holcombe, A.
Stratton, S. Fincher,
G. Griffiths, Springer, (1998).
learning: can it meet
the quality challenge?"
Proceedings of the 1998 International Conference "Networked Lifelong
"Correct systems - building a business process solution". with F. Ipate,
"Projects in the Computing Curriculum", (eds.) M. Holcombe, A. Stratton, S.
Griffiths, Springer, 1998.
"Information Processing in Cells and Tissues", (with R. Paton, Eds.) Plenum
exercises - a new
type of examination question." Int. Jour. Eng. Education, 13 (2), 90-97,
attempts to provide a more "academic" approach to Software Engineering." Internal report.
with C. Yap. "Using Graphical Icons to Build Z Specifications." Northern
Workshop, Ilkley, Yorks., July, 1997
In Springer, eWics (electronic Workshops in computing) Series.
with K. Bogdanov, M.
Ipate, C. Jordan "X-machine Specification and Refinement of Digital Devices."
with Z. Duan, "A
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
" When testing is done." Proc. EuroSTAR97, Edinburgh. 1997.
with C.Yap, " A visual Z
Proceedings PPIG-9 ISBN.0-863-396-801, 31-42., 1997.
"Almost all software
futile." Departmental Report.
with Z.H. Duan, "From
Specifications for Hybrid
Systems", Proceedings of the International Symposium on Future Software
Xian, China, Oct 9-11, 1996.
with F.Ipate. "Another
computability." Informatica, 20, 359-372, 1996.
Draft version of the
with R. Paton and R.
Computation in Cellular and Molecular Biological Systems , World Scientific
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.
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.
"Modelling of a soaking Pit Furnace in Hybrid Machines" Systems Analysis,
Simulation. 18, 153-157, 1995.
with Z.H Duan and D.A.
`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.
functional testing of safety critical systems. Proc. IFAC Workshop on Emerging
Technologies. Florida, 1995. Pp. 343-358.
with A. Bell.
"Computational models of
cellular processing." Proc. Conf. on Information Processing in Cells and Tissues
pp. 171-184. 1995.
"From VLSI through
machine models to
cellular metabolism." in R.Paton, "Computing with biological metaphors" Chapman &
models of cellular information systems". IEE Coll. Molecular Bioinformatics,
London, 3/1 - 3/5,
with R.Paton (Liverpool)
models of cellular information systems" in "Advances in Molecular
Bioinformatics", ed. S.
Schulze-Kremer, IOS Press, 1994.
engineering project." EPC Newsletter, September, 1994, 3-5.
strategies for software requirements and design." Proc. Eurostar94,
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).
methodology for the
formal specification, verification and testing of systems" Proc. Eurostar
Some essays on software engineering.
When testing is
Formal Methods as
The Biology of