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]

Possibly Related Publications

The following publications are possibly variants of this publication: