scientific article; zbMATH DE number 1498427

MaRDI QIDQ4499493zbMATH OpenFDO

Authors A. A. Moskvitin

Publication date 30 August 2000

zbMATH Keywords

languages of specificationsprogrammingsoftware

Mathematics Subject Classification ID

Cognitive psychology (91E10)

Recommendations

• scientific article; zbMATH DE number 1979639
• Interpretable program specification language
• The overlanguage method for program specification
• scientific article; zbMATH DE number 1985630
• Language for declaration of information systems

Cited in

(12)

• The overlanguage method for program specification
• Interpretable program specification language
• Language for declaration of information systems
• Formalization of the design principles of universal K-digit structures in language systems of artificial intelligence
• scientific article; zbMATH DE number 998427 (Why is no real title available?)
• scientific article; zbMATH DE number 512889 (Why is no real title available?)
• scientific article; zbMATH DE number 1979639 (Why is no real title available?)
• scientific article; zbMATH DE number 1985630 (Why is no real title available?)
• Toward knowledge-based specifications of languages
• scientific article; zbMATH DE number 3997195 (Why is no real title available?)
• scientific article; zbMATH DE number 3892548 (Why is no real title available?)
• GSPEC: A graphical specification language for software

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