Browsing Waterloo Research by Subject "software engineering"
Now showing items 1-2 of 2
-
A Comparison of the Declarative Modelling Languages B, Dash, and TLA+
(IEEE, 2019-08)Declarative behavioural modelling is a powerful modelling paradigm that enables users to model system func- tionality abstractly and concisely. We compare two well-used formal declarative modelling languages, B and TLA+, ... -
Whodunit: Classifying Code as Human Authored or GPT-4 generated- A case study on CodeChef problems
(Mining Software Repositories, 2024-04-15)Artificial intelligence (AI) assistants such as GitHub Copilot and ChatGPT, built on large language models like GPT-4, are revolutionizing how programming tasks are performed, raising questions about whether code is authored ...