EntityQ1209840· pop 14· linked from 84 articlesspecification languageSign in to saveformal language used in computer scienceConnectionsspecification and description languageEntitycomputer scienceEntityalgebraEntityInternational Standard Book NumberEntityprogramming languageEntityfunctionEntitysetEntityaxiomEntitymathematical proofEntitydigital object identifierEntitymarkup languageEntityUnified Modeling LanguageEntityformal languageEntitypseudocodeEntitycomputer languageEntitymodel theoryEntityformal systemEntitysystems analysisEntityquery languageEntityrequirements analysisEntityCategoriesComputer languagesFormal specificationScientific modellingSpecification languages