Информатика и вычислительная техника
  • формат pdf
  • размер 2.04 МБ
  • добавлен 18 октября 2009 г.
Раскин Джеф. Интерфейс: Новые направления в проектировании компьютерных систем
Книга эта непростая и подойдет не каждому. Автор анализирует то, к чему мы все
давно привыкли до автоматизма, и объясняет, что интерфейс многих современных
программ далек от совершенства. Как его улучшить, в каком направлении двигаться
дальше? Попробуйте найти ответы вместе с самым известным специалистом в этой
области – Джефом Раскиным, создателя проекта Apple Macintosh.
Сейчас много говорят об эффективности современных подходов к разработке
интерфейсов. Раскин же демонстрирует, что многие из них ведут в тупик, и для создания
компьютеров, с которыми было бы проще работать, требуются совершенно новые
принципы разработки. Он объясняет, как осуществить эти необходимые сегодня
изменения, и высказывает нестандартные идеи, демонстрируя дальновидность и
способность к практическому взгляду на вещи.
Эта книга, рассказывающая о научном подходе к разработке интерфейсов, может
быть полезна как для создателей программного обеспечения, так и для руководителей
проектов.
Похожие разделы
Смотрите также

Айзенекер У., Чарнецки К. Порождающее программирование: методы, инструменты, применение

  • формат djvu
  • размер 47.92 МБ
  • добавлен 03 декабря 2009 г.
Год издания: 2005. Серия: Для профессионалов. Издательство: Питер. Язык: русский. Кол-во страниц: 876. Порождающее программирование (Generative Programming, GP) открывает перед разработчиками приложений глобальные перспективы. Оно реализует идею перехода от одноразовых программных систем к полуавтоматическому производству самых разнообразных продуктов. Самое ценное качество методики порождающего программирования состоит в том, что она учитывает...

Андон Ф.И., Коваль Г.И., Коротун Т.М., Лаврищева Е.М., Суслов В.Ю. Основы инженерии качества программных систем

  • формат pdf
  • размер 8.1 МБ
  • добавлен 11 августа 2011 г.
Андон Ф.И., Коваль Г.И., Коротун Т.М., Лаврищева Е.М., Суслов В.Ю. Основы инженерии качества программных систем. 2-е изд., перераб. и доп. - К.: Академпериодика, 2007. – 672 с. Определяется ядро знаний в области инженерии качества программных систем. Рассматриваются процессы жизненного цикла, связанные с обеспечением качества – процессы верификации, валидации, тестирования, измерения, управления риском, обеспечения гарантии качества, управления...

Безруков А.И. Метрология программного обеспечения. Экономические и правовые основы разработки программного обеспечения (Текст лекций)

  • формат pdf
  • размер 1.2 МБ
  • добавлен 30 октября 2009 г.
Саратовский Государственный Технический Университет. Технологический институт, г. Энгельс. 2003г. Оглавление Лекция 1. Знакомство с предметом. Лекция 2. Эволюция представлений о качестве. Лекция 3. Что такое маркетинговые исследования и для чего они нужны? Лекция 4. Системы управления качеством Лекция 5. Стандарты в области качества программного обеспечения Лекция 6. Методы и инструменты управления качеством Лекция 7. Поддержка принятия ре...

Диплом - Разработка системы компьютерного контроля знаний по дисциплинам кафедры

degree
  • формат doc
  • размер 2.25 МБ
  • добавлен 12 сентября 2009 г.
Введение. Серверная часть программного комплекса. О программе. Интерфейс серверной части программного комплекса. Как работает серверная часть программного комплекса. Административная часть программного комплекса. О программе. Настройки соединения с серверной частью программного комплекса. Подключение к серверной части программного комплекса. Описание интерфейса программы. Администрирование. Тестовые вопросы. Клиентская часть программного комплекс...

Карпов Ю.Г. Model Checking. Верификация параллельных и распределенных программных систем

  • формат djvu
  • размер 11.89 МБ
  • добавлен 15 февраля 2011 г.
СПб.: БХВ-Петербург, 2010. - 560 с. - ISBN: 978-5-9775-0404-1 В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, би...

Карпов Ю.Г. Model Checking. Верификация параллельных и распределенных программных систем

  • формат pdf
  • размер 14.99 МБ
  • добавлен 15 февраля 2011 г.
СПб.: БХВ-Петербург, 2010. - 560 с. - ISBN: 978-5-9775-0404-1 В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, би...

Керниган Б., Пайк Р. Практика программирования

  • формат rar, djvu, zip
  • размер 4.9 МБ
  • добавлен 15 апреля 2010 г.
Пер. с англ. М.: Вильямс, 2004, 288 с. Вашему вниманию предлагается перевод на русский язык исправленного и дополненного издания (уже восьмого по счету) популярной книги, вышедшего из печати в январе 2004 года. Верификацию кода в русском издании выполнили сами авторы книги - Брайан Керниган и Роб Пайк, что лишний раз свидетельствует об их огромной ответственности перед читателями. В книге рассматриваются принципы практического профессионального...

Липаев В.В. Сертификация программных средств. Учебник

  • формат pdf
  • размер 6.96 МБ
  • добавлен 27 сентября 2011 г.
Липаев В.В. Сертификация программных средств. Учебник. - М.: СИНТЕГ, 2010. - 344с. ISBN 978-5-89638-114-3 В учебнике изложены принципы, методы и средства обеспечения качества в жизненном цикле сложных программных средств (ПС), контроль и подтверждение их соответствие исходным требованиям заказчиков с учетом действующей законодательной базы сертификации и требований национальных и международных стандартов. Качество ответственных программных продук...

Смирнов А.А., Хрипков Д.В. Технологии программирования: учебно-практическое пособие

  • формат pdf
  • размер 1.04 МБ
  • добавлен 02 декабря 2011 г.
ТЕХНОЛОГИИ ПРОГРАММИРОВАНИЯ : учебно-практическое пособие. – М. : Изд. центр ЕАОИ, 2009. – 191 с. учебно-практическое пособие посвящено изучению важнейших направлении развития технологий программирования;особенности использования объектно-ориентированного программирования в различных системах;технологии программирования, основанные на динамическом распределении памяти;технологии программирования, используемые при обработки экономической информаци...

Соммервилл, Иан. Инженерия программного обеспечения

  • формат doc
  • размер 14.2 МБ
  • добавлен 08 июня 2008 г.
Соммервилл, Иан. Инженерия программного обеспечения, 6-е издание.: Пер. с англ. – М.: Издательский дом "Вильямс", 2002. – 624 с.: ил. === Данная книга является прекрасным введением в инженерию программного обеспечения. Здесь дана широкая панорама тем инженерии ПО, охватывающих все этапы и технологии разработки программных систем. В семи частях книги представлен весь спектр процессов, ведущих к созданию программного обеспечения: от начальной разра...