and Executable Specifications

tested on an ad hoc basis, particularly in North America. To create a sort of “Third Way ” between pure formalism on the one hand, and unfettered informalism on the other, this research proposes an approach dubbed selective for-malism. Instead of forcing all design to be channelled software tools that automatically synthesize C++ code from a given CSP specification. The resulting software retains the formal properties that may have been verified 1This work is supported by research grants from NSERC (Natural Sci-try practitioners have not been eager to adopt abstruse mathematical notations, uncommon programming lan-guages, or additional costly engineering process steps [20]. Thus concurrent systems often continue to be designed and This approach relies on two adaptations of the CSP for-malism, to wit, making CSP specifications both executabl