From Requirements to their Formalization - A Case Study on the Stepwise Development of Algebraic Specifications

• Authors:

• Helmuth Partsch;Alfred Laut

• Affiliations:

• -;-

• Venue:
• Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI
• Year:
• 1982