Приложение
для AndroidПолное описание
A two-level approach to automated conformance testing of VHDL designs / J.R.Moonen,J.M.T.Romijn,O.Sies и др. - Amsterdam : [s. n.], 1997. - 15 p. : ill. - (Report:Software engineering / CWI, ISSN 1386-369X ; SEN-R9707). - 3000 р. - Текст : непосредственный.
Библиогр.: c.14-15
| ГРНТИ | УДК | |
| 50.41.25 | 004.415.53 |
Рубрики:
Математическое обеспечение автоматизированных систем
Кл.слова (ненормированные): математическое обеспечение
Доп. точки доступа:
Moonen, J.R.
Romijn, J.M.T.
Sies, O.
Springintveld, J.G.
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Shahroudi K.E. Design by continuous collaboration between manual and automatic optimization / K.E.Shahroudi, 1997. - 14 p. - Текст : непосредственный.Shahroudi K.E. Aircraft conceptual design by collaborative manual and automatic agents / K.E.Shahroudi, 1997. - 8 p. - Текст : непосредственный.Shahroudi K.E. Flipping the analytical coin: closing the information flow loop in high speed (real time) analysis / K.E.Shahroudi, 1997. - 11 p. - Текст : непосредственный.Deursen A.van Little languages: little maintenance? / A.van Deursen,P.Klint, 1997. - 17 p. - Текст : непосредственный.Everaars C.T.H. Using coordination to parallelize sparse-grid methods for 3D CFD problems / C.T.H.Everaars,B.Koren, 1997. - 23 p. - Текст : непосредственный.Luttik S.P. Description and formal specification of the Link Layer of P1394 / S.P.Luttik, 1997. - 18 p. - Текст : непосредственный.Wijk J.J.van A model for strategy in constraint solving / J.J.van Wijk, 1997. - 13 p. - Текст : непосредственный.Liere R.van Steering smog prediction / R.van Liere,J.J.vanWijk, 1997. - 9 p. - Текст : непосредственный.Mulder J.D. Parametrizable cameras for 3D computational steering / J.D.Mulder,J.J.van Wijk, 1997. - 9 p. - Текст : непосредственный.Wijk J.J.van Bringing computational steering to the user / J.J.van Wijk,R.vanLiere,J.D.Mulder, 1997. - 14 p. - Текст : непосредственный.Interactive exploration and modeling of large data sets: A case study with Venus light scattering data / J.J.van Wijk,H.J.W.Spoelder,W.J.J.Knibbe,K.E.Shahroudi, 1997. - 6 p. - Текст : непосредственный.Deursen A.van Program plan recognition for year 2000 tools / A.van Deursen,S.Woods,A.Quilici, 1997. - 9 p. - Текст : непосредственный.Deursen A.van Validating year 2000 compliance / A.van Deursen,P.Klint,A.Sellink, 1997. - 55 p. - Текст : непосредственный.Rutten J.J.M.M. Weighted colimits and firmal balls in generalized metric spaces / J.J.M.M.Rutten, 1997. - 23 p. - Текст : непосредственный.Warners J.P. Nonconvex continuous models for combinatorial optimization problems with application to satisfiability and node packing problems / J.P.Warners, 1997. - 18 p. - Текст : непосредственный.Groote J.F. The syntax and semantics of timed uCRL / J.F.Groote, 1997. - 42 p. - Текст : непосредственный.Aceto L. A complete equational axiomatization for MPA with string iteration / L.Aceto,J.F.Groote, 1997. - 30 p. - Текст : непосредственный.A two-level approach to automated conformance testing of VHDL designs / J.R.Moonen,J.M.T.Romijn,O.Sies и др., 1997. - 15 p. - Текст : непосредственный.Lisser B. Specification of components in a proposition solver / B.Lisser,J.J.van Wamel, 1997. - 22 p. - Текст : непосредственный.Fokkink W.J. Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems / W.J.Fokkink,J.F.Kamperman,H.R.Walters, 1997. - 30 p. - Текст : непосредственный.
Показать все результатыПроизводственная логистика при изготовлении тел вращения / ВЦП. - 15 с. - Текст : непосредственный.Настольная система моделирования без управления TX 8D : Инструкция по эксплуатации и описание работы / ВЦП. - 32 с. - Текст : непосредственный.Использование на месте. Технология работы резанием. Трехмерное моделирование является эффективной помощью при программировании систем ЧПУ для точения и фрезерования / ВЦП. - 10 с. - Текст : непосредственный.Уровень развития управления ЧПУ для шлифовальных станков / ВЦП. - 16 с. - Текст : непосредственный.Устройство автоматизации SIMATIC S5-115U : Руководство по работе и программированию / ВЦП. - 334 с. - Текст : непосредственный.Руководство по программному обеспечению EGA 480. Дополнение к руководству по EGA 480 Card / ВЦП. - 27 c. - Текст : непосредственный.Программное обеспечение Dr. Halo III : Инструкция пользователя / ВЦП. - 103 c. - Текст : непосредственный.Руководство по программному обеспечению FFT / ВЦП. - 30 c. - Текст : непосредственный.Исследование вопроса проверки программ защиты для системы / ВЦП. - 41 c. - Текст : непосредственный.Анализатор "ЭЛАН" / ВЦП. - 273 c. - Текст : непосредственный.Руководство-приложение к пакету программ DAMAGE BOUNDARY / ВЦП. - 19 c. - Текст : непосредственный.LSN.Команда прослушивания Listen / ВЦП. - 132 с. - Текст : непосредственный.Команда Анализ остатка RAN / ВЦП. - 101 с. - Текст : непосредственный.TLA-команда пересылки меток / ВЦП. - 108 с. - Текст : непосредственный.Атомно-абсорбционный спектрофотометр модель - 5100 : Справочное руководство. Гл.10. Использование функций / ВЦП. - 345 с. - Текст : непосредственный.Программирование тестов. Рабочие станции тестирования печатных плат 227Х / ВЦП. - 150 c. - Текст : непосредственный.Программируемые рабочие станции для проверок с платой 227Х фирмы ГенРэд. Описания языка испытания (версия 8.2). Гл.6 / ВЦП. - 162 c. - Текст : непосредственный.Программируемые рабочие станции для проведения проверок с платой 227Х фирмы ГенРад: Описание языка испытаний. Версия 8.2 / ВЦП. - 118 c. - Текст : непосредственный.Джокер. Система классификации и упорядочения по рангу. Версия 2.0 : Руководство пользователя / ВЦП. - 69 c. - Текст : непосредственный.Руководство для пользователей по программному обеспечению системы САТ / ВЦП. - 46 c. - Текст : непосредственный.
Показать все результатыРуководство по программному обеспечению FFT / ВЦП. - 30 c. - Текст : непосредственный.A two-level approach to automated conformance testing of VHDL designs / J.R.Moonen,J.M.T.Romijn,O.Sies и др., 1997. - 15 p. - Текст : непосредственный.Захидов Б.А. Алгоритмы моделирования и управления технологическими процессами / Б.А.Захидов,Р.Х.Аюпов, 1989. - 115 c. - Текст : непосредственный.Математическое и программное обеспечение систем в промышленной и социальной сферах : междунар. сб. науч. тр.: в 3 ч. / Магнитогор. гос. техн. ун-т им. Г. И. Носова. Ч. 2, 2011. - 246 с. - Текст : непосредственный.Математическое и программное обеспечение систем в промышленной и социальных сферах : межвуз. сб. науч. тр. / Магнитогор. гос. техн. ун-т им. Г. И. Носова, 2012. - 408 с. - Текст : непосредственный.Математическое и программное обеспечение систем в промышленной и социальной сферах : междунар. сб. науч. тр.: в 3 ч. / Магнитогор. гос. техн. ун-т им. Г. И. Носова. № 1(3), 2013. - 88 с. - Текст : непосредственный.Носков С.И. Метод смешанного оценивания параметров линейной регрессии: особенности применения / С. И. Носков. - Текст : непосредственный // Вестн. Воронеж. гос. ун-та. Сер. Систем. анализ и информ. технологии. Серия, Системный анализ и информационные технологии : научный журнал / Воронежский государственный университет. - Воронеж : Воронеж. гос. ун-т, 2021. - N 1.- С.126-132.Лёвкин, Игорь Васильевич. Программно-техническое обеспечение автоматизированных систем / И. В. Лёвкин, 2019. - 214 с. - Текст (визуальный) : непосредственный.Лапшина, Марина Леонидовна. Системный анализ в автоматизации и управлении : учебное пособие / М. Л. Лапшина, 2023. - 100 с. - Текст (визуальный) : непосредственный.
Беляева С.И. Теоретические основы структурного диагностирования и обеспечения контролепригодности сложных технических и программных объектов : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.01 / С. И. Беляева, 1991. - 33 с. - Текст : непосредственный.Молин А.В. Разработка полигона для испытания программ статистического анализа : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.11.16:05.13.16 / А. В. Молин, 1991. - 17 с. - Текст : непосредственный.Черноножкин С.К. Методы и инструменты метрической поддержки разработки качественных программ : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / С. К. Черноножкин, 1998. - 18 с. - Текст : непосредственный.Кудрин К.А. Разработка методов автоматизированного тестирования программного обеспечения систем автоматизации эксперимента : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.16 / К. А. Кудрин, 1998. - 19 с. - Текст : непосредственный.Маликова Л.В. Разработка математического и программного обеспечения для исследования исполняемых модулей с использованием теории алгоритмических алгебр и унификации алгебраических термов : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / Л. В. Маликова, 1998. - 16 с. - Текст : непосредственный.Пинаев Д.В. Методы и средства интегральной оценки тестированности программного проекта. Позволяющие управлять процессом разработки тестов : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.11 / Д. В. Пинаев, 1998. - 18 с. - Текст : непосредственный.Покозий Е.А. Методы спецификации и верификации параллельных моделей с непрерывным временем : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:05.13.11 / Е. А. Покозий, 1999. - 16 с. - Текст : непосредственный.Фофанов В.А. Внешнее тестирование интерфейсных библиотек (на примере интерфейса ASIS) : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / В. А. Фофанов, 2000. - 15 с. - Текст : непосредственный.Куликова Н.Л. Разработка и исследование логических методов тестирования программных комплексов в информационных системах : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.25.05 / Н. Л. Куликова, 2000. - 20 с. - Текст : непосредственный.Никифорова Н.Ю. Разработка и исследование методов и средств структурных испытаний программ : автореф. дис. .. канд. техн. наук : 05.13.11 / Н. Ю. Никифорова, 2003. - 18 с. - Текст : непосредственный.Петренко А.К. Тестирование на основе формальных спецификаций в процессах разработки программных комплексов : автореф. дис. .. д-ра физ.-мат. наук : 05.13.11 / А. К. Петренко, 2003. - 59 с. - Текст : непосредственный.Епифанов Н.А. Методы реализации регрессивного тестирования по расширенным тестовым набором : автореф. дис. .. канд. техн. наук : 05.13.11 / Н. А. Епифанов, 2003. - 19 с. - Текст : непосредственный.Посыпкин М.А. Применение формальных методов для тестирования компиляторов : автореф. дис. .. канд. физ.-мат. наук : 05.19.11 / М. А. Посыпкин, 2004. - 22 c. - Текст : непосредственный.Lilja D.J. A data parallel implementation of the TRFD program from the Perfect benchmarks / D.J.Lilja,J.Schmitt, 1994. - 9 p. - Текст : непосредственный.Tip F. A survey of program slicing techniques / F.Tip, 1994. - 58 p. - Текст : непосредственный.Инструменты статического и динамического тестирования программ(АВТОГРАФ) : Сб.ст. / Под ред.В.А.Шимарова, 1994. - 104,3 c. c. - Текст : непосредственный.Kersten M.L. A user's guide to the software testpilot / M.L.Kersten,F.Kwakkel, 1993. - 19 p. - Текст : непосредственный.Latvakoski J. Integration test automation of embedded communication software / J.Latvakoski, 1997. - Pag.var. - Текст : непосредственный.A two-level approach to automated conformance testing of VHDL designs / J.R.Moonen,J.M.T.Romijn,O.Sies и др., 1997. - 15 p. - Текст : непосредственный.Кауфман А.В. ОСТ: система контроля тестированности модула-2-программ / А.В.Кауфман,С.К.Черноножкин, 1997. - 46 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