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.

PROSPECTA: Program Development By Specification and Transformation

Definition in English: Program Development By Specification and Transformation