Непейвода Н.Н., Скопин И.Н. Основания программирования

Подождите немного. Документ загружается.

ЛИТЕРАТУРА

895

[24] С. К. Годунов, В. С. Рябенький. Разностные схемы. М.: Наука, 1973,

398 стр.

[25] Гололобов В. И., Чеблаков Б. Г., Чинин Г. Д. Описание языка ЯРМО.

Препринт ВЦ СО АН СССР, 1980, № 247, 278.

[26] Д. Грис. Конструирование компиляторов для цифровых вычислитель-

ных машин. — М.: Мир, 1975

[27] Д. Грис. Наука программирования. М.: Мир, 1984.

[28] Рутен Ф.Гурин, Сергей А.Романенко ЯЗЫК ПРОГРАММИРОВАНИЯ

РЕФАЛ ПЛЮС. http://www.rational.com/products/rup/index.jsp

[29] У. Дал, Э. Дейкстра, К. Хоор. Структурное программирование. М.:

Мир, 1975, 246 с.

[30] Дейкстра Э., Дисциплина программирования. М.: Мир, 1978, 278 с.

[31] Дейт К. Введение в системы баз данных. М.: Наука, 1980, 463 с.

[32] А. П. Ершов. Организация АЛЬФА-транслятора. / В кн. АЛЬФА - си-

стема автоматизации программированияњ под. ред. А.П. Ершова. —

Новосибирск: Наука. — 1967. — с. 35-70

[33] Ершов А. П. О сущности трансляции. Препринт № 6, Новосибирск:

ВЦ СО АН СССР, 1977.– 33 с.

[34] Ершов Ю. Л.,Палютин Е. А.Математическая логика.М.:Наука,1987.

[35] Зуев Е.А. Программирование на языке

Turbo-Pascal 6.0, 7.0

. - М.: Ве-

ста, Радио и связь, 1993. - 384 с.

[36] Йенсен К., Вирт Н. Паскаль. Руководство для пользователей и описа-

ние языка: Пер. с англ. - М.: Финансы и статистика, 1982, 150 с.

[37] Э. Йодан. Структурное проектирование и конструирование про-

грамм. М.: Мир, 1979, 416 с.

[38] С. К. Клини. Введение в метаматематику. М.: ИЛ, 1957.

[39] Д. Э. Кнут. Все про T

X. Протвино, АО RDT

X, 1993, 576 c.

896

ЛИТЕРАТУРА

[40] Д. Э. Кнут. Искусство программирования для ЭВМ. т.1–3. М.: Мир,

1976.

[41] Р. Ковальски. Логика в решении проблем. М.: Наука, 1990, 280 с.

[42] Т. Кормен, Ч. Лейзерсон, Р. Ривест. Алгоритмы. Построение и анализ.

МЦНМО, Москва, 1999, 960 с.

[43] И. Котельников, П. Чеботаев. Издательская система L

X2ε. Новоси-

бирск: Сибирский хронограф, 1998.

[44] В. Е. Котов. Введение в теорию схем программ. М.: Наука, 1978, 257 с.

[45] В.Е. Котов,В.К. Сабельфельд.Теория схем программ.М.: Наука,1991,

248 с.

[46] Лавров С.С., Гончарова Л.И. Автоматическая обработка данных. Хра-

нение информации в памяти ЭВМ (Серия: Библиотечка программи-

стањ). - М.: Наука, 1971

[47] В. Е. Ларичев. Колесо времени. Новосибирск: Наука, 1986.

[48] Д. Я. Левин. Язык сверхвысокого уровня Сетл и его реализация. Ново-

сибирск: Наука, 1983, 158 с.

[49] Д. Я.Левин. Инструментальный комплекс программирования на осно-

ве языков высокого уровня. М.: Наука, 1987, 197 с.

[50] А. А.Леоненков. Самоучитель

UML

. СПб.:БХВ-Петербург,2001, 304с.

[51] Р. Лингер, Х. Миллс, Б.Уитт. Теория и практика структурного про-

граммирования. М.: Мир, 1982, 408 с.

[52] В. В. Липаев и др. Технология проектирования комплексов программ

АСУ. М.: Радио и связь, 1983.

[53] Б. Лисков, Дж. Гатэг. Использование абстракций и спецификаций при

разработке программ. М.: Мир, 1989, 424 с.

