Author:
Fumagalli Mattia,Sales Tiago Prince,Guizzardi Giancarlo
Publisher
Springer International Publishing
Reference16 articles.
1. Agrawal, R., Imieliński, T., Swami, A.: Mining association rules between sets of items in large databases. In: 1993 ACM SIGMOD, pp. 207–216 (1993)
2. Alrajeh, D., Kramer, J., Russo, A., Uchitel, S.: Elaborating requirements using model checking and inductive learning. IEEE TSE 39(3), 361–383 (2013)
3. Alrajeh, D., Kramer, J., Russo, A., Uchitel, S.: Automated support for diagnosis and repair. Commun. ACM 58(2), 65–72 (2015)
4. Braga, B.F., Almeida, J.P.A., Guizzardi, G., Benevides, A.B.: Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method. Innovat. Syst. Softw. Eng. 6(1–2), 55–63 (2010)
5. Cairns-Smith, A.G.: The Life Puzzle: On Crystals and Organisms and on the Possibility of a Crystal as an Ancestor. University of Toronto Press, Toronto (1971)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献