scientific article; zbMATH DE number 10084

zbMATH Open0744.68100MaRDI QIDQ4713365

Hans-Jörg Kreowski

Publication date: 25 June 1992

Title of this publication is not available (Why is that?)

zbMATH Keywords

parallelismtestingconcurrencyknowledge engineeringmodularizationprototypingdesign specificationcorrectness provingrequirements analysisgeneric and reusable componentssyntax and formal semantics of specification languagestransformation and implementation

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Theory of software (68N99)

Related Items (4)

Title not available (Why is that?) ⋮ Prior specification is engineering, not mathematics ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4713365)