scientific article; zbMATH DE number 864917

MaRDI QIDQ4872096zbMATH OpenFDO

Authors Robert Gabriel

Publication date 11 April 1996

zbMATH Keywords

formal languagesformal specification

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of software (68N99) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Recommendations

• scientific article; zbMATH DE number 44613
• GSPEC: A graphical specification language for software
• scientific article; zbMATH DE number 2150293
• scientific article; zbMATH DE number 2156157
• scientific article; zbMATH DE number 1262881

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