The Software Systems Engineering Research Group investigates programming principles, modelling methods, architectures, infrastructures and tools for design and development of modern, medium to large scale, software systems. Providing services related to real-world solutions, the group aims at precise specifications of system structure and behaviour, and their consistent implementation. This behaviour often includes intelligence and autonomy.
- Bolotov, A and Shangin, V. Natural Deduction System in Paraconsistent Setting: Proof Search for PCont. Journal of Intelligent Systems, Volume 21, Issue 1, Pages 1–24, ISSN (Online) 2191-026X, ISSN (Print), 0334-1860,DOI: 10.1515/jisys-2011-0021, February 2012.
- Bolotov, A and Shangin, V. Natural Deduction in Paracomplete Setting. Logical Investigations, Vol. 20, 2014, pp 224-247, Moscow – St Petersburg, ISBN 978-5-98712- 197-3.
- Bolotov, A. and Shangin, V. Tackling Incomplete System S ecifications Using Natural Deduction in the Paracomplete Setting. COMPSAC 2014: 91-96, Vasteras, Sweden, July 2014.
Find out more about our academic staff and details of our research outputs.
Software Systems Engineering Research Group, 115 New Cavendish Street, London W1W 6UW