Author:
Bąk Kacper,Czarnecki Krzysztof,Wąsowski Andrzej
Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to Alloy. Software and Systems Modeling 9(1) (2008)
2. Antkiewicz, M., Czarnecki, K., Stephan, M.: Engineering of framework-specific modeling languages. IEEE TSE 35(6) (2009)
3. Asikainen, T., Männistö, T.: Nivel: a metamodelling language with a formal semantics. Software and Systems Modeling 8(4) (2009)
4. Asikainen, T., Männistö, T., Soininen, T.: A unified conceptual foundation for feature modelling. In: SPLC 2006 (2006)
5. Asikainen, T., Männistö, T., Soininen, T.: Kumbang: A domain ontology for modelling variability in software product families. Adv. Eng. Inform. 21(1) (2007)
Cited by
50 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. SymMC: approximate model enumeration and counting using symmetry information for Alloy specifications;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07
2. Categorization of the Models Based on Structural Information Extraction and Machine Learning;Lecture Notes in Networks and Systems;2022
3. : A Tool to Transform Feature Models with Numerical Features and Arithmetic Constraints;Reuse and Software Quality;2022
4. Modeling Relationships Between Feature Model Views;2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2021-10
5. Empirical Assessment of Multimorphic Testing;IEEE Transactions on Software Engineering;2021-07-01