Книга эта непростая и подойдет не каждому. Автор анализирует то, к чему мы все давно привыкли до автоматизма, и объясняет, что интерфейс многих современных программ далек от совершенства. Как его улучшить, в каком направлении двигаться дальше? Попробуйте найти ответы вместе с самым известным специалистом в этой области - Джефом Раскиным. Сейчас много говорят об эффективности современных подходов к...

Производитель: Символ-Плюс
Дата выхода: ноябрь 2004

ISBN: 978-5-507-50803-7
Издательство: Лань
Дата выхода: апрель 2025

В учебнике описана реляционная модель данных, метод проектирования реляционных баз данных «сущность — связь» и метод нормализации отношений. Рассмотрены операторы SQL. Приведен список тем для самостоятельного проектирования базы данных. Показан порядок работы для создания базы данных. Для наглядности работы пример снабжен скриптами, разработанными для системы управления базами данных MS SQL Server. Учебник...

ISBN: 978-5-507-46530-9
Издательство: Лань
Дата выхода: август 2023

Большинство компаний, разрабатывающих ПО, якобы используют Agile, но на самом деле не понимают, что это такое Agile. Хотите повысить гибкость своей команды? В книге вы найдете четкие, конкретные и подробные рекомендации о том, что, как и почему следует делать, а когда стоит пойти на компромиссы. Джеймс Шор предлагает реальные решения по освоению, планированию, разработке и управлению, основанные на более чем...

ISBN: 978-5-4461-2386-5
Издательство: Питер
Дата выхода: сентябрь 2023

Впервые в одной книге рассматриваются все известные итерационные методы для больших систем линейных алгебраических уравнений блочной структуры, которые имеют в качестве решения седловую точку: подробно анализируются идеи построения, условия сходимости и вопросы оптимизации. Результаты анализа представлены в виде удобных для использования формул. Имеющееся приложение ориентировано на применение...

ISBN: 978-5-9963-0118-8
Издательство: Бином
Дата выхода: январь 2014

Рассмотрена концепция проблемно-целевого анализа сложных организационно-технических систем, основанная на когнитивном моделировании, методах нечеткого логического и ситуационного вывода, позволяющая интегрировать различные методы и технологии решения разнотипных эвристических и аналитических задач поддержки управленческой деятельности. Представлены оригинальные результаты по созданию и...

ISBN: 5-93517-111-2
Издательство: Горячая Линия - Телеком
Дата выхода: январь 2002

В книге впервые изложены теоретические основы концептуального проектирования как самостоятельного вида проектной деятельности. Выявлены все виды задач концептуального проектирования и разработан формальный метод их решения, получивший название метода концептуального проектирования. Теоретический материал, представленный в книге, изложен в рамках единой системы понятий, базирующихся на категориях...

ISBN: 978-5-9710-4876-3
Издательство: URSS
Дата выхода: декабрь 2017

Почему так много программ остаются несовершенными? Почему до сих пор не существует системного и масштабируемого подхода к созданию удобного, надежного и безопасного ПО?   Познакомьтесь с нестандартным подходом к проектированию ПО, который построен на концепциях. Дэниел Джексон доказывает, что любую программную систему следует рассматривать как набор взаимодействующих концепций, которые разбивают...

ISBN: 9785446121892
Издательство: Питер
Дата выхода: апрель 2025

Предлагается использовать продукционно-фреймовую модель представления знаний для управления процессами логического проектирования дискретных устройств. Маршруты проектирования описываются в виде стратегий, представляющих собой совокупности продукций вида "если - то". Приводится большое число примеров иерархически организованных стратегий, описывающих комбинированные маршруты технологически...

ISBN: 978-5-9710-1156-9
Издательство: Ленанд
Дата выхода: январь 2014

Книга посвящена SystemVerilog – языку описания аппаратуры, используемому для моделирования электронных систем. Разработчики SystemVerilog сделали его синтаксис похожим на синтаксис языка С, что упрощает его освоение. В современных подходах к проектированию аппаратуры проверка модели (верификация) не менее важна, чем ее разработка. SystemVerilog предлагает конструкции, позволяющие лучше отразить инженерный замысел в...

ISBN: 978-5-97060-619-3
Издательство: ДМК Пресс
Дата выхода: июнь 2019

В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.   Книга предназначена для студентов высших учебных заведений,...

ISBN: 978-5-93700-278-5
Издательство: ДМК
Дата выхода: декабрь 2023

Если вам давно кажется, что вся разработка и развертывание в вашей компании донельзя замедлились – переходите на микросервисную архитектуру. Она обеспечивает непрерывную разработку, доставку и развертывание приложений любой сложности. Книга, предназначенная для разработчиков и архитекторов из больших корпораций, рассказывает, как проектировать и писать приложения в духе микросервисной архитектуры....

ISBN: 978-5-4461-0996-8
Издательство: Питер
Дата выхода: июль 2019

Книга содержит основные сведения по математическому моделированию мехатронных модулей движения, краткое описание используемого программного обеспечения SimInTech и элементы проектирования электромеханических модулей движения в его среде. Пособие предназначено для студентов технических вузов и факультетов, а также может быть рекомендовано аспирантам, научно-техническим работникам и конструкторам...

ISBN: 978-5-97060-693-3
Издательство: ДМК Пресс
Дата выхода: сентябрь 2020