We propose a method for the elicitation and the expression of requirements. The requirements are then transformed in a systematic way into a formal specification. The approach -- which distinguishes between requirements and specifications -- gives methodological support for requirements elicitation and specification development. It avoids introducing new notations but builds on known techniques.