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 |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=58125729&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 58125729 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00189162 PUT jtl: Computer (00189162) issn: 00189162 maglogo: N pubinfo: dt: 02/01/2011 vid: 44 iid: 2 pid: 13605 pub: IEEE artinfo: ui: 58125729 10.1109/MC.2011.47 ppf: 82 ppct: 0 formats: tig: atl: Formal Methods in Software Product Line Engineering. aug: au: Schaefer, Ina Hähnle, Reiner affil: Braunschweig University of Technology Chalmers University of Technology su: Software product line engineering Computer engineering Software engineering Computer software development Product quality sug: subj: Software product line engineering Computer engineering Software engineering Computer software development Product quality keyword: Formal methods Product design Product development Quality assessment ab: Formal methods could overcome the limitations of current SPLE practice, ensuring high product quality while decreasing time to market. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2011 holdings: @attributes: islocal: N |
|---|