Class Methods Annotated Specifications