Майерс Гленфорд Дж.

Гленфорд Дж. Майерс 229k

(Glenford J. Myers)

()

...компьютерный инженер и ученый, работал в Институте исследования систем компании IBM. Соучредитель и бывший исполнительный директор корпорации RadiSys.

:
...

РАЗВЕРНУТЬ ►

◄ СВЕРНУТЬ

Архив этой страницы:

* Mayers_G.Dj.__Arhitektura_sivremennyh_EVM._Kn.1.(1985).[djv-fax].zip
* Mayers_G.Dj.__Arhitektura_sivremennyh_EVM._Kn.2.(1985).[djv-fax].zip
* Mayers_G.Dj.__Iskusstvo_testirovaniya_programm.(1982).[djv-fax].zip
* Mayers_G.Dj.__Nadejnost'_programmnogo_obespecheniya.(1980).[djv-fax].zip

РАЗВЕРНУТЬ ►

◄ СВЕРНУТЬ

Список некоторых изданий (групп изданий), текстографии сборников, литература:

* Майерс Г.Дж. Архитектура современных ЭВМ: В 2-х книгах. Книга 1. (1985)
* Майерс Г.Дж. Архитектура современных ЭВМ: В 2-х книгах. Книга 2. (1985)
* Майерс Г.Дж. Искусство тестирования программ. (1982)
* Майерс Г.Дж. Надежность программного обеспечения. (1980)

РАЗВЕРНУТЬ ►

◄ СВЕРНУТЬ

Описания некоторых изданий:

▼

▲

Ⓐ ⒸМайерс Г.Дж. Архитектура современных ЭВМ: В 2-х книгах. Книга 1. (Advances in Computer Architecture, 1982) [Djv-Fax-19.2M] Перевод с английского под редакцией В.К. Потоцкого.
(Москва: Издательство «Мир». Редакция литературы по информатике и электронике, 1985)
Скан, обработка, формат Djv-Fax: ???, предоставил: Михаил, 2014

КРАТКОЕ ОГЛАВЛЕНИЕ:
Предисловие редактора перевода (5).
Предисловие ко второму изданию (7).
Предисловие к первому изданию (8).
Часть I. Необходимость усовершенствования архитектуры ЭВМ (10).
Глава 1. Определение понятия «архитектура ЭВМ» (10).
Глава 2. Критика традиционной архитектуры фон Неймана (25).
Глава 3. Привязка программ к машинам (58).
Глава 4. Набор средств для совершенствования архитектуры вычислительной системы (79).
Часть II. Архитектура, ориентированная на язык программирования (165).
Глава 5. Учебная ПЛ-машина (165).
Глава 6. Трансляция и выполнение программы учебной ПЛ-машины (174).
Глава 7. Набор команд учебной ПЛ-машины (190).
Часть III. Архитектура машин языков программирования высокого уровня (203).
Глава 8. Архитектура системы SYMBOL (203).
Глава 9. Архитектура центрального процессора системы SYMBOL (218).
Глава 10. Внутренняя структура и взаимосвязь процессоров системы SYMBOL (234).
Часть IV. Архитектура, ориентированная на группу языков программирования (262).
Глава 11. Вычислительная система В1700 фирмы Burroughs (262).
Глава 12. Архитектура ЭВМ системы В1700 фирмы Burroughs, ориентированная на языки КОБОЛ и РПГ (268).
Часть V. Архитектура, ориентированная на программное обеспечение ЭВМ (290).
Глава 13. Назначение архитектуры системы SWARD (290).
Глава 14. Система SWARD (308).

ИЗ ИЗДАНИЯ: Монография известного американского специалиста в области вычислительной техники посвящена анализу фундаментальных проблем архитектуры современных вычислительных машин; описывается ряд достижений на пути преодоления этих проблем. Выходит на русском языке в двух книгах. В книге 1 дан критический анализ архитектуры традиционных ЭВМ модели фон Неймана, формулируются основные требования к архитектуре машин ближайшего будущего, описываются решения некоторых задач на примере вычислительных систем с архитектурой, ориентированной на языки программирования (системы SPLM, SYMBOL, В1700) и программное обеспечение (система SWARD).
Для специалистов в области вычислительной техники и программирования. Может быть полезна студентам старших курсов соответствующих специальностей вузов.

▼

▲

Ⓐ ⒸМайерс Г.Дж. Архитектура современных ЭВМ: В 2-х книгах. Книга 2. (Advances in Computer Architecture, 1982) [Djv-Fax-15.2M] Перевод с английского под редакцией В.К. Потоцкого.
(Москва: Издательство «Мир». Редакция литературы по информатике и электронике, 1985)
Скан, обработка, формат Djv-Fax: ???, предоставил: Михаил, 2014

