About the centre
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.
Projects
Find out about the projects that the group has been involved in.
Publications
- 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 Specifications Using Natural Deduction in the Paracomplete Setting. COMPSAC 2014: 91-96, Vasteras, Sweden, July 2014
People
Find out more about our academic staff and details of our research outputs.
News
There is currently no news. Please check back at a later date or explore the main
Research News page.
Events
There are currently no events. Please check back at a later date or
See our past events.