-
Updated
Aug 15, 2024 - Java
software-validation
Here are 6 public repositories matching this topic...
The Learn In Depth Embedded Diploma enhanced my expertise in C programming, Embedded C, microcontroller peripherals like GPIO, UART, SPI, I2C, TIMERS, and ADC. Additionally, I gained proficiency in automotive communication protocols such as CAN and Ethernet. Developed Linker scripts, Startup code, Makefiles, and RTOS custom scheduler from scratch.
-
Updated
Aug 29, 2024 - C
Investigates the reproducibility of METEOR scores in scientific papers. Includes a systematic literature review and validation of METEOR implementations.
-
Updated
May 17, 2024 - Jupyter Notebook
This repository contains an analysis of a Compound Unit student project. Analysis was done using tools for static and dynamic software verification. The repository is created for the purpose of Software Verification master's studies course at the Faculty of Mathematics.
-
Updated
Feb 14, 2024 - HTML
Projects and assignments done during Master's Degree course in Informatics Engineering, with specialisation in Software Engineering, at Faculty of Sciences of the University of Lisbon.
-
Updated
Jun 25, 2022 - Java
Kurs jedno semestralny wprowadzający do testowania i walidacji oprogramowania
-
Updated
Nov 12, 2022 - JavaScript
Improve this page
Add a description, image, and links to the software-validation topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the software-validation topic, visit your repo's landing page and select "manage topics."