Michael A. Jackson (computer Scientist)
   HOME

TheInfoList



OR:

Michael Anthony Jackson (born 16 February 1936) is a British
computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (al ...
, and independent
computing Computing is any goal-oriented activity requiring, benefiting from, or creating computing machinery. It includes the study and experimentation of algorithmic processes, and development of both hardware and software. Computing has scientific, e ...
consultant in
London London is the capital and largest city of England and the United Kingdom, with a population of just under 9 million. It stands on the River Thames in south-east England at the head of a estuary down to the North Sea, and has been a majo ...
, England. He is also a visiting research
professor Professor (commonly abbreviated as Prof.) is an Academy, academic rank at university, universities and other post-secondary education and research institutions in most countries. Literally, ''professor'' derives from Latin as a "person who pr ...
at the
Open University The Open University (OU) is a British public research university and the largest university in the United Kingdom by number of students. The majority of the OU's undergraduate students are based in the United Kingdom and principally study off- ...
in the UK.


Biography

Born in
Birmingham Birmingham ( ) is a city and metropolitan borough in the metropolitan county of West Midlands in England. It is the second-largest city in the United Kingdom with a population of 1.145 million in the city proper, 2.92 million in the West ...
to Montagu M. Jackson and Bertha (Green) Jackson, Jackson was educated at
Harrow School (The Faithful Dispensation of the Gifts of God) , established = (Royal Charter) , closed = , type = Public schoolIndependent schoolBoarding school , religion = Church of E ...
in Harrow, London, England. There he was taught by
Christopher Strachey Christopher S. Strachey (; 16 November 1916 – 18 May 1975) was a British computer scientist. He was one of the founders of denotational semantics, and a pioneer in programming language design and computer time-sharing.F. J. Corbató, et al., ...
and wrote his first program under Strachey's guidance. From 1954 to 1958, he studied classics (known as " Greats") at
Merton College, Oxford Merton College (in full: The House or College of Scholars of Merton in the University of Oxford) is one of the Colleges of Oxford University, constituent colleges of the University of Oxford in England. Its foundation can be traced back to the ...
; a fellow student, two years ahead of him, was
C. A. R. Hoare Sir Charles Antony Richard Hoare (Tony Hoare or C. A. R. Hoare) (born 11 January 1934) is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and c ...
. They shared an interest in
logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises ...
, which was studied as part of Greats at Oxford. After his graduation in 1961, Jackson started as
computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...
designer and consultant for Maxwell Stamp Associates in
London London is the capital and largest city of England and the United Kingdom, with a population of just under 9 million. It stands on the River Thames in south-east England at the head of a estuary down to the North Sea, and has been a majo ...
. Here he designed, coded and tested his first programs for IBM and
Honeywell Honeywell International Inc. is an American publicly traded, multinational conglomerate corporation headquartered in Charlotte, North Carolina. It primarily operates in four areas of business: aerospace, building technologies, performance ma ...
computers, working in
assembler Assembler may refer to: Arts and media * Nobukazu Takemura, avant-garde electronic musician, stage name Assembler * Assemblers, a fictional race in the ''Star Wars'' universe * Assemblers, an alternative name of the superhero group Champions of A ...
. There Jackson found his calling, as he recollected in 2000: "Although I was a careful designer — drawing meticulous flowcharts before coding — and a conscientious tester, I realised that program design was hard and the results likely to be erroneous..." Information system design was in need of a structured approach. In 1964, Jackson joined the new consultancy firm John Hoskyns and Company in London, before founding his own company Michael Jackson Systems Limited in 1971. In the 1960s, he had started his search for a "more reliable and systematic way of programming." He contributed to the emerging
modular programming Modular programming is a software design technique that emphasizes separating the functionality of a program into independent, interchangeable modules, such that each contains everything necessary to execute only one aspect of the desired function ...
movement, meeting
Larry Constantine Larry LeRoy Constantine (born 1943) is an American software engineer, professor in the Center for Exact Sciences and Engineering at the University of Madeira Portugal, and considered one of the pioneers of computing. He has contributed numerous c ...
, George H. Mealy and several others on a 1968 symposium. In the 1970s, Jackson developed Jackson Structured Programming (JSP). In the 1980s, with John Cameron, he developed
Jackson System Development Jackson System Development (JSD) is a linear software development methodology In software engineering, a software development process is a process of dividing software development work into smaller, parallel, or sequential steps or sub-processe ...
(JSD). Then, in the 1990s, he developed the Problem Frames Approach. As a part-time researcher at
AT&T Labs Research AT&T Labs is the research & development division of AT&T, the telecommunications company. It employs some 1,800 people in various locations, including: Bedminster NJ; Middletown, NJ; Manhattan, NY; Warrenville, IL; Austin, TX; Dallas, TX; Atla ...
, in collaboration with
Pamela Zave Pamela Zave (born 1948) is an American computer scientist now working at Princeton University. She is known for her work on requirements engineering, telecommunication services, and protocol modeling and verification, and is now working on network ...
, Jackson created "Distributed Feature Composition", a virtual architecture for specification and implementation of telecommunication services. Jackson received the Stevens Award for Software Development Methods in 1997. and British Computer Society
Lovelace Medal The Lovelace Medal was established by the British Computer Society in 1998, and is presented to individuals who have made outstanding contributions to the understanding or advancement of computing. It is the top award in computing in the UK. Award ...
in 1998. In 1961, Jackson married Judith Wendy Blackburn; they have four sons, one of whom,
Daniel Daniel is a masculine given name and a surname of Hebrew origin. It means "God is my judge"Hanks, Hardcastle and Hodges, ''Oxford Dictionary of First Names'', Oxford University Press, 2nd edition, , p. 68. (cf. Gabriel—"God is my strength" ...
, is also a computer scientist based at
MIT The Massachusetts Institute of Technology (MIT) is a private land-grant research university in Cambridge, Massachusetts. Established in 1861, MIT has played a key role in the development of modern technology and science, and is one of the m ...
.


Work

Jackson has developed a series of methods. Each of these methods covers a wider scope than the previous one, and builds on ideas that appeared, but were not fully developed, in the previous one. Reading his books in sequence allows you to follow the evolution of his thinking.


Jackson Structured Programming

Jackson Structured Programming (JSP) was the first software development method that Jackson developed. It is a program design method, and was described in his book ''Principles of Program Design''.Jackson, M. A. (1975). ''Principles of Program Design''. Academic Press, 1975 JSP covers the design of individual programs, but not systems.


Jackson System Development

The
Jackson System Development Jackson System Development (JSD) is a linear software development methodology In software engineering, a software development process is a process of dividing software development work into smaller, parallel, or sequential steps or sub-processe ...
(JSD) was the second software development method that Jackson developed. JSD is a system development method not just for individual programs, but for entire systems. JSD is most readily applicable to information systems, but it can easily be extended to the development of real-time embedded systems. JSD was described in his book ''System Development''.


Problem Frames Approach

Problem Analysis or the Problem Frames Approach was the third software development method that Jackson developed. It concerns itself with aspects of developing all kinds of software, not just information systems. It was first sketched in his book ''Software Requirements and Specifications'', and described much more fully in his book ''Problem Frames''. The First International Workshop on Applications and Advances in Problem FramesFirst International Workshop on Applications and Advances in Problem Frames
/ref> was held as part of ICSE’04 held in Edinburgh, Scotland.


Publications

Michael Jackson's books include: * 1975. ''Principles of Program Design'' . * 1983. ''System Development'' . * 1995. ''Software Requirements & Specifications'' . * 1997. ''Business Process Implementation'' * 2001. ''Problem Frames: Analysing and Structuring Software Development Problems'' . Many of his essays have been collected, along with research papers relating to his work, in the book: * 2010. ''Software Requirements and Design: The Work of Michael Jackson,''
Bashar Nuseibeh Bashar (Arabic: ) is a given name, surname, and place name. Bashar may refer to: Places * Bashar, Iran, a village in Qazvin Province, Iran * Bashar, Plateau State, a village in the Wase local Government Area of Plateau State In Nigeria * Bécha ...
and
Pamela Zave, Pamela may refer to: *''Pamela; or, Virtue Rewarded'', a novel written by Samuel Richardson in 1740 *Pamela (name), a given name and, rarely, a surname *Pamela Spence, a Turkish pop-rock singer. Known as her stage name "Pamela" * MSC ''Pamela'', ...
editors.


References


External links


Michael Jackson home page



The World and the Machine
software engineering blog by Michael Jackson {{DEFAULTSORT:Jackson, Michael A. 1936 births Living people People from Birmingham, West Midlands People educated at Harrow School Alumni of Merton College, Oxford Academics of the Open University British computer programmers British computer scientists British software engineers Computer science writers Formal methods people Software engineering researchers