ОГЛАВЛЕНИЕ:
Глава 15. Набор команд системы SWARD (5).
Часть VI. Микропроцессор с архитектурой, ориентированной на объекты (58).
Глава 16. Основные принципы работы микропроцессора iAPX 432 (58).
Глава 17. Процессор общего назначения iAPX 432 (72).
Глава 18. Набор команд процессора общего назначения (128).
Часть VII. Архитектура базы данных (163).
Глава 19. Системы с ассоциативной памятью (163).
Глава 20. Реляционный ассоциативный процессор (173).
Глава 21. Другие машины базы данных (196).
Глава 22. Архитектура машин, управляемых потоком данных (218).
Часть VIII. Вопросы, связанные с архитектурой систем (256).
Глава 23. Оптимизация и настройка архитектуры вычислительной системы (256).
Глава 24. Практические рекомендации по проектированию архитектуры ЭВМ (284).
Ответы к упражнениям (294).

ИЗ ИЗДАНИЯ: Монография известного американского специалиста в области вычислительной техники посвящена анализу фундаментальных проблем архитектуры современных вычислительных машин; описывается ряд достижений на пути преодоления этих проблем. Книга 2 содержит критический анализ достоинств и недостатков архитектуры ряда современных вычислительных систем нетрадиционной архитектуры (SWARD, iAPX 432), машин базы данных (RAP, CASSM, DBC) и машин потоков данных. Кроме того, здесь исследуются проблемы оптимизации архитектуры вычислительных систем.
Для специалистов в области вычислительной техники и программирования. Может быть полезна студентам старших курсов соответствующих специальностей вузов.

▼

▲

Ⓐ ⒸМайерс Г.Дж. Искусство тестирования программ. (1979) [Djv-Fax- 2.1M] Перевод с английского под редакцией Б.А. Позина. Переводчики: С.А. Блау, С.Г. Орлов, Б.А. Позин, Л.С. Черняк.
(Москва: Издательство «Финансы и статистика», 1982)
Скан, обработка, формат Djv-Fax: ???, предоставил: Михаил, добавил недостающие страницы: brainp, 2014

КРАТКОЕ ОГЛАВЛЕНИЕ:
Предисловие к русскому изданию (5).
Предисловие (13).
Глава 1. Тест для самооценки (15).
Глава 2. Психология и экономика тестирования программ (17).
Глава 3. Инспекции, сквозные просмотры и обзоры программы (32).
Глава 4. Проектирование теста (54).
Глава 5. Тестирование модулей (96).
Глава 6. Тестирование комплексов программ (124).
Глава 7. Отладка (154).
Предметный указатель (173).

ИЗ ИЗДАНИЯ: В книге широко и достаточно популярно излагаются основные принципы методологии тестирования и отладки программ. Рассматриваются вопросы психологии и экономики тестирования. Значительное место отводится методам корректировки программ.
Для специалистов, занимающихся программированием, студентов и аспирантов, изучающих ЭВМ.

▼

▲

Ⓐ ⒸМайерс Г.Дж. Надежность программного обеспечения. (Software Reliability. Principles and Practices, 1976) [Djv-Fax- 3.0M] Перевод с английского Ю.Ю. Галимова под редакцией В.Ш. Кауфмана.
(Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1980)
Скан, обработка, формат Djv-Fax: ???, предоставил: Михаил, 2014

КРАТКОЕ ОГЛАВЛЕНИЕ:
Предисловие редактора перевода (5).
Предисловие (6).
Часть 1. ОБЩИЕ ПОНЯТИЯ
Глава 1. Определение надежности программного обеспечения (9).
Глава 2. Ошибки - их причины и последствия (21).
Часть 2. ПРОЕКТИРОВАНИЕ НАДЕЖНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
Глава 3. Основные принципы проектирования (32).
Глава 4. Требования, цели и спецификации (49).
Глава 5. Архитектура системы (78).
Глава 6. Проектирование структуры программы (82).
Глава 7. Методы проектирования (114).
Глава 8. Проектирование и программирование модуля (127).
Глава 9. Стиль программирования (155).
Часть 3. ТЕСТИРОВАНИЕ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
Глава 10. Принципы тестирования (171).
Глава 11. Тестирование модуля (199).
Глава 12. Тестирование внешних функций и комплексное тестирование (219).
Глава 13. Отладка (250).
Часть 4. ДОПОЛНИТЕЛЬНЫЕ ВОПРОСЫ НАДЕЖНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
Глава 14. Методы руководства и надежность (263).
Глава 15. Языки программирования и надежность (275).
Глава 16. Архитектура ЭВМ и надежность (208).
Глава 17. Доказательство правильности программ (310).
Глава 18. Модели надежности (329).
Глава 19. Инструментальные системы (344).
Предметный указатель (354).

ИЗ ИЗДАНИЯ: Первая на русском языке монография по надежности программного обеспечения. Разработка программного комплекса рассматривается в книге во всей полноте - от подготовки технического задания до документации отдельных модулей. Ценно, что теоретическое исследование каждой проблемы сопровождается конкретными рекомендациями по ее решению. Каждая глава завершается библиографией, содержащей важнейшие работы по затронутым в главе вопросам.
Многие специалисты - от программистов до руководителей программистских коллективов - извлекут из этого издания несомненную пользу.