Work

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

Year: 1982

Type: book-chapter

Source: Informatik-Fachberichte

DOI: 10.1007/978-3-642-68355-8_10

Authors: Helmut Partsch, Alfred Laut

Institution: Technical University of Munich

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W27627212

FWCI: 6.651

Cites: 27

Cited by: 7

Related to: 10