Items where Subject is "Q Science > QA Mathematics > QA75 Electronic computers. Computer science > QA76.75 Computer software"

2017

• Olajubu, O., Ajit, S. and Turner, S. J. (2017) Automated test case generation from high-level logic requirements using model transformation techniques. In: Proceedings of 9th Computer Science and Electronic Engineering (CEEC'17). IEEE. (Accepted)

2016

• Olajubu, O., Ajit, S., Johnson, M., Turner, S. J., Thomson, S. and Edwards, M. (2016) A textual language for requirement modelling. Workshop presented to: School of Science and Technology Annual Research Conference, Newton Building, The University of Northampton, 02 March 2016.

2015

• Al-Sadi, A., Al-Sherbaz, A., Xue, J. and Turner, S. J. (2015) The management of the future internet. Workshop presented to: 8th Manchester Metropolitan University (MMU) Postgraduate Research Conference 2015: Innovation, Manchester Metropolitan University, 05 November 2015. (Unpublished)
• Olajubu, O., Ajit, S., Johnson, M., Turner, S. J., Thomson, S. and Edwards, M. (2015) Automated test case generation from domain specific models of high-level requirements. In: Proceedings of the 2015 Conference on Research in Adaptive and Convergent Systems. New York, NY, USA: ACM. 9781450337380. pp. 505-508.

2014

• Hill, G. and Turner, S. J. (2014) Electronic online marking of software asssignments. In: Motta, G. and Wu, B. (eds.) Software Engineering Education for a Global E-Service Economy. Berlin: Springer. pp. 41-48.

2013

• Hill, G. and Turner, S. J. (2013) Electronic Online Marking Of Software Assignments (EOMOSA). Paper presented to: 9th China-Europe International Symposium on Software Engineering Education, Milan, 13-14 May 2013. (Unpublished)

2012

• Hill, G. and Turner, S. J. (2012) Referencing within code in software engineering education! Computer Education. 10(166), pp. 5-8. 1672-5913.

2011

• Picton, P. and Kaczmarczyk, S. (2011) A software tool for calculating the relative amplitude of ultrasonic waves at boundaries. In: Crocker, M. J., Pawelczyk, M. and Ivanov, N. (eds.) Proceedings of the 18th International Congress on Sound and Vibration. Rio de Janeiro, Brazil: Curran Associates Inc. 9781618392596. pp. 2263-2270.
• Wu, B., Bechkoum, K., Lawless, D. and Xu, X. (2011) EMERSION: Education to meet the requirements of software industry and beyond - establishing, implementing and evaluating an industry-oriented education model in China. In: Hussey, M., Xu, X. and Wu, B. (eds.) Software Industry-Oriented Education Practices and Curriculum Development: Experiences and Lessons. Pennsylvania, USA: IGI Global Publications. pp. 26-38.

2010

• Talbot, C., Kay, A. D. and Price, M. (2010) A comparison of two Wingate anaerobic test software packages. Poster presented to: British Association of Sport and Exercise Sciences (BASES) Annual Conference: Challenging the Dogma, University of Glasgow, Scotland, 6-8 September 2010. (Unpublished)
• Turner, S. J. and Hill, G. (2010) Innovative use of robots and graphical programming in software education. Paper presented to: 6th China-Europe International Symposium on Software Industry Oriented Education (CEISIE2010), Xi'an, China, 24-25 May 2010. (Unpublished)
• Turner, S. J. and Hill, G. (2010) Innovative use of robots and graphical programming in software education. Computer Education. 9, pp. 54-56. 1672-5913.

2008

• Fathulla, K. (2008) Making sense of the semantic richness of maps: the case of Ordnance Survey maps. Seminar Presentation presented to: 2nd International Conference on Cartography and GIS, Borovets, Bulgaria, 21-24 January 2008. (Unpublished)
• Fathulla, K. (2008) Understanding diagrams: a pointer to the development of diagramming software. Visible Language. 0022-2224.
• Fathulla, K. (2008) Symboli, spatial, mapping (SySpM): a framework for interpreting maps. Cartographic Journal. 45(4), p. 304. 0008-7041 (Print) 1743-2774 (Online).
• Fathulla, K., Morrell, M. and Morrell, C. (2008) Software assisted assessment of student generated diagrams. Seminar Presentation presented to: Learning and Teaching Conference 2008, University of Northampton, 14 May 2008. (Unpublished)
• Van Bellen, M. and Fathulla, K. (2008) Towards a richer semantically oriented electronic assessment tool. Paper presented to: International Technology, Education and Development Conference (INTED 2008), Valencia, Spain, 3-5 March 2008. (Unpublished)

2007

• Craig, I. D. (2007) Object-oriented Programming Languages: Interpretation. London: Springer-Verlag. 9781846287732.
• Craig, I. D. (2007) Formal Refinement for Operating System Kernels. London: Springer-Verlag. 9781846289668.