[ACM Press the 2012 ACM annual conference extended abstracts - Austin, Texas, USA (2012.05.05-2012.05.10)] Proceedings of the 2012 ACM annual conference extended abstracts on Human Factors in Computing Systems Extended Abstracts - CHI EA '12 - Socialproof
- 作者Zhu, Shaojian
- 文件大小1049.34KB
- 发表时间2012
- DOI10.1145/2212776.2212465
[ACM Press the 10th international workshop - Porto de Galinhas, Brazil (2011.03.21-2011.03.21)] Proceedings of the 10th international workshop on Foundations of aspect-oriented languages - FOAL '11 - Compositional verification of events and observersDisenfeld, Cynthia; Katz, Shmuel · 2011
[ACM Press the 12th annual international conference - Fukuoka, Japan (2013.03.24-2013.03.29)] Proceedings of the 12th annual international conference on Aspect-oriented software development - AOSD '13 - Specification and verification of event detectors and responsesDisenfeld, Cynthia; Katz, Shmuel · 2013
[ACM Press the 11th annual international conference - Potsdam, Germany (2012.03.25-2012.03.30)] Proceedings of the 11th annual international conference on Aspect-oriented Software Development - AOSD '12 - A closer look at aspect interference and cooperationDisenfeld, Cynthia; Katz, Shmuel · 2012
[ACM Press the 12th annual international conference companion - Fukuoka, Japan (2013.03.24-2013.03.29)] Proceedings of the 12th annual international conference companion on Aspect-oriented software development - AOSD '13 Companion - User-friendly event and aspect verificationDisenfeld, Cynthia · 2013
[IEEE 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) - Buenos Aires, Argentina (2017.5.20-2017.5.28)] 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) - FPH: Efficient Detection of Feature Interactions through Non-CommutativityDisenfeld, Cynthia; Stavropoulou, Ioanna; Rubin, Julia; Chechik, Marsha · 2017