Author:
Bowles Juliana Küster Filipe,Bordbar Behzad,Alwanain Mohammed
Publisher
Springer International Publishing
Reference23 articles.
1. Allen, R., Garlan, D.: Formalizing architectural connection. In: ICSE 1994, pp. 71–80. IEEE Computer Society Press (1994)
2. Alwanain, M., Bordbar, B., Bowles, J.: Automated composition of sequence diagrams via alloy. In: Pires, L., Hammoudi, S., Filipe, J., das Neves, R. (eds.) MODELSWARD 2014, pp. 384–391. SciTePress (2014)
3. Araújo, J., Whittle, J.: Aspect-oriented compositions for dynamic behavior models. In: Moreira, A., Chitchyan, R., Araújo, J., Rashid, A. (eds.) Aspect-Oriented Requirements Engineering, pp. 45–60. Springer, Heidelberg (2013)
4. Araújo, J., Whittle, J., Kim, D.: Modeling and composing scenario-based requirements with aspects. In: RE 2004, pp. 58–67. IEEE Computer Society Press (2004)
5. Berre, D.L., Parrain, A.: The SAT4j library, release 2.2 - system description. J. Satisfiability, Boolean Model. Comput. 7, 59–64 (2010)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献