|
|
| Proposta de dissertação do MEI |
| Título: |
2018 - Data validation from the ground up (OutSystems) |
| Proponente(s): |
João Costa Seco
Hugo Lourenço (OutSystems) |
| Créditos: |
42 ECTS |
| Área científica: |
Software Construction and Analysis |
| Início preferencial: |
1º Semestre |
| URL: |
|
| Já estão em curso trabalhos preliminares executados pelo alunos: |
| Michael Silva |
| Breve descrição: |
Validation of user input is a key aspect of open systems on the Internet. The increasing use of distributed systems, with micro-service architectures demand that validations must be carefully crafted and placed in an application code, avoiding code repetitions, e.g. server and client code. This dissertation is promoted as part of the developments of the OutSystems Platform, by the company’s Research and Development team, in collaboration with the NOVA LINCS research team. The main challenge of this dissertation work is to extend the platform language with a DSL that helps specify invariant conditions on data, and ensures that invariants are enforced automatically on user input. This work will be highly beneficial on the robustness and quality of the software construction and maintenance process. This work uses techniques related to the specification of DSLs, and general programming language design and verification scenarios. |
| Observações: |
|
|
|