Product-line specification and verification with feature-oriented contracts
| Cobertura |
004 000 |
|---|---|
| Data(s) |
2015
|
| Resumo |
Magdeburg, Univ., Fak. für Informatik, Diss., 2015 Thomas Thüm |
| Formato |
Online Ressource (PDF-Datei: XVIII, 163 S.) |
| Identificador |
urn:nbn:de:gbv:ma9:1-5915 http://nbn-resolving.de/urn:nbn:de:gbv:ma9:1-5915 system:82110439X |
| Idioma(s) |
eng |
| Publicador |
Universitätsbibl. |
| Palavras-Chave | #Software Engineering #Produktlinie #Hochschulschrift #Online-Publikation |
| Tipo |
text thesis |
