TY  - GEN
AU  - Cuesta Rubio, María
AU  - García Martín, Laura
AU  - Pérez Jiménez, Estefanía
A4  - Núñez García, Manuel
PY  - 2006
UR  - https://hdl.handle.net/20.500.14352/54326
AB  - El proyecto aquí presentado ha consistido en la extensión de una herramienta para el testeo de sistemas de aspectos cualitativos.Esta herramienta permite tanto el testeo de especificaciones de propiedades funcionales, como especificaciones de...
LA  - spa
KW  - Especificación
KW  - Implementación
KW  - Derivación
KW  - Test
KW  - Conforme
KW  - Input
KW  - Output
TI  - Extensión de una herramienta para testear propiedades temporales y probabilísticas
TY  - coursework
ER  -