TIC195
Software process improvement and formal methods
Leader: MERCEDES RUIZ CARREIRA
Department: Ingeniería Informática
Researchers
MERCEDES
RUIZ CARREIRA
Leader
Classifications
- Áreas PAIDI: Information and Communication Technologies
beta
Prevailing specialties (top 10)
Obtained from publications help
Obtained from publications
The displayed thematic specialties have been obtained through the application of artificial intelligence models, derived as a result of the Hercules Project from those publications with an abstract, provided that the record does not come from commercial databases, which impose restrictions on data usage.
The displayed thematic specialties have been obtained through the application of artificial intelligence models, derived as a result of the Hercules Project from those publications with an abstract, provided that the record does not come from commercial databases, which impose restrictions on data usage.
- Education (Social Sciences) Filter
- Software Engineering (Computer Science) Filter
- Human-Computer Interaction (Computer Science) Filter
- Computers and Society (Computer Science) Filter
- Communication (Social Sciences) Filter
- General Computer Science (Computer Science) Filter
- Linguistics and Language (Social Sciences) Filter
- Artificial Intelligence (Computer Science) Filter
- Language and Linguistics (Arts and Humanities) Filter
- Literature and Literary Theory (Arts and Humanities) Filter