Information Technology Reference
In-Depth Information
In our future work, we plan to examine the extension of further verification
techniques (e.g. symbolic model checking) for the verification of domain artifacts
in product line engineering. We further plan to include our verification approach
in a modeling environment and to perform detailed case studies showing the
applicability of our approach.
Acknowledgments This work has been partially funded by the DFG under grant PO 607/2-1 IST-
SPL. We would like to thank Ernst Sikora and Nelufar Ulfat-Bunyadi for fruitful discussions on
earlier drafts of this chapter.
References
1. Atlee J, Gannon J (1993) State-based model checking of event-driven system requirements.
IEEE Trans Softw Eng 19(1):24-40
2. Clarke E, Emerson A, Sistla P (1986) Automatic verification of finite-state concurrent systems
using temporal logic specifications. ACM TOPLAS 8(2):244-263
3. Clarke E, Grumberg O, Peled D (1999) Model checking. MIT, Cambridge
4. Deelstra S, Sinnema M, Bosch J (2005) Product derivation in software product families: a
case study. J Systems Softw 74(2):173-194
5. Emerson E, Kahlon V (2004) Parameterized model checking of ring-based message passing
systems. In: Computer science logic. LNCS, vol 3210. Springer, pp 325-339
6. Grumberg O, Veith H (2008) 25 years of model checking. LNCS, vol 5000, Springer
7. Larsen K, Nyman U, W asowski A (2007) Modal I/O automata for interface and product line
theories. In: Proceedings of 16th European symposium on programming. LNCS, vol 4421.
Springer, pp 64-79
8. Lauenroth K (2009) Konsistenzprüfung von Domänenanforderungsspezifikationen. Phd
Thesis (in German). Logos, Berlin
9. Lauenroth K, Pohl K (2008) Dynamic consistency checking of domain requirements in
product line engineering. In: Proceedings of IEEE international requirements engineering
conference, IEEE, Los Alamitos, pp 193-202
10. Lauenroth K, Pohl K (2009) Model checking of domain artifacts in product line engi-
neering. In: Proceedings of the ACM/IEEE international conference on automated software
engineering, Los Alamitos, pp 269-280
11. Lauenroth K, Pohl K (2007) Towards automated consistency checks of product line
requirements specifications. In: Proceedings of the ACM/IEEE international conference on
automated software engineering, Atlanta, pp 373-376
12. Liu J, Dehlinger R, Lutz R (2007) Safety analysis of software product lines using state-based
modelling. J Systems Softw 80:1879-1892
13. Lynch M, Tuttle M (1989) An introduction to input/output automata. CWI Quater 2(3):
219-246
14. Maccari A, Heie A (2005) Managing infinite variability in mobile terminal software. Softw
Pract Exper 35(6):513-537
15. Metzger A (2007) Quality issues in software product lines: feature interactions and beyond
(invited talk). In: 9th international conference on feature interactions in software and
communication systems (ICFI 2007), Grenoble, pp 3-15
16. Metzger A, Bühne S, Lauenroth K, Pohl K (2005) Considering feature interactions in product
lines: towards the automatic derivation of dependencies between product variants. In: Feature
interactions in telecommunications and software systems VIII. Proceedings ICFI, pp 198-216
17. Metzger A, Heymans P, Pohl K, Schobbens P-Y, Saval G (2007) Disambiguating the docu-
mentation of variability in software product lines. In: Proceedings of RE'07, Los Alamitos,
pp 243-253
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Search WWH ::




Custom Search