Statisches Typing von Specifications