Майкл Энтони Джексон (родился 16 февраля 1936 года) — британский компьютерный учёный и независимый консультант по вычислениям в Лондоне, Англия. Он также является приглашенным профессором-исследователем в Открытом университете в Великобритании. [1]
Родился в Бирмингеме в семье Монтегю М. Джексона и Берты (Грин) Джексон. Джексон получил образование в школе Харроу в Харроу, Лондон, Англия. Там его учил Кристофер Стрейчи , и он написал свою первую программу под руководством Стрейчи. С 1954 по 1958 год он изучал классику (известную как « Великие ») в Мертон-колледже, Оксфорд ; [2] его однокурсником, на два года старше, был К. А. Хоар . Они разделяли интерес к логике , которая изучалась как часть Великих в Оксфорде.
После окончания университета в 1961 году Джексон начал работать дизайнером и консультантом по компьютерным наукам в Maxwell Stamp Associates в Лондоне. Здесь он проектировал, кодировал и тестировал свои первые программы для компьютеров IBM и Honeywell , работая на ассемблере . Там Джексон нашел свое призвание, как он вспоминал в 2000 году: «Хотя я был внимательным дизайнером — рисовал скрупулезные блок-схемы перед кодированием — и добросовестным тестировщиком, я понимал, что проектирование программ — это сложно, а результаты, скорее всего, будут ошибочными...» [3] Проектирование информационных систем нуждалось в структурированном подходе.
В 1964 году Джексон присоединился к новой консалтинговой фирме John Hoskyns and Company в Лондоне, прежде чем основать свою собственную компанию Michael Jackson Systems Limited в 1971 году. В 1960-х годах он начал поиск «более надежного и систематического способа программирования». [3] Он внес вклад в зарождающееся движение модульного программирования , встретившись с Ларри Константином , Джорджем Х. Мили и несколькими другими на симпозиуме 1968 года. [3] В 1970-х годах Джексон разработал структурное программирование Джексона (JSP). В 1980-х годах вместе с Джоном Кэмероном он разработал разработку систем Джексона (JSD). Затем, в 1990-х годах, он разработал подход фреймов проблем .
Работая внештатным исследователем в исследовательском центре AT&T Labs , Джексон в сотрудничестве с Памелой Заве создал «Распределенную композицию функций» [4] — виртуальную архитектуру для спецификации и внедрения телекоммуникационных услуг.
Джексон получил премию Стивенса за методы разработки программного обеспечения в 1997 году [5] и медаль Лавлейс Британского компьютерного общества в 1998 году. В 2001 году он получил премию ACM SIGSOFT за выдающиеся исследовательские достижения [6] .
В 1961 году Джексон женился на Джудит Венди Блэкберн; [2] у них четверо сыновей, один из которых, Дэниел , также является ученым-компьютерщиком, работающим в Массачусетском технологическом институте . [7]
Джексон разработал ряд методов. Каждый из этих методов охватывает более широкую область, чем предыдущий, и строится на идеях, которые появились, но не были полностью развиты в предыдущем. Чтение его книг последовательно позволяет вам проследить эволюцию его мышления.
Jackson Structured Programming (JSP) был первым методом разработки программного обеспечения, разработанным Джексоном. Это метод проектирования программ, описанный в его книге Principles of Program Design . [8] JSP охватывает проектирование отдельных программ, но не систем.
Jackson System Development (JSD) был вторым методом разработки программного обеспечения, разработанным Джексоном. [9] JSD — это метод разработки систем не только для отдельных программ, но и для целых систем. JSD наиболее применим к информационным системам, но его можно легко распространить на разработку встроенных систем реального времени. JSD был описан в его книге System Development .
Problem Analysis или Problem Frames Approach был третьим методом разработки программного обеспечения, разработанным Джексоном. Он касается аспектов разработки всех видов программного обеспечения, а не только информационных систем. Впервые он был набросан в его книге Software Requirements and Specifications и гораздо более полно описан в его книге Problem Frames . Первый международный семинар по приложениям и достижениям в Problem Frames [10] был проведен в рамках ICSE'04, проходившего в Эдинбурге, Шотландия.
Книги Майкла Джексона включают в себя:
Многие из его эссе, а также исследовательские работы, посвященные его творчеству, собраны в книге:
