формальная спецификация oor Sjinees

формальная спецификация

Vertalings in die woordeboek Russies - Sjinees

形式規格

математическое описание программной или аппаратной системы, которая может быть реализована в соответствии с этим описанием;специфицируется, что должна делать система, но не то, как она должна это делать

voorbeelde

Контрактное программирование выросло из формальной верификации, формальной спецификации и логики Хоара.
契约式设计應用了形式验证、Formal specification與霍尔逻辑的理論。

Java Community Process (JCP) — сформированный в 1998 году формальный процесс, который позволяет заинтересованным лицам участвовать в формировании будущих версий спецификаций платформ языка Java.
JCP(Java Community Process)成立于1998年,是使有兴趣的各方参与定义Java的特征和未来版本的正式过程。

Рабочая группа согласилась с тем, что в Руководстве следует обратить внимание на важность надлежащего изучения тендерных заявок на предмет их соответствия формальным требованиям и изучения вопроса о платежеспособности поставщиков, а также важность точных и подробных спецификаций и объективных критериев для выявления и отклонения АЗЦ.
工作组一致认为,《指南》应突出表明,适当审查投标书的响应程度和供应商的偿付能力、准确而详细的规格说明以及客观标准对于确定和否决异常低价竞标非常重要。

Закупающая организация может запросить разъяснения и обсудить первоначальные тендерные заявки с отвечающими формальным требованиям поставщиками в соответствии со статьями 16 и 48, соответственно [**гиперссылки**], и она использует полученную таким образом информацию для того, чтобы сообщить о своем решении по последнему, единственному набору технических спецификаций и окончательному объему работ.
采购实体可分别按照第16条和48条[**超级链接**],请作出响应的供应商提供详细说明并与之讨论初步投标书,然后利用由此获得的信息决定一套最终技术规格和最终工作范围。