TY  - THES
AU  - Camacho González, Carlos
A3  - Llana Díaz, Luis Fernando
A3  - Andrés Sánchez, César
PY  - 2012
UR  - https://hdl.handle.net/20.500.14352/46484
AB  - El término línea de producción en inglés product line evoca a menudo la imagen de una fábrica de coches con un conjunto de brazos mecánicos especializados en colocar piezas, otareas específicas como atornillar, soldar o ensamblar para conseguir, como...
LA  - eng
KW  - Métodos Formales
KW  - FODA
KW  - PLUSS
KW  - RSEB
KW  - Líneas de Producción de Software
KW  - Álgebra de Procesos
KW  - Semántica operacional
KW  - Semántica denotacional
KW  - Semántica axiomática.Formal methods
KW  - Software Product Lines
KW  - Process Algebras
KW  - Operational Semantics
KW  - Denotational semantics
KW  - Axiomatic Semantics.
TI  - Software product lines using FODA: a formal approach
M3  - master thesis
ER  -