Усовершенствованное программирование и решение проблем с помощью PASCAL
-
title={Продвинутое программирование и решение проблем на PASCAL},
автор={Г. Майкл Шнайдер и Стивен С. Брюэлл},
год = {1981}
}
- Г. М. Шнайдер, С. К. Брюэлл
- Опубликовано в 1981 г.
- Информатика
Просмотр через Publisher
Анализ ошибок программ на Паскале
- К. Анджанейулу
-
Информатика
SIGP
- 1994
Проанализированы решения двух задач программирования, написанные участниками, плохо знакомыми с языком программирования Pascal, и описаны типы обнаруженных ошибок.
Таксономия стилей программирования
- P. Oman, C. Cook
-
Информатика
J. Syst. ПО
- 1991
Таксономия для стиля программирования
- P.
Oman, C. Cook
-
Информатика
CSC ’90
- 1990
Таксономия обеспечивает контекст для понимания и определения конкретных факторов стиля и эмпирических исследований, необходимых для определения влияния факторов стиля и эмпирических исследований на стиль понимание программы и может быть использован для дальнейшего обучения и исследований в области стиля программирования.
Введение в программирование на Фортране
- И. Чиверс, Дж. Слейтхолм
-
Информатика
Springer London
- 2012
Структурированное программирование в самом узком смысле касается разработки программ с использованием небольшого, но достаточного набора операторов и, в частности, управляющих операторов, но в более широком смысле структурированных программирование включает в себя другие цели, включая простоту, понятность, проверяемость, модифицируемость и поддержку программ.
Оценка основанного на знаниях подхода к пониманию программы
В статье оценивается недавно представленный подход к пониманию программ, основанный на знаниях, который генерирует логические аннотации предикатов первого порядка для циклов, что показывает хорошее удобство использования базы знаний за пределами исходной программы.
Оценка основанного на знаниях подхода к пониманию программы
Основанного на знаниях подхода к пониманию программы, который генерирует логические аннотации предикатов первого порядка для циклов, которые обычно показывают хорошее удобство использования базы знаний за пределами исходной программы.
В этой статье изучается влияние двух различных методов декомпозиции программы на понимание программы, основанной на знаниях.
Первый метод генерирует события, которые инкапсулируют части программы, которые… Fortran с использованием массивов Ragged — нижняя треугольная матрица и тип, производный от Date, в качестве примеров.
Преподавание программирования студентам конверсионного курса
- Дж. Бриггс
-
Информатика, образование
SGCS
- 1989
студенты на годичный курс конверсии. В нем рассматриваются темы…
Вероятностный анализ деревьев отказов с использованием основной декомпозиции.
- William T. McCullers
-
Информатика
- 1985
Представлен алгоритм вычисления точной вероятности отказа для бинарных систем, представленных в виде деревьев отказов, который не опирается на наборы разрезов и применяет рекурсивную опорную декомпозицию вместе с вероятностным структурным анализом. редукции и модульность непосредственно к дереву отказов.
Фонд Эдуарда Рейна | Разработка PASCAL, первого структурированного языка программирования
PASCAL — выход из программного кризиса
К концу шестидесятых годов компьютеры использовались не только в научных целях, но и во все большей степени в коммерческих и промышленных целях. Приходилось разрабатывать более крупные и сложные новые программы для решения все большего числа задач. Буквально «искусство программирования» стало пользоваться большим спросом, и пришлось создать совершенно новую профессию программистов. К тому времени обычный разработчик программного обеспечения мало что знал о процессе написания профессиональных компьютерных программ. Программирование программного обеспечения в то время широко считалось чрезвычайно сложной задачей. Полученные в результате продукты низкого качества были чрезвычайно дорогими, с ними было трудно обращаться и трудно обслуживать. Эта досадная ситуация была воспринята как «программный кризис».
Никлаус Вирт был профессором компьютерных наук в ETH Zürich, Швейцария, с 1968 года.
PASCAL, новый компьютерный язык, который он разработал в 1968-72 годах, стал фундаментальным вкладом в процесс систематической и структурированной разработки программного обеспечения. Вирт показал выход из программного кризиса. PASCAL оказался одновременно и новым компьютерным языком, и новой парадигмой программирования. Он также стал образовательным инструментом, мотивирующим систематический и структурированный образ мышления. PASCAL — проблемно-ориентированный компьютерный язык высокого уровня. Он характеризуется простотой, легкостью приобретения и способностью поддерживать структурированное программирование. Он поддерживает различные проблемно-ориентированные типы данных и в целом сокращает среднее время разработки безошибочной программы. С PASCAL программирование воспринималось как инженерный, а не художественный рабочий процесс. «Программная инженерия» была придумана как новый профессиональный термин.
Введение нового компьютерного языка в учебную программу университета заставляет студентов узнать об этом.
Однако широкое распространение PASCAL в промышленности не произошло автоматически. Конкурентами в этой области были хорошо зарекомендовавшие себя языки, такие как АЛГОЛ и, прежде всего, ФОРТРАН. Впоследствии в следующем проекте (1972-74) Вирт разработал легко переносимый компилятор PASCAL. Он использовал свои собственные элементы PASCALlanguage и создал независимый от платформы «метакод», знаменитый P-код. Экспорт компилятора PASCAL на другую компьютерную платформу стал таким же простым, как копирование относительно простого интерпретатора P-кода — и все: программы PASCAL стали исполняемыми. IBM, Univac, DEC и Siemens вскоре предложили различные компиляторы PASCAL для своих конкретных компьютерных систем. Окончательный прорыв произошел в начале восьмидесятых, когда персональные компьютеры стали популярными и доступными. Эти ПК до сих пор предлагают среду программирования PASCAL, простую в обращении и, тем не менее, очень мощную.
Никлаус Вирт своим выдающимся изобретением и распространением PASCAL оставил след в истории информатики.
PASCAL получил полное признание как классический язык программирования в научном образовании. Это широко объясняется тем фактом, что PASCAL, в отличие от любого другого языка, требует от студента очень систематического и хорошо структурированного подхода к программированию. Вирт фактически повлиял на поколения разработчиков программного обеспечения и, таким образом, создал совершенно новую технику программирования. Среди его непреходящих достижений — десятилетия преподавательской деятельности в ETH Zürich и, основанная на этих курсах, серия книг, ставших классикой в своей области. Наконец, основные концепции PASCAL оказали сильное влияние на последние разработки новых компьютерных языков, особенно на набор объектно-ориентированных языков.
PASCAL — далеко не единственное крупное научное достижение Никлауса Вирта, профессора университета с более чем 30-летним стажем. Его многочисленные вклады в области компьютерных наук включают, среди прочего, MODULA 2, логическое развитие PASCAL.