MFDS

04-23-2021 Software Engineering, Formal Verification

Dafny programming language

Software Engineering Formal Verification

Julen Etxaniz

Estudiante de Doctorado en Análisis y Procesamiento del Lenguaje

Estudiante de Doctorado en Análisis y Procesamiento del Lenguaje en HiTZ Center IXA Group (UPV/EHU). Trabajando en mejorar los modelos de lenguaje para idiomas con pocos recursos. Graduado en Ingeniería Informática con especialidad en Ingeniería del Software. Máster en Análisis y Procesamiento del Lenguaje.

comments powered by Disqus

Relacionado

Julen Etxaniz

11-02-2023 ADDI Software Engineering, Web Development

ProMeta: softwarearen garapenerako prozesuen definizio eta ezarpenerako sistema metaereduetan oinarrituta

The objective of the project is to build a system for the definition and implementation of software development processes based on metamodels. In fact, there are several methodologies that are suitable for software development. It is important to define the information of these methodologies through models so that they can be managed flexibly in the future and improvements can be made. In addition, it is necessary to build a system that establishes a methodology using information from the model for use by development teams in projects. The OpenUP methodology was used for the development of the project and the CCII-N2016-02 standard for the drafting of the project documentation and memory.

PDF Citar Código fuente Proyecto Proyecto Proyecto Poster Diapositivas Vídeo URL

04-23-2021 Software Engineering, Software Product Lines