Кто нибудь использует при написании qt программ какие то specification languages (типа JML)?Знакомился с doxygen, но не нашел там таких индикаторов как например requires, modifies, effects...Хочу начать писать спецификации к методам, но никак не могу прийти к технике которая бы меня полностью устраивала
Может кто то может поделится своим опытом в этой сфере или посоветует что почитать...