scientific article; zbMATH DE number 3990836

MaRDI QIDQ3753462zbMATH OpenFDO

Authors

Publication date 1987

zbMATH Keywords

programming languagemodular programmingAdalarge programming system

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of software (68Nxx)

Cited in

(6)

• scientific article; zbMATH DE number 3848583 (Why is no real title available?)
• Refinement Methodology for Ada
• scientific article; zbMATH DE number 603714 (Why is no real title available?)
• scientific article; zbMATH DE number 107885 (Why is no real title available?)
• scientific article; zbMATH DE number 736812 (Why is no real title available?)
• scientific article; zbMATH DE number 194887 (Why is no real title available?)

Describes a project that uses

Uses Software

• Ada95

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