[54] В. М. Матросов, С. Н. Васильев, Л. Ю. Анапольский. Метод сравнения

в математической теории систем. Новосибирск: Наука, 1980.

[55] Д. Мартин и др. XML для профессионалов. М.: Лори, 2001.

ЛИТЕРАТУРА

897

[56] В. В. Милашевич. Опережающее обучение и его место в познании.

Владивосток, ДВНЦ АН СССР, 1986, 26с.

[57] М. Минский. Вычисления и автоматы. Мир, М.: 1971, 365 с.

[58] Н.Н. Непейвода.О построении правильных программ.Вопросы кибер-

нетики, вып. 46 (1978), стр. 88–122.

[59] Н. Н. Непейвода. Об одном методе построения правильной програм-

мы из правильных подпрограмм. Программирование, 1979, №1, стр.

11–21.

[60] Н. Н. Непейвода. Логический подход к программированию. Алгоритмы

в современной математике и ее приложениях. т. 2, Новосибирск, ВЦ

СО АН СССР, 1982.

[61] Н. Н. Непейвода (N. N. Nepejvoda). Some analogues of partial and

mixed computations in the logical programming approach.New Generation

Computing, 17 (1999), 309–327.

[62] Н. Н. Непейвода. Уровни знаний и умений. Тр. Научно-исследователь-

ского семинара логического центра ИФ РАН, т. 14 (2000), с. 9–35.

[63] Н. Н. Непейвода. Прикладная логика. Новосибирск: НГУ, 2000, 491 с.

[64] Ю. В. Новоженов и др. Объектно-ориентированные

CASE

-средства

// СУБД. 1996, № 5–6, 119–125 с.

[65] Пересмотренное сообщение об АЛГОЛе 68. Мир, М.: 1979, 533 с.

[66] В. Н. Пильщиков. Сборник упражнений по языку Паскаль: Учеб. посо-

бие для вузов. М.: Наука, 1989, 160 с.

[67] Д. Райли. Абстракция и структуры данных. Вводный курс. М.: Мир,

1993. 751 с.

[68] Б. Ренделл и Л. Рассел. Реализация АЛГОЛА 60, М.: Мир, 1967. - 475

с. (Randell B, Russel L.J. ALGOL 60 Implementation, Academic Press,

London, New York, 1964)

[69] Базисный Рефал и его реализация на вычислительных машинах. — М.:

ЦНИПИАСС, 1977. — 258 с.

898

ЛИТЕРАТУРА

[70] Ричардс и др. Oracle r 7.3. Энциклопедия пользователя. Киев: «Диа-

Софт», 1997.

[71]

Case

-технологии. Практическая работа в

Rational Rose

. М.: Бином,

2001, 270 с.

[72] Турчин В.Ф.Базисный Рефал.Описание языка и основные приемы про-

граммирования. (Методические рекомендации). — М.:ЦНИПИАСС,

1974. — 96 с.

[73] Уэзерелл Ч.Этюды для программистов: Пер. с англ. — М.: Мир,1982.

— 288 с.

[74] Фаронова В. В. Программирование на персональных ЭВМ в среде

TURBO-Паскаль. — М.: Изд-во МГТУ, 1990. — 580 с.

[75] Языки программирования Ада, Си, Паскаль. Сравнение и оценка / Под

ред. А.Р.Фьюэра, Н.Джехани: Пер. с англ. под ред.В.В.Леонаса. - М.:

Радио и связь, 1989. - 368 с.

[76] Хоар Ч. Взаимодействующие последовательные процессы. М.: Мир,

1989.

[77] Дж. Хьюз, Дж. Мичтом. Структурный подход к программированию.

М.: Мир, 1980, 278 с.

[78] М. Ш. Цаленко. Моделирование семантики в базах данных. М.: Наука,

1989, 288 с.

[79] Ч. Чень, Р. Ли. Математическая логика и автоматическое доказа-

тельство теорем. М.: Наука, 1983, 358 с.

[80] Г. С. Цейтин. На пути к сборочному программированию, Программи-

рование, № 1, 1990, стр. 78–92

[81] А. А. Шалыто.

SWITCH

-технология. Алгоритмизация и программиро-

вание задач логического управления. СПб.: Наука, 1998, 628 с.

[82] Bacus, J. Can programming be liberated from the von Neuman style?

Comm. ACM, 21, 1978.

