Model-Driven Software Engineering (MDSE) represents a paradigm shift in software development whereby models serve as the principal artefacts throughout the lifecycle of an application.

Benchmarks drive many areas of research forward, and this is indeed the case for two areas of research that I engage with: ...

This project is developing a verification technology that can describe and enforce assumptions of 75% more analyses and validate the conformance of 70% more assumptions in a system implementation than ...

The next event will take place in the John Molson (MB) Building’s ninth floor conference centre on February 16. “Autonomous systems: How to address the dilemma between autonomy and safety“ will be ...

Software engineers apply engineering principles and practices to design, test, operate and maintain computer software. The MASc program should appeal to students with an undergraduate degree in ...

In Model-Based Systems Engineering (MBSE), formalised data models are used instead of documents to describe requirements, structure and behaviour. This often allows facts to be visualised better and ...

Windsurf's new SWE-1 AI models tackle the complete software engineering workflow, potentially reducing development cycles and technical debt. Skip to main content Events Video Special Issues Jobs ...

Unlike OpenAI’s previous Codex code completion AI model, the new version is a full cloud-based AI software engineering (SWE) agent built atop a fine-tuned version of OpenAI’s o3 reasoning ...

Windsurf, the company transforming how software is built, today announced the launch of SWE-1, its first family of proprietary AI models designed to accelerate the entire software engineering ...