Implementing A Logic-Based Executable Specification Language in C++
01 January 1988
PK/C++ is an object-oriented, logic-based, wide-spectrum executable specification language which support software development by incremental refinement. PK/C++ is part of ENCOMPASS, an environment that supports software development using formal techniques similar to the Vienna Development Method (VDM).