Formal Methods in Software Product Line Engineering.
Formal methods could overcome the limitations of current SPLE practice, ensuring high product quality while decreasing time to market.
| Publicado en: | Computer (00189162) Vol. 44; no. 2; p. 82 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
IEEE
02/01/2011
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |