levilucio

Pinned Repositories

cert_mbeddr
Language:TeX00
CoolingControllerReqsDash
Language:Java0 2 00
DSLTrans-verif-theory
paper on the theory behind the verification technique for DSLTrans
Language:TeX00
DSLTransLifting
Language:Java1 4 00
EARS-CTRL
expressing and analysing controllers as EARS requirements
Language:Java41
EARS-CTRL-light
Expressing requirements for software controllers in the EARS language
Language:Java1 2 00
EARS-CTRLDash
An implementation of a process for assisting the user when writing requirements in EARS-CTRL
Language:Java0 2 00
EARS-RE
Language:TeX00
framework-soa
00
SyVOLT
Language:Python31

levilucio's Repositories

levilucio/EARS-CTRL
expressing and analysing controllers as EARS requirements
Language:Java41
levilucio/SyVOLT
Language:Python31
levilucio/DSLTransLifting
Language:Java1 4 00
levilucio/EARS-CTRL-light
Expressing requirements for software controllers in the EARS language
Language:Java1 2 00
levilucio/cert_mbeddr
Language:TeX00
levilucio/CoolingControllerReqsDash
Language:Java0 2 00
levilucio/DSLTrans-verif-theory
paper on the theory behind the verification technique for DSLTrans
Language:TeX00
levilucio/EARS-CTRLDash
An implementation of a process for assisting the user when writing requirements in EARS-CTRL
Language:Java0 2 00
levilucio/EARS-RE
Language:TeX00
levilucio/framework-soa
00
levilucio/habilitation-proposal
Language:TeX
levilucio/MDETools
Language:TeX
levilucio/ML_Requirements
Language:TeX1
levilucio/MoDELS2017_toolpaper
Language:TeX
levilucio/MODELSDemoPaper
Language:TeX
levilucio/process_journal
Language:TeX
levilucio/SFIT_deployment
levilucio/SyVOLT_tutorial_models
Language:TeX
levilucio/SyVOLTDocuments
Language:TeX
levilucio/SyVOLTToolPaper
Language:TeX