Cтраница 3
Язык СИНТЕЗ используется для представления различных видов спецификаций в процессе проектирования, включая спецификации требований, спецификации компонентов, онтологические спецификации. Отображение спецификаций на языке СИНТЕЗ в нотацию абстрактных машин В-технологии [9, 10] используется для доказательства отношения уточнения, связывающего пару спецификаций. Этого достаточно для программных ( алгоритмических) компонентов. [31]
Полученные результаты ориентированы в основном на облегчение труда системщиков на этапах постановки задач и спецификации требований к проектируемой системе. [32]
При проектировании обработки экономической информации наибольшее значение из всего множества методов спецификации имеют методы спецификации требований к функционированию системы; методы спецификации системных параметров; методы спецификации функциональных требований, включающих в себя методы явной и неявной спецификации. [33]
Каждая предпосылка состоит из трех частей: спецификации выбора числа, спецификации требования полноты и спецификации требования различения. [34]
Уточняющие спецификации, образуемые при композиционном проектировании, согласно теории уточнения, могут использоваться всюду вместо уточняемых спецификаций требований, так что пользователи не замечают этой замены. Методы уточнения [7] позволяют формально устанавливать факт уточнения, гарантируя адекватность полученных спецификаций требуемым. [35]
Этап конструирования включает действия по онтологической интеграции, поиску фрагментов компонентов, которые могут служить уточнением соответствующих фрагментов спецификации требований, и композиции таких фрагментов в спецификацию, конкретизирующую спецификацию требований. [36]
Служба маркетинга на каждый продукт, который, по ее мнению, следует поставить на рынок, составляет спецификацию требований покупателя и направляет ее руководству предприятия для предварительного одобрения. Затем спецификация передается в производственный отдел для определения возможностей по выпуску запрашиваемой продукции исходя из существующих производственных мощностей, наличия оборудования, квалификации и опыта работающих, а также для определения потребностей в сырье и материалах. [37]
АРХИТЕКТОР - это физическое и юридическое лицо, имеющее право профессионально, на основе соответствующим образом оформленной лицензии, выполнять работы по созданию проектно-сметной документации, спецификаций требований к проведению торгов и даже общее управление проектом. [38]
Чтобы отразить в обозначениях требование различения, мы должны: 1) описать нотацию, позволяющую ответам выражать это требование; 2) построить систему обозначения спецификаций требования различения для интеррогативов; 3) определить соответствующее отношение между двумя видами нотаций. [39]
Чтобы отразить в обозначениях требование различения, мы должны: 1) описать нотацию, позволяющую ответам вьфажать это требование; 2) построить систему обозначения спецификаций требования различения для интеррогативов; 3; определить соответствующее отношение между двумя видами нотаций. [40]
При проектировании обработки экономической информации наибольшее значение из всего множества методов спецификации имеют методы спецификации требований к функционированию системы; методы спецификации системных параметров; методы спецификации функциональных требований, включающих в себя методы явной и неявной спецификации. [41]
Другой возможный способ оценивания сокращения затрат при применении метрики состоит в параллельной разработке двух или более программ двумя разными группами разработчиков на основе одной и той же спецификации требований. Эти программы могут быть встроены в систему программного обеспечения, состоящую из действующей операционной системы, библиотечных программ, некоторых других системных программ и подпрограмм, к которым обращаются наблюдаемые программы. [42]
Итак, прямые ответы представляют собой конъюнкцию выбранных альтернатив, причем мощность выбора определяется посредством спецификации выбора числа и, в случае соответствия этому компоненту, посредством спецификаций требований полноты и различения. [43]
Этап конструирования включает действия по онтологической интеграции, поиску фрагментов компонентов, которые могут служить уточнением соответствующих фрагментов спецификации требований, и композиции таких фрагментов в спецификацию, конкретизирующую спецификацию требований. [44]
Ввиду того что, как мы указывали выше, для естественного языка вопрос о различении в явном виде обычно не встает, классификация вопросов, построенная на допущении, что спецификация требования различения может варьироваться независимо от спецификаций выбора числа и требования полноты, не будет иметь той объяснительной силы, что имеет классификация вопросов, представленная в таблице ( разд. Однако ради сохранения единообразия в терминологии мы предлагаем добавлять или не добавлять прилагательное различающий к ранее установленным типам вопросов в зависимости от того, какая спецификация требования различения используется в вопросе - непустая или пустая. Далее, поскольку требование различения избыточно, когда вопрос использует одно-альтернативную спецификацию выбора числа, единственными интересными дополнениями к табл. из разд. Оба типа вопросов накладывают требование различения. Отсутствие слова различающий будет указывать на то, что требование различения не наложено. [45]