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]

Authors

Chen Luo

This author has not been identified. Look up 'Chen Luo' in Google

Fei He

This author has not been identified. Look up 'Fei He' in Google

Dong Yan

This author has not been identified. Look up 'Dong Yan' in Google

Dan Zhang

This author has not been identified. Look up 'Dan Zhang' in Google

Xin Zhou

This author has not been identified. Look up 'Xin Zhou' in Google

Bow-Yaw Wang

This author has not been identified. It may be one of the following persons: Look up 'Bow-Yaw Wang' in Google