Fingerprint Dive into the research topics where DI - Departamento de Informática is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Logic programming Engineering & Materials Science
Semantics Engineering & Materials Science
Software engineering Engineering & Materials Science
Spreadsheets Engineering & Materials Science
Ontology Engineering & Materials Science
Logic Programs Mathematics
Logic Programming Mathematics
Mobile devices Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1986 2019

An annotated repository for MATLAB code

Relvas, A., Marques, N. C., Monteiro, M. P. & Carneiro, G., 11 Jul 2019, Proceedings - SEKE 2019: 31st International Conference on Software Engineering and Knowledge Engineering. Knowledge Systems Institute Graduate School, p. 497-502 6 p. (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE; vol. 2019-July).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
Data mining

Dealing with Non-Functional Requirements in Model-Driven Development: A Survey

Ameller, D., Franch, X., Gómez, C., Martínez-Fernández, S., Araujo, J., Biffl, S., Cabot, J., Cortellessa, V., Fernández, D. M., Moreira, A., Muccini, H., Vallecillo, A., Wimmer, M., Amaral, V., Böhm, W., Brunelière, H., Burgueño, L., Goulão, M., Teufl, S. & Beradinelli, L., 24 Feb 2019, (Accepted/In press) In : IEEE Transactions on Software Engineering. 17 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)
Software architecture
Software engineering


Best Paper Award at CAISE 2014

Miguel Carlos Pacheco Afonso Goulão (Recipient), Jun 2014

Prize: Prize (including medals and awards)

Activities 1998 2018

Journal Of Logic And Computation (Journal)

João Alexandre Carvalho Pinheiro Leite (Editorial board member)
20 Apr 2018

Activity: Publication peer-review and editorial workEditorial activity

Third International Workshop on Human Factors in Modeling (HuFaMo’18)

Silvia Abrahão (Organiser), Miguel Carlos Pacheco Afonso Goulão (Organiser), Patrick Heymans (Organiser), Xavier Le Pallec (Organiser), Emmanuel Renaux (Organiser)
15 Oct 2018

Activity: Participating in or organising an eventParticipation in workshop, seminar, course

11th International Conference on the Quality of Information and Communications Technology (QUATIC 2018)

Antonia Bertolino (Chair), Vasco Amaral (Chair), Paulo Rupino da Cunha (Chair), Marco Vieira (Invited speaker)
4 Sep 20187 Sep 2018

Activity: Participating in or organising an eventParticipation in conference