C PDL AND MCCABES COMPLEXITY MEASURES

[Pat Bahn]

    Hi  I need a hand.   Does anybody know of any good PDL's for
C?  I'm looking for a notation that will support developement of
non-trivial lines of code and allow verification of the interfaces
for completeness and cohesion.  The PDL would be well complemented by
some quality measures.  I am also looking for some software that will
complexity evaluations (i.e McCabes cyclomatic complexity metric).

  If anyone knows please e-mail and I will summarize.