> -- budden писал(а):
> Это - декларации публичных методов QWidget. Набросайте, если не затруднит, спецификацию, которую нужно доказать.Зачем? Это задача для тех кто всё это использует, пишет и тестирует.
Но я понимаю, почему Вы ответили так. Я зацепил лишнего текста в цитате. Я отвечал на это
> -- budden писал(а):
> Т.е. получится, что просто программа написана не на процедурном ЯП, а на декларативном языке спецификаций.Это можно понять из текста моего ответа, но для этого нужно подумать.