Майкл А. Джексон - Michael A. Jackson


Майкл Энтони Джексон (родился 16 февраля 1936 г.) - британский ученый-компьютерщик и независимый консультант по вычислениям из Лондона , Англия. Он также является приглашенным исследованием профессоров в Открытом Университете в Великобритании .

биография

Родился в Бирмингеме в семье Монтегю М. Джексона и Берты (Грин) Джексон, Джексон получил образование в школе Харроу в Харроу, Лондон, Англия. Там его обучал Кристофер Стрейчи и он написал свою первую программу под руководством Стрейчи. С 1954 по 1958 год он изучал классиков (известных как « Великие ») в Мертон-колледже в Оксфорде ; его сокурсником, на два года опередившим его, был К.Р. Хоар . Они разделяли интерес к логике , которую изучали в Оксфорде в рамках программы «Великие».

После его окончания в 1961 году Джексон начал работать дизайнером по информатике и консультантом Maxwell Stamp Associates в Лондоне . Здесь он проектировал, кодировал и тестировал свои первые программы для компьютеров IBM и Honeywell , работая на ассемблере . Там Джексон нашел свое призвание, как он вспоминал в 2000 году: «Хотя я был осторожным дизайнером - тщательно рисовал блок-схемы перед написанием кода - и добросовестно тестировал, я понял, что разработка программ - сложная задача, а результаты, вероятно, будут ошибочными ...» Информация Системный дизайн нуждался в структурированном подходе.

В 1964 году Джексон присоединился к новой консалтинговой фирме John Hoskyns and Company в Лондоне, прежде чем в 1971 году основал свою собственную компанию Michael Jackson Systems Limited. В 1960-х годах он начал поиск «более надежного и систематического способа программирования». Он внес свой вклад в зарождающееся движение модульного программирования , встретившись с Ларри Константином , Джорджем Х. Мили и несколькими другими на симпозиуме 1968 года. В 1970-х Джексон разработал структурированное программирование Джексона (JSP). В 1980-х вместе с Джоном Кэмероном он разработал Jackson System Development (JSD). Затем, в 1990-х годах, он разработал подход фреймов проблемы .

Работая по совместительству исследователем в AT&T Labs Research , в сотрудничестве с Памелой Зейв Джексон создал «Distributed Feature Composition», виртуальную архитектуру для спецификации и реализации телекоммуникационных услуг.

Джексон получил премию Стивенса за методы разработки программного обеспечения в 1997 году и медаль Лавлейс Британского компьютерного общества в 1998 году.

В 1961 году Джексон женился на Джудит Венди Блэкберн; у них четверо сыновей, один из которых, Дэниел , также работает компьютерным специалистом в Массачусетском технологическом институте .

Работа

Джексон разработал ряд методов. Каждый из этих методов охватывает более широкую сферу применения, чем предыдущий, и основан на идеях, которые появились, но не были полностью разработаны в предыдущем. Последовательное чтение его книг позволяет проследить эволюцию его мышления.

Структурированное программирование Джексона

Структурированное программирование Джексона (JSP) было первым методом разработки программного обеспечения, разработанным Джексоном. Это метод разработки программ, описанный в его книге « Принципы разработки программ» . JSP охватывает разработку отдельных программ, но не систем.

Разработка системы Джексона

Разработка системы Джексона (JSD) была вторым методом разработки программного обеспечения, разработанным Джексоном. JSD - это метод разработки системы не только для отдельных программ, но и для всей системы. JSD наиболее легко применим к информационным системам, но его можно легко распространить на разработку встроенных систем реального времени. JSD был описан в его книге « Разработка системы» .

Подход с использованием проблемных рамок

Анализ проблем или подход проблемных фреймов был третьим методом разработки программного обеспечения, разработанным Джексоном. Он занимается аспектами разработки всех видов программного обеспечения, а не только информационных систем. Впервые он был описан в его книге « Требования к программному обеспечению и спецификации» , а более подробно описан в его книге « Фреймы проблем» . Первый международный семинар по применению и развитию проблемных фреймов был проведен в рамках ICSE'04 в Эдинбурге, Шотландия.

Публикации

Книги Майкла Джексона включают:

  • 1975. Принципы разработки программ ISBN  0-12-379050-6 .
  • 1983. ISBN разработки системы 0-13-880328-5 . 
  • 1995. Требования к программному обеспечению и спецификации ISBN  0-201-87712-0 .
  • 1997. Внедрение бизнес-процессов.
  • 2001. Фреймы проблем: анализ и структурирование проблем разработки программного обеспечения ISBN  0-201-59627-X .

Многие из его эссе вместе с исследовательскими работами, относящимися к его работе, собраны в книге:

использованная литература

внешние ссылки