David E. Lightfoot

According to our database, David E. Lightfoot authored at least 5 papers between 2003 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

CAOPLE: A Programming Language for Microservices SaaS.

ChengZhi Xu, Hong Zhu, Ian Bayley, David E. Lightfoot, Mark Green, Peter Marshall

Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016

CIDE: An Integrated Development Environment for Microservices.

Desheng Liu, Hong Zhu, ChengZhi Xu, Ian Bayley, David E. Lightfoot, Mark Green, Peter Marshall

Proceedings of the IEEE International Conference on Services Computing, 2016

2015

Big SaaS: The Next Step beyond Big Data.

Hong Zhu, Ian Bayley, Muhammad Younas, David E. Lightfoot, Basel Yousef, Dongmei Liu

Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

2003

A Formal Specification in B of a Medical Decision Support System.

Christine Poerschke, David E. Lightfoot, John L. Nealon

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Caste: A Step beyond Object Orientation.

Hong Zhu, David E. Lightfoot

Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 2003