From Featured Transition Systems to Modal Transition Systems with Variability Constraints-Reference-Cited by-同舟云学术

From Featured Transition Systems to Modal Transition Systems with Variability Constraints

Published:2015 Issue: Volume: Page:344-359
ISSN:0302-9743
Container-title:Software Engineering and Formal Methods
language:
Short-container-title:

Author:

ter Beek Maurice H.,Damiani Ferruccio,Gnesi Stefania,Mazzanti Franco,Paolini Luca

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-22969-0_24

Reference26 articles.

1. Apel, S., Batory, D.S., Kästner, C., Saake, G.: Feature-Oriented Software Product Lines: Concepts and Implementation. Springer, Heidelberg (2013)

2. Lecture Notes in Computer Science;P Asirelli,2010

3. Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: Formal description of variability in product families. In: SPLC, pp. 130–139. IEEE (2011)

4. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)

5. ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: Modelling and Analysing the Variability in Product Families: Model Checking of Modal Transition Systems

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC;Science of Computer Programming;2022-12

2. Embeddings Between State and Action Based Probabilistic Logics;Formal Aspects of Component Software;2022

3. Efficient static analysis and verification of featured transition systems;Empirical Software Engineering;2021-10-23

4. Static analysis and family-based model checking of featured transition systems with VMC;Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B;2021-09-06

5. A Formal Framework of Software Product Line Analyses;ACM Transactions on Software Engineering and Methodology;2021-07-31