This repository contains information related to the tool PDE presented at the Foundations of Software Engineering, 2011. This tool was originally presented in this paper.
This repository is not the original repository for this tool. Here are some links to the original project:
In this repository, for PDE you will find:
✅ Source Code for PDE, the version taht was used in the Video of the Tool (available)
✅ Examples of products written using the tool, that were presentedthe Video Demo (available)
✅ Source Code of the explame products presented in the the Video of the Tool (available)
This repository was constructed by Craig Kimpel under the supervision of Emerson Murphy-Hill.