Items where authors include "Thomson, C."

Article

Nitta, T. orcid.org/0000-0002-9234-4833, Braine, T., Du, N. et al. (44 more authors) (2023) Search for a dark-matter-induced cosmic axion background with ADMX. Physical Review Letters, 131. 101002. ISSN 0031-9007

Su, D. orcid.org/0000-0002-0485-9627, Herraiz, L., Lucquiaud, M. orcid.org/0000-0003-2211-7157 et al. (2 more authors) (2023) Thermal integration of waste to energy plants with post-combustion CO2 capture. Fuel, 332 (1). 126004. ISSN 0016-2361

Thomson, C. and Holcombe, M. (2005) Using a formal method to model software design in XP projects. Annals of Mathematics, Computing and Teleinformatics, 1 (3). pp. 44-53. ISSN 1109-9305

Monograph

Thomson, C. (2005) Professionalism In The First Year Of A Software Engineering Curriculum. Technical Report. University of Sheffield: SOLAR

Thomson, C. (2004) The Sourcerer's Apprentice. Technical Report. University of Sheffield , SOLAR.

Conference or Workshop Item

Thomson, C. and Holcombe, W. (2003) Applying XP Ideas Formally: The Story Card and Extreme X-Machines. In: 1st South-East European Workshop on Formal Methods. Agile Formal Methods: Practical, Rigorous Methods for a changing world, 21-23 Nov 2003, Thessaloniki, Greece.

Proceedings Paper

Simons, A.J.H., Griffths, N. and Thomson, C. (2008) Feedback-Based Specification, Coding and Testing with JWalk. In: Practice and Research Techniques, 2008. TAIC PART '08. Testing: Academic & Industrial Conference. TAIC PART '08, 29-31 Aug 2008, Windsor, UK. IEEE , pp. 69-73. ISBN 978-0-7695-3383-4

Thomson, C., Holcombe, M., Cowling, T. et al. (2 more authors) (2008) A Pilot Study of Comparative Customer Comprehension between Extreme X-Machine and UML Models. In: ESEM '08 Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement. ESEM 08, October 9th - 10th, 2008, Kaiserslautern, Germany. ACM , pp. 270-272. ISBN 978-1-59593-971-5