Pinned Repositories
GAMBAR-TCC
Hostel
Computer Science Final Paper about tests in a hostel reservation system app
marketsystem
method-BDD-STPA
A method based on Behavior Driven Development (BDD) and System-Theoretic Process Analysis (STPA) for verifying security requirements in critical software systems
MicroStamp
MicroStamp-Step1
webstamp-pipeline
rodrigo-pagliares's Repositories
rodrigo-pagliares/GAMBAR-TCC
rodrigo-pagliares/Hostel
Computer Science Final Paper about tests in a hostel reservation system app
rodrigo-pagliares/marketsystem
rodrigo-pagliares/method-BDD-STPA
A method based on Behavior Driven Development (BDD) and System-Theoretic Process Analysis (STPA) for verifying security requirements in critical software systems
rodrigo-pagliares/MicroStamp
rodrigo-pagliares/MicroStamp-Step1
rodrigo-pagliares/webstamp-pipeline