Title: Quality Inspection in Libraries in the Context of Specification and Contract