Software Engineering
Software engineering is the application of scientific and engineering efforts in the development of software systems. Our research addresses every stage of the development process, from requirements analysis to the maintenance of existing implementations. Areas of particular interest include information modelling, requirements engineering, model-based development, research informatics, systems security, and sensor networks.
Faculty
Students
Professional Services
Staff
Past Members
Selected Publications
-
Machine Learning and Software Engineering in Health Informatics
David A. Clifton‚ Jeremy Gibbons‚ Jim Davies and Lionel Tarassenko
May, 2012.
Details about Machine Learning and Software Engineering in Health Informatics | BibTeX data for Machine Learning and Software Engineering in Health Informatics | DOI (10.1109/RAISE.2012.6227968) | Download (pdf) of Machine Learning and Software Engineering in Health Informatics
-
Engineering Agile Big−Data Systems
Kevin Feeney‚ Jim Davies‚ James Welch‚ Sebastian Hellmann‚ Christian Dirschl‚ Andreas Koller‚ Pieter Francois and Arkadiusz Marciniak
2018.
Details about Engineering Agile Big−Data Systems | BibTeX data for Engineering Agile Big−Data Systems | Link to Engineering Agile Big−Data Systems
-
Formal model−driven engineering of critical information systems
Jim Davies‚ David Milward‚ Chen−Wei Wang and James Welch
In Science of Computer Programming. Vol. 103. Pages 88 − 113. 2015.
Details about Formal model−driven engineering of critical information systems | BibTeX data for Formal model−driven engineering of critical information systems | DOI (10.1016/j.scico.2014.11.004)