PSpec: a formal specification language for fine-grained control on distributed data analytics

Chen Luo, Fei He, Dong Yan, Dan Zhang, Xin Zhou, Bow-Yaw Wang. PSpec: a formal specification language for fine-grained control on distributed data analytics. In Sebastián Uchitel, Alessandro Orso, Martin P. Robillard, editors, Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume. pages 300-302, ACM, 2017. [doi]

Abstract

Abstract is missing.