Майкл А. Джексон (ученый-компьютерщик)
Майкл Энтони Джексон (родился 16 февраля 1936 г.) — британский ученый-компьютерщик и независимый консультант по информатике из Лондона, Англия. Он также является приглашенным профессором-исследователем в Открытом университете Великобритании. [1]
Биография
[ редактировать ]Джексон родился в Бирмингеме в семье Монтегю М. Джексона и Берты (Грин) Джексон. Он получил образование в школе Харроу в Харроу, Лондон, Англия. Там его обучал Кристофер Стрейчи , и под его руководством он написал свою первую программу. С 1954 по 1958 год он изучал классику (известную как « Великие ») в Мертон-колледже в Оксфорде ; [2] его сокурсником, на два года опередившим его, был КАР Хоар . У них был общий интерес к логике , которую изучали в рамках программы Greats в Оксфорде.
После окончания учебы в 1961 году Джексон начал работать в области компьютерных наук дизайнером и консультантом в компании Maxwell Stamp Associates в Лондоне. Здесь он спроектировал, закодировал и протестировал свои первые программы для компьютеров IBM и Honeywell , работая на ассемблере . Там Джексон нашел свое призвание, как он вспоминал в 2000 году: «Хотя я был внимательным дизайнером — тщательно рисовал блок-схемы перед кодированием — и добросовестным тестировщиком, я понимал, что проектирование программ — это сложно, а результаты могут быть ошибочными…» [3] Проектирование информационных систем нуждалось в структурированном подходе.
В 1964 году Джексон присоединился к новой консалтинговой фирме John Hoskyns and Company в Лондоне, а затем в 1971 году основал собственную компанию Michael Jackson Systems Limited. В 1960-х годах он начал поиск «более надежного и систематического способа программирования». [3] Он внес свой вклад в зарождающееся движение модульного программирования , встретившись с Ларри Константином , Джорджем Х. Мили и некоторыми другими на симпозиуме 1968 года. [3] В 1970-х годах Джексон разработал структурированное программирование Джексона (JSP). В 1980-х годах вместе с Джоном Кэмероном он разработал компанию Jackson System Development (JSD). Затем, в 1990-х годах, он разработал подход «Проблемные фреймы» .
Работая по совместительству исследователем в AT&T Labs Research , в сотрудничестве с Памелой Зейв Джексон создал «Распределенную композицию функций», [4] виртуальная архитектура для спецификации и реализации телекоммуникационных услуг.
Джексон получил премию Стивенса за методы разработки программного обеспечения в 1997 году. [5] Британского компьютерного общества и медаль Лавлейса в 1998 году. Он получил премию ACM SIGSOFT за выдающиеся исследования. [6] в 2001 году.
В 1961 году Джексон женился на Джудит Венди Блэкберн; [2] у них четверо сыновей, один из которых, Дэниел , также является ученым-компьютерщиком в Массачусетском технологическом институте . [7]
Работа
[ редактировать ]Джексон разработал ряд методов. Каждый из этих методов охватывает более широкую область применения, чем предыдущий, и основывается на идеях, появившихся, но не получивших полного развития в предыдущем. Последовательное чтение его книг позволяет проследить за эволюцией его мышления.
Структурное программирование Джексона
[ редактировать ]Структурное программирование Джексона (JSP) было первым методом разработки программного обеспечения, разработанным Джексоном. Это метод разработки программ, описанный в его книге «Принципы проектирования программ» . [8] JSP охватывает проектирование отдельных программ, но не систем.
Разработка системы Джексона
[ редактировать ]( Разработка системы Джексона JSD) была вторым методом разработки программного обеспечения, разработанным Джексоном. [9] JSD — это системный метод разработки не только отдельных программ, но и целых систем. JSD наиболее легко применим к информационным системам, но его можно легко расширить и для разработки встроенных систем реального времени. JSD был описан в его книге System Development .
Подход «Проблемные фреймы»
[ редактировать ]Анализ проблем или подход к фреймам проблем был третьим методом разработки программного обеспечения, разработанным Джексоном. Он касается аспектов разработки всех видов программного обеспечения, а не только информационных систем. Впервые это было описано в его книге « Требования и спецификации программного обеспечения» и гораздо более полно описано в его книге «Проблемные рамки» . Первый международный семинар по приложениям и достижениям в проблемных рамках [10] прошла в рамках 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 .
Многие из его эссе, а также исследовательские работы, касающиеся его творчества, собраны в книге:
- 2010. Требования и дизайн программного обеспечения: работа Майкла Джексона, Башара Нусейбе и Памелы Заве, редакторов. ISBN 978-0-557-44467-0
Ссылки
[ редактировать ]- ^ Майкл Джексон (не певец) Консультации и исследования в области разработки программного обеспечения . По состоянию на 24 апреля 2009 г.
- ^ Перейти обратно: а б Левенс, РГК, изд. (1964). Реестр Мертон-колледжа 1900–1964 гг . Оксфорд: Бэзил Блэквелл. п. 457.
- ^ Перейти обратно: а б с Джексон, Майкл (апрель – июнь 2000 г.). «Происхождение JSP и JSD: личные воспоминания». IEEE Annals of Software Engineering . 22 (2): 61–63, 66.
- ^ Распределенный состав функций - по состоянию на 28 августа 2018 г.
- ^ Предыдущие получатели Стивенса. Архивировано 7 марта 2009 г. в Wayback Machine . По состоянию на 24 апреля 2009 г.
- ^ «Награда за выдающиеся исследования» . СИГСОФТ . Проверено 1 апреля 2024 г.
- ^ Джексон, Дэниел. «Дэниел Джексон» . Страницы факультета CSAIL . Проверено 9 января 2009 г.
- ^ Джексон, Массачусетс (1975). Принципы проектирования программ . Академическое издательство, 1975 г.
- ^ Метод разработки системы . Архивировано 6 февраля 2012 года в Wayback Machine . М. А. Джексон, 1982 г.
- ^ «Первый международный семинар по приложениям и достижениям в проблемных рамках» . Архивировано из оригинала 17 августа 2007 года . Проверено 24 апреля 2009 г.
Внешние ссылки
[ редактировать ]
- 1936 рождений
- Живые люди
- Люди из Бирмингема, Уэст-Мидлендс
- Ученые из Уэст-Мидлендса (графство)
- Люди, получившие образование в школе Харроу
- Выпускники Мертон-колледжа Оксфорда
- Академики Открытого университета
- Британские программисты
- Британские ученые-компьютерщики
- Британские инженеры-программисты
- Писатели по информатике
- Формальные методы люди
- Исследователи в области программной инженерии