ЛИТЕРАТУРА

899

[83] P. Deransart, A. Ed-Dbali, and L. Cervoni. Prolog: The Standard. Springer-

Verlag, New York, 1996.

[84] John C. Mitchell. Foundations of programming languages. MIT Press,

1996, 846p.

[85] IEEE IDEF0. “Standard Users Manual for the ICAM Function Modeling

Method — IDEF0”. IEEE draft standard P1320.1.1. 1997.

[86] Turbo Pascal 5.5. Object-Oriented Programming Guide. Borland

Internanional, Inc. 1989.

[87] Peterson W.W. Addressing for random-access storage. IBM Journal of

Research and Development, 1, 1957.

[88] Rational Uniﬁed Process. Copyright

 2001 Rational Software

Corporation. http://www.rational.com/products/rup/index.jsp

[89] Rumbaugh J., Jacobson I., Booch G. The Uniﬁed Modelling Language.

Reference Manual. Addison-Wesley, 1999.— 550p.

[90] Turchin V. F.. Refal-5, Programming Guide and Reference Manual. New

England Publishing Co., Holyoke, 1989.

Предметный указатель

CSS, см. Таблицы стилей

dll,см. днамически загружаемая библио-

тека368

D. Hilbert (Д. Гильберт), 867

Rational Uniﬁed Process, 180, 829–830

WYSIWYG, 778

Автомат, 845

Мили, 847

Мура, 845, 847

входные символы, 845

конечный, 560, 564, 566, 573, 610,

611, 617, 619, 621, 845

состояния, 845

Адрес, 16

Адресность, 16

Алгоритм

Маркова, 729, 849

Алгорифм Маркова,см.Алгоритм Мар-

кова

Анализ, 201

Анализ осуществимости, 194

Арность, 839

Артефакт, 181

Архитектура

фон Неймановская, 15

Атом, 730, 769

Атрибуты

атома в LISP, 792

Аттестация, 189

База

данных, 752, 814

знаний, 752, 815

Библиотека, 39–44

динамически загружаемая, 368

периода исполнения, 9, 15

периода трансляции, 8, 15

среды программирования, 14

стандартная, 13, 15

Верификация, 189

Выражение

языка Рефал, 730

Выражения, 247

Вычисление

квазипараллельное, 51

параллельное, 51

последовательное, 51

смешанное, 170

совместное, 52, 52–54

слабое, 53

Вычисления

гарантированные, 503, 808

900

ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ

901

точность, 808

Глупость, 884

Граф

состояний и переходов, см. Диа-

грамма переходов

Гроздь, 529

Данные, 877

изоморфизм, 664

Дао, 891

Декомпозиция программ, 44

Детерминатив, 751

Диаграмма

переходов, 567, 610

Дизъюнкт

Хорнов, 748

Документ

объектная модель, 786

Доступ к данным

программируемый, 511

Замена

значения переменной, 842

Записи

вариантные, 520

Запись, 515

Запроцедуривание, 417

Засылка, см. Присваивание

Знания, 877

Значение

константное, 59

Импликация

Хорнова, 747

Имя, 60

Инициаторы работ, 202

Интерпретатор, 14

Интерпретация

вычислительная, 840

Исполнение

неудачное, 755

при данной оценке, 841

схемы программ, 841

успешное, 755, 841

Использование, 195

Исследования, 194

История

исполнения, 842

Канал связи, 17

Класс

абстрактный, 717

Клауза, см. Педложение752

Кодирование, см. Рализация185

Команда, 16

Комментарий, 38–39

Комментирование, 110

Компилятор, 14

Компиляция

условная, 84

Конкретизация, 729

Константа, 59, 751

Конституента, 600

Конструирование, 194, 201

Конструкция, 7

Контейнер, 59

Контекст

предоставляемый, 455

Кэш

данных, 19

команд, 19

Литерал, 59

902

ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ

Массив, 524

гибкий, 525

динамический, 525

статический, 525

Машина

Тьюринга, 848

потоков данных, 21, 763

Метавыражение, 729, 732

Метакодирование, 733

Метод, 888

виртуальный, 715

конечный, 716

объекта, 708

статический, 715

Методика, 107

Методичность, 884

Методология, 107

Множество, 534

автоматно разрешимое, 847

регулярное, см. автоматно разре-

шимое

Модели

нестандартные, 866

уровня анализа, 203

