scientific article; zbMATH DE number 5668423

MaRDI QIDQ3405587zbMATH OpenFDO

Authors

Publication date 10 February 2010

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of software (68N99)

Cited in

(8)

• Extended Static Checking by Calculation Using the Pointfree Transform
• Type inference for set theory
• Transposing partial components--an exercise on coalgebraic refinement
• Invariant-driven specifications in Maude
• Abstract state machines: a unifying view of models of computation and of system design frameworks
• The connection between two ways of reasoning about partial functions
• Domain modelling: a foundation for software development
• Manifest domains: analysis and description

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 Q3405587)