Helps put contract-based design in perspective. Contracts are precisely defined and characterized so that they can be used in design methodologies with no ambiguity. przeczytaj całość