Michael Anthony Jackson (nacido el 16 de febrero de 1936) es un informático británico y consultor informático independiente en Londres, Inglaterra. También es profesor visitante de investigación en la Open University del Reino Unido. [1]
Nacido en Birmingham, hijo de Montagu M. Jackson y Bertha (Green) Jackson, Jackson se educó en la Harrow School de Harrow, Londres, Inglaterra. Allí recibió clases de Christopher Strachey y escribió su primer programa bajo la guía de Strachey. De 1954 a 1958, estudió clásicos (conocidos como " Grandes ") en el Merton College, Oxford ; [2] un compañero de estudios, dos años por delante de él, fue CAR Hoare . Compartían un interés por la lógica , que se estudiaba como parte de los Grandes en Oxford.
Después de graduarse en 1961, Jackson empezó a trabajar como diseñador y consultor informático para Maxwell Stamp Associates en Londres. Allí diseñó, codificó y probó sus primeros programas para computadoras IBM y Honeywell , trabajando en ensamblador . Allí Jackson encontró su vocación, como recordaba en 2000: "Aunque era un diseñador cuidadoso (dibujaba diagramas de flujo meticulosos antes de codificar) y un probador concienzudo, me di cuenta de que el diseño de programas era difícil y que los resultados probablemente serían erróneos..." [3] El diseño de sistemas de información necesitaba un enfoque estructurado.
En 1964, Jackson se unió a la nueva firma de consultoría John Hoskyns and Company en Londres, antes de fundar su propia compañía Michael Jackson Systems Limited en 1971. En la década de 1960, había comenzado su búsqueda de una "forma más confiable y sistemática de programar". [3] Contribuyó al movimiento emergente de programación modular , conociendo a Larry Constantine , George H. Mealy y varios otros en un simposio de 1968. [3] En la década de 1970, Jackson desarrolló Jackson Structured Programming (JSP). En la década de 1980, con John Cameron, desarrolló Jackson System Development (JSD). Luego, en la década de 1990, desarrolló el Problem Frames Approach .
Como investigador a tiempo parcial en AT&T Labs Research , en colaboración con Pamela Zave , Jackson creó "Distributed Feature Composition", [4] una arquitectura virtual para la especificación e implementación de servicios de telecomunicaciones.
Jackson recibió el Premio Stevens por Métodos de Desarrollo de Software en 1997. [5] y la Medalla Lovelace de la British Computer Society en 1998. Recibió el Premio a la Investigación Destacada ACM SIGSOFT [6] en 2001.
En 1961, Jackson se casó con Judith Wendy Blackburn; [2] tienen cuatro hijos, uno de los cuales, Daniel , también es un científico informático con sede en el MIT . [7]
Jackson ha desarrollado una serie de métodos. Cada uno de ellos cubre un ámbito más amplio que el anterior y se basa en ideas que aparecieron en el anterior, pero que no se desarrollaron por completo. La lectura de sus libros en secuencia permite seguir la evolución de su pensamiento.
Jackson Structured Programming (JSP) fue el primer método de desarrollo de software que desarrolló Jackson. Es un método de diseño de programas y se describió en su libro Principles of Program Design . [8] JSP cubre el diseño de programas individuales, pero no de sistemas.
El método de desarrollo de sistemas Jackson (JSD) fue el segundo método de desarrollo de software que desarrolló Jackson. [9] JSD es un método de desarrollo de sistemas no solo para programas individuales, sino para sistemas completos. JSD se aplica más fácilmente a los sistemas de información, pero se puede extender fácilmente al desarrollo de sistemas integrados en tiempo real. JSD se describió en su libro System Development .
El tercer método de desarrollo de software que desarrolló Jackson fue el análisis de problemas o el enfoque de marcos de problemas . Se ocupa de aspectos del desarrollo de todo tipo de software, no solo de los sistemas de información. Fue esbozado por primera vez en su libro Requisitos y especificaciones de software , y descrito con mucho más detalle en su libro Marcos de problemas . El primer taller internacional sobre aplicaciones y avances en marcos de problemas [10] se celebró como parte de ICSE'04 en Edimburgo, Escocia.
Los libros de Michael Jackson incluyen:
Muchos de sus ensayos se han recopilado, junto con trabajos de investigación relacionados con su obra, en el libro: