A formal approach to object-oriented software engineering

MaRDI QIDQ2723569zbMATH OpenFDO

Authors Alexander Knapp

Publication date 5 July 2001

Full work available at URL http://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8265-8575-3

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of software (68N99)

Describes a project that uses

Uses Software

• ELAN
• Maude

This page was built for publication: A formal approach to object-oriented software engineering

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