FADOSS
Diseño y análisis formal de sistemas de software
Date of inception 22 December 2004
Leaders: ADRIÁN RIESCO RODRÍGUEZISMAEL RODRÍGUEZ LAGUNA
Faculty: Informática
Department: Sistemas Informáticos y Computación
Centre/Institute: Instituto de Tecnología del Conocimiento (ITC)
Email: ariesco@ucm.es
Website: http://maude.ucm.es/fadoss/
Researchers
Classifications
- AEI Areas: Ciencias de la Computación y Tecnología Informática
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
- Programming Languages (Computer Science) Filter
- Computational Theory and Mathematics (Computer Science) Filter
- Databases (Computer Science) Filter
- Software Engineering (Computer Science) Filter
- Artificial Intelligence (Computer Science) Filter
- Language and Linguistics (Arts and Humanities) Filter
- Human-Computer Interaction (Computer Science) Filter
- Linguistics and Language (Social Sciences) Filter
- Communication (Social Sciences) Filter