model keyboard(используемая в описаниях программных систем обобщённая клавиатура, которая может отличаться от реальных клавиатур иным набором и схемой расположения клавиш ssn)
model-integrated computing(сокр. MIC; задаются на языке моделирования DSML (Domain-Specific Modeling Language) и преобразуются в платформо-зависимые артефакты ssn)
model-based(e.g., model-based development and verification – модельно-ориентированный подход к разработке и верификации программного обеспечения Alex_Odeychuk)
model based testing(подход в тестировании, при котором строится математическая модель всей системы, а тестирование проводится по построенной модели ssn)
model number(в Ада – точно представимое значение действительного типа. Операции для действительного типа определены в терминах операций над модельными числами этого типа. Совокупность свойств модельных чисел и операций над ними – это наименьшая совокупность свойств, сохраняемая всеми реализациями данного действительного типа ssn)
