Specifications and static calculations