scientific article; zbMATH DE number 194792

zbMath0705.68039MaRDI QIDQ4692787

No author found.

Publication date: 5 June 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

program specificationspecification languagesembedded systemsalgebraic specificationmodularizationprogramming methodologyspecification techniquesverification of programsreuirements analysis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Theory of software (68N99)

Related Items

Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations