Centre for Software Engineering
The Centre for Software Engineering is a new research centre formed in 2013 working in the area of both empirical and formal software engineering, and the combination of the two. Interdisciplinarity is encouraged.
The Centre undertakes research to make strong connections between theories of software and engineering practice. It conducts teaching and knowledge transfer activities to generate impacts of its research findings. The general theme of research at the Centre covers:
- Theories, techniques and tools of software requirements, specification, modelling, analysis, design, testing, and verification
- Their applications to real world problems in trustworthy computing system development.
Topics of foundational research include:
- Unifying theories and semantics of programming (UTP)
- Integrating techniques and tools: model-driven analysis, verification, simulation, testing, and model refinement/transformations for correct by design
- Logics and modelling languages for integrated applications in system development life-cycles
- New programming paradigms and languages, including object-oriented component-based, and service-based programming
- Knowledge based engineering and its applications to design automation.
System-wide, the Centre is interested in distributed and concurrent systems, embedded systems, cyber-physical systems, and cloud computing, and their applications in solving pressing problems in the areas like healthcare, environment health, disaster management, transport and industry automation.
These applications share common component-based architectures with cyber-components managing big data, transmitting information, and controlling and coordinating physical components. They all have requirements of safety, security, real-time and fault-tolerance. Their research is thus multidisciplinary, needing collaboration with experts in database system and big data, communication and networks, entropic engineering, and domain experts.
The Centre plays an important role to consolidate and collaborate with other groups and centres at Birmingham City University, as well as with research centres and companies elsewhere.