PROSPECTA: Program Development By Specification and Transformation

What does PROSPECTA mean? The above is one of PROSPECTA meanings. It may have other definitions. Please refer to the end of this passage.

Definition in English: Program Development By Specification and Transformation