Context
The safety rules of bridges, in terms of their
Project proposal
(Write here)
Implementation plan
- Extract specifications from norm descriptions
- Create a rule language to verify specifications
- Verify the extracted rules in the crate langauges to evaluate norm compliance
Background and Literature
(Write here)
Universidad de los Andes | Vigilada Mineducación
Reconocimiento como Universidad: Decreto 1297 del 30 de mayo de 1964.
Reconocimiento personería jurídica: Resolución 28 del 23 de febrero de 1949 Minjusticia
Edificio Mario Laserna Cra 1Este No 19A - 40 Bogotá (Colombia) | Tel: [571] 3394949 Ext: 2860, 2861, 2862 | Fax: [571] 3324325
© 2024 -
Departamento de Ingeniería de Sistemas y Computación