Strategies for product-line verification: case studies and experiments
Product-line technology is increasingly used in mission-critical and safety-critical applications. Hence, researchers are developing verification approaches that follow different strategies to cope with the specific properties of product lines. While the research community is discussing the mutual s...
Uložené v:
| Vydané v: | Proceedings of the 2013 International Conference on Software Engineering s. 482 - 491 |
|---|---|
| Hlavní autori: | , , , , |
| Médium: | Konferenčný príspevok.. |
| Jazyk: | English |
| Vydavateľské údaje: |
Piscataway, NJ, USA
IEEE Press
18.05.2013
|
| Edícia: | ACM Conferences |
| Predmet: |
Social and professional topics
> Professional topics
> Management of computing and information systems
> Software management
Software and its engineering
> Software creation and management
> Software development process management
Software and its engineering
> Software creation and management
> Software verification and validation
> Formal software verification
|
| ISBN: | 1467330760, 9781467330763 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
Buďte prvý, kto okomentuje tento záznam!