уровня конструирования, 203

Моделирование

пользовательского интерфейса,201

Модель

Янова, 844

жизненного цикла

каскадная, 188–189

классическая, 186–188

общепринятая, 184–186

строгая каскадная, 191

фазы-функции, 193–196

интерпретационная, 840

Модуль, 42

загрузочный, 14

Наследование, 714

Обзоры, 189

Область

экранная, 642

Образец, 733

Обратная польская запись, 699

Объединение, 519

неразмеченное, 520

размеченное, 519

тегированное, 520

Объект, 708

искусственный, 831

квазиискусственный, 831

Окружение, 767

Операнд, 16

Оператор, 7, 22

Описания, 44

Определение требований, 184, 201

Ординалы, 638

Откат, 756

Отладчик, 9, 15

Отождествление, 729

Оценка, 195

переменных, 841

результатов итерации, 202

Ошибка

задания, 191

Память, 15, 59

ассоциативная, 21, 746

Парадокс, 863

Берри, 864

Брауэра, 870

Карри, 864

Рассела, 864

изобретателя, 868

лжеца, 864

Паттерн, см. Шаблон

ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ

903

Паттерны, 163

Патч, 165

Переатестация, 189

Переменная, 59, 751

анонимная, 751

Переход, 119

Перечисление, 499, 499–501

Пиксель, 641

Планирование итерации, см. Опреде-

ление требований

Подпрограмма, 23, 362–481

клиент, 369

сервер, 369

Подстановка, 729

Поле

данных, 752

записи, 515

зрения, 752

Поле зрения

Рефал, 730

Поле памяти

Рефал, 730

Полиморфизм, 406

Понятие

идеальное, 867

реальное, 867

Понятия

внешние, 122

внутренние, 122

Порядок

высказывания, 869

Последовательное соединение, 843

Постусловие, 168

Поток

данных, 573

Предикат, 751

отсечения, 757

Предложение, 752

Предусловие, 168

Препроцессор, 14

Прерывание, 138

Приведение, 23

Приоритет, 142

Присваивание, 16, 22

Программа, 181

линейная, 37

старение, 182

Программирование, 194

восходящее, 131

нисходящее, 130

объектно=ориентированное,118,151–

155

от образца, 156

от образцов, 164

от переиспользования, 118, 155

от приоритетов, 118, 142

от событий, 135–142, 359

от состояний, 118–124, 134, 160,

179, 560–633

от шаблонов, 118

отсобытий, 118

сборочное, 157

сентенциальное,118,132–134, 567,

728–789

специализирующее, 155, 167

структурное, 118

функциональное,118, 147–151,791–

804

Проектирование, 185

Проецирование, 733, 734

Противоречие

проблемное, 188

Процессор, 16, 59

Путь

окольный, 868

Разветвление, 843

Развитие, 186

Разметка, 774

904

ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ

Разработка, 184

Реализация, 185, 202

Реальность

виртуальная, 831

Регистры, 19

Редактор, 8

связей, 15

Рубрикация, 768

Связь вход=выход, 168

Селектор, 511

Семантика, 102

алгебраическая, 104

интерпретационная, 103

логическая, 103

трансляционная, 103

функциональная, 103

Сигнатура, 839

Символы

пробельные, 39

Система

аксиоматическая, 115

ассоциативная, 115

коммутационная, 114

программирования, 8

продукций, 113

файловая, 8

функций, 114

Словарь, см. Сигнатура

Слово, 561

Смысл, 102

Сообщение, 341

Сопровождение, 182, 184, 186

Состояние, 119

памяти, 841

схемы программ, 841

Спецификация системы, 184

Среда

операционная, 8

Стек

контекстов, 397–398

Схема

Янова, 611, 844

программ, 839, 839

Янова, см. Схема Янова

структурированная, 843

ТРИЗ, 188

Таблицы

стилей, 777, 783

Тег, 62, 619, 774

Тегирование, 62, 774

Терм, 839

Тестирование, 186, 202

Тип

данных, 59

логический, 869

Токен, 769

раскрытие, 769

Транслятор, 8

Трассировка

требования, 219

Умения, 878

Универс, 840

полных состояний, 844

Унификация, 748

Управляющее устройство, 16

Условие

корректности относительно ошиб-

ки, 840

Успех, 753

Факт, 753

Формат

X, 769

Xа, 766