Funder
National Science Foundation
Fundação para a Ciência e a Tecnologia
Publisher
Springer Science and Business Media LLC
Subject
Modeling and Simulation,Software
Reference60 articles.
1. Abrial, J.-R.: Modeling in Event-B: System and Software Engineering, 1st edn. Cambridge University Press, Cambridge (2010)
2. Apel, S., Batory, D., Kästner, C., Saake, G.: Feature-Oriented Software Product Lines. Springer, Berlin (2013)
3. Apel, S., Kästner, C., Lengauer, C.: Featurehouse: language-independent, automated software composition. In: ICSE ’09: Proceeding of the 31st International Conference on Software Engineering, pp. 221–231 (2009)
4. Bae, J.H., Lee, K., Chae, H.S.: Modularization of the UML metamodel using model slicing. In: ITNG ’08: Proceedings of the 5th International Conference on Information Technology: New Generations, pp. 1253–1254 (2008)
5. Batory, D.: Feature-oriented programming and the AHEAD tool suite. In: ICSE ’04: Proceedings of the 26th International Conference on Software Engineering, pp. 702–703 (2004)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Family-Based and Product-Based Development of Correct-by-Construction Software Product Lines;Journal of Computer Languages;2022-06
2. Correctness-by-construction for feature-oriented software product lines;Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2020-11-15
3. Converting Executable Floating-Point Models to Executable and Synthesizable Fixed-Point Models;2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2019-09