Advanced search
Publication Cover
International Journal of General Systems Volume 43, 2014 - Issue 7: Unconventional Computing
Submit an article Journal homepage
78
Views
1
CrossRef citations to date
0
Altmetric
Articles

Specification, testing and verification of unconventional computations using generalized X-machines

Mike StannettVerification and Testing Research Group, Department of Computer Science, University of Sheffield, Sheffield, UK.Correspondence[email protected]
Pages 713-721 | Received 14 Jul 2013, Accepted 21 Aug 2013, Published online: 10 Jun 2014

References

  • Adamatzky, A. 2010. Physarum Machines: Computers from Slime Mould. Singapore: World Scientific.
  • Ash, C. J., and J. F. Knight. 2000. Computable Structures and the Hyperarithmetical Hierarchy. Amsterdam: Elsevier.
  • Bell, A., and M. Holcombe. 1996. “Computational Models of Cellular Processing.” In Computation in Cellular and Molecular Biological Systems, edited by M. Holcombe, R. Paton, and R. Cuthbertson. Singapore: World Scientific Press.
  • Calude, C., and G. Pǎun. 2004. “Bio-steps Beyond Turing.” BioSystems 77: 175–194.
  • Chow, T. 1978. “Testing Software Design Modelled by Finite State Machines.” IEEE Transactions on Software Engineering 4 (3): 178–187.
  • Eilenberg, S. 1974. Automata, Languages and Machines. Vol. A. London: Academic Press.
  • Etesi, G., and I. Németi. 2002. “Non-Turing Computations via Malament-Hogarth space-times.” International Journal of Theoretical Physics 41: 341–70.
  • Gheorghe, M., and M. Stannett. 2012. “Membrane System Models for Super-Turing Paradigms.” Natural Computing 11: 253–259.
  • Hinchey, M. G., C. A. Rouff, J. L. Rash, and W. F. Truszkowski. 2005. “Requirements of an Integrated Formal Method for Intelligent Swarms.” In Proceedings of FMICS’05, September 5–6, 2005, 125–133. Lisbon, Portugal: Association for Computing Machinery.
  • Ipate, F., and W. Holcombe. 1997. “An Integration Testing Method that is Proved to Find All Faults.” International Journal of Computer Mathematics 63: 159–178.
  • Laycock, G. 1993. “The Theory and Practice of Specification Based Software Testing.” PhD thesis, Department of Computer Science, University of Sheffield, UK.
  • Ma, C., J. Wu, T. Zhang, and F. Hu. 2010. “Web Services Testing Based on Stream X-machine.” In QSIC, edited by J. Wang, W. K. Chan, and F. C. Kuo, 232–239. Los Alamitos, CA: IEEE Computer Society.
  • Stannett, M. 2001. Computation Over Arbitrary Models of Time (Tech. Rep. No. CS-01-08). Sheffield: Department of Computer Science, University of Sheffield.
  • Stannett, M. 2006. The Theory of X-Machines – Part 1 (Tech. Rep. No. CS-05-09). Sheffield: Department of Computer Science, University of Sheffield.
  • Stannett, M. 2013a. “Computation and Spacetime Structure.” International Journal of Unconventional Computing 9 (1–2): 173–184.
  • Stannett, M. 2013b. “Membrane Systems and Hypercomputation.” In Membrane Computing. Vol. 7762, Lecture Notes in Computer Science, edited by E. Csuhaj-Varjú,M. Gheorghe, G. Rozenberg,A. Salomaa and G. Vaszil, 78–87. Berlin Heidelberg: Springer.
  • Stannett, M., and I. Németi. 2014. “Using Isabelle/HOL to Verify First-order Relativity Theory.” Journal of Automated Reasoning 52 (4): 361–378.

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Order Reprints Request Corporate Permissions

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

Request Academic Permissions

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.

Related research

People also read lists articles that other readers of this article have read.

Recommended articles lists articles that we recommend and is powered by our AI driven recommendation engine.

Cited by lists all citing articles based on Crossref citations.
Articles with the Crossref icon will open in a new tab.