Bachelor and Master Theses
| Title: | Using ChatGPT to Generate Rebeca codes from UML State Diagrams |
| Subject: | Computer science, Software engineering |
| Level: | Basic |
| Description: |
In this project we use ChatGPT to generate Rebeca models from UML state diagrams. The students will need to collect initial data set, set up the workflow to check the output of ChatGPT and do the analysis on the correctness of the output.
You can read about Rebeca and find some examples on the Rebeca Homepage: https://rebeca-lang.org/
Here are two Master Theses related to the subject: MAPPING UML DIAGRAMS TO THE REACTIVE OBJECT LANGUAGE (REBECA) (Vladimir Djukanovic) https://www.diva-portal.org/smash/get/diva2:1325761/FULLTEXT01.pdf
USING SAFETY ANALYSIS TECHNIQUES TO DERIVE SAFETY PROPERTIES FOR FORMAL VERIFICATION OF SAFETY-CRITICAL SYSTEMS (Ermia Hassanpour) https://mdh.diva-portal.org/smash/get/diva2:1704627/FULLTEXT01.pdf |
| Start date: | 2024-03-07 |
| End date: | |
| Prerequisites: | |
| IDT supervisors: | Marjan Sirjani |
| Examiner: | Marjan Sirjani |
| Comments: |
Supervisor is Zahra Moezkarimi <zahra.moezkarimi@mdu.se> contact her for more information |
| Company contact: |