Software Engineering Group
Software Engineering Group
Within the Laboratory for Foundations of Computer Science, our research interests span different areas of software engineering, including software design, model driven development, model transformations, software testing, verification and validation, quality metrics, software energy consumption, machine learning applied to software engineering and economic models of software development.
Academic staff
|
Software testing for Blockchain applications, GPU kernels, finite state machines, quality metrics for code, design and requirements, machine learning applied to software testing, software energy consumption.
|
|
|
Model-driven development from a mathematical perspective, especially issues arising from the use of multiple models by different stakeholders: bidirectional transformations and their languages and use, domain-specific modelling languages, megamodelling, security, traceability, explanation.
|