Knowledge (XXG)

Michael A. Jackson (computer scientist)

Source đź“ť

1093: 1083: 194:(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 89:. 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. 166:
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.
96:
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
210:
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
1132: 1127: 569: 1177: 1147: 1142: 1137: 485: 132:, Jackson created "Distributed Feature Composition", a virtual architecture for specification and implementation of telecommunication services. 1152: 952: 881: 313: 1157: 775: 678: 218:. The First International Workshop on Applications and Advances in Problem Frames was held as part of ICSE’04 held in Edinburgh, Scotland. 502: 1162: 151: 562: 178:(JSP) was the first software development method that Jackson developed. It is a program design method, and was described in his book 1167: 755: 622: 607: 286: 266: 252: 238: 1172: 1086: 911: 838: 828: 673: 602: 175: 110: 962: 400: 1096: 891: 833: 555: 93: 77:
designer and consultant for Maxwell Stamp Associates in London. Here he designed, coded and tested his first programs for
901: 760: 627: 823: 818: 632: 1018: 866: 861: 813: 790: 770: 191: 114: 1023: 1013: 926: 725: 708: 617: 536: 876: 720: 207: 118: 1122: 931: 688: 683: 59: 54:
and wrote his first program under Strachey's guidance. From 1954 to 1958, he studied classics (known as "
750: 703: 125: 482: 293:
Many of his essays have been collected, along with research papers relating to his work, in the book:
1117: 1048: 886: 745: 735: 647: 592: 578: 301: 51: 1068: 1053: 921: 785: 693: 637: 98: 305: 1058: 698: 23: 972: 730: 506: 309: 282: 262: 248: 234: 102: 86: 1043: 987: 765: 657: 652: 74: 368:
Jackson, Michael (April–June 2000). "The Origins of JSP and JSD: a Personal Recollection".
1063: 916: 896: 780: 642: 489: 404: 106: 31: 967: 871: 612: 140: 63: 417: 1111: 947: 715: 136: 47: 982: 977: 906: 333:
Michael Jackson (not the singer) Consultancy & Research in Software Development
150:
In 1961, Jackson married Judith Wendy Blackburn; they have four sons, one of whom,
144: 129: 30:
consultant in London, England. He is also a visiting research professor at the
992: 957: 43: 503:"First International Workshop on Applications and Advances in Problem Frames" 397: 82: 27: 46:
to Montagu M. Jackson and Bertha (Green) Jackson, Jackson was educated at
740: 541: 109:
and several others on a 1968 symposium. In the 1970s, Jackson developed
547: 422: 280:
Problem Frames: Analysing and Structuring Software Development Problems
139:
for Software Development Methods in 1997. and British Computer Society
597: 531: 386: 332: 55: 445: 797: 67: 182:. JSP covers the design of individual programs, but not systems. 1008: 551: 299:
Software Requirements and Design: The Work of Michael Jackson,
155: 78: 387:
Distributed Feature Composition - Accessed 28 August 2018
113:(JSP). In the 1980s, with John Cameron, he developed 1036: 1001: 940: 854: 847: 806: 666: 585: 50:in Harrow, London, England. There he was taught by 92:In 1964, Jackson joined the new consultancy firm 73:After his graduation in 1961, Jackson started as 70:, which was studied as part of Greats at Oxford. 62:; a fellow student, two years ahead of him, was 563: 8: 544:software engineering blog by Michael Jackson 214:, and described much more fully in his book 117:(JSD). Then, in the 1990s, he developed the 1133:Scientists from the West Midlands (county) 851: 570: 556: 548: 260:Software Requirements & Specifications 761:Software development process/methodology 537:The Jackson Software Development Methods 212:Software Requirements and Specifications 154:, is also a computer scientist based at 363: 361: 359: 352:. Oxford: Basil Blackwell. p. 457. 343: 341: 325: 1128:People from Birmingham, West Midlands 22:(born 16 February 1936) is a British 7: 1082: 776:Software verification and validation 679:Component-based software engineering 147:Outstanding Research Award in 2001. 370:IEEE Annals of Software Engineering 14: 756:Software configuration management 623:Search-based software engineering 608:Experimental software engineering 350:Merton College Register 1900–1964 226:Michael Jackson's books include: 1178:Software engineering researchers 1148:Academics of the Open University 1143:Alumni of Merton College, Oxford 1138:People educated at Harrow School 1092: 1091: 1081: 274:Business Process Implementation 603:Empirical software engineering 176:Jackson Structured Programming 171:Jackson Structured Programming 111:Jackson Structured Programming 1: 124:As a part-time researcher at 66:. They shared an interest in 1153:British computer programmers 628:Site reliability engineering 471:Principles of Program Design 418:"Outstanding Research Award" 348:Levens, R.G.C., ed. (1964). 232:Principles of Program Design 180:Principles of Program Design 1158:British computer scientists 633:Social software engineering 483:A System development method 398:Previous Stevens Recipients 1194: 1163:British software engineers 771:Software quality assurance 192:Jackson System Development 186:Jackson System Development 115:Jackson System Development 16:British computer scientist 1077: 542:The World and the Machine 532:Michael Jackson home page 407:. Accessed 24 April 2009. 335:. Accessed 24 April 2009. 143:in 1998. He received the 1168:Computer science writers 927:Model-driven engineering 726:Functional specification 709:Software incompatibility 618:Requirements engineering 206:Problem Analysis or the 128:, in collaboration with 94:John Hoskyns and Company 721:Enterprise architecture 488:6 February 2012 at the 469:Jackson, M. A. (1975). 208:Problem Frames Approach 202:Problem Frames Approach 119:Problem Frames Approach 20:Michael Anthony Jackson 932:Round-trip engineering 689:Backward compatibility 684:Software compatibility 473:. Academic Press, 1975 126:AT&T Labs Research 85:computers, working in 60:Merton College, Oxford 1173:Formal methods people 751:Software architecture 704:Forward compatibility 492:. M. A. Jackson, 1982 135:Jackson received the 1049:Computer engineering 746:Software archaeology 736:Programming paradigm 648:Software maintenance 593:Computer programming 579:Software engineering 403:7 March 2009 at the 52:Christopher Strachey 1069:Systems engineering 1054:Information science 834:Service orientation 786:Structured analysis 694:Compatibility layer 638:Software deployment 450:CSAIL Faculty Pages 99:modular programming 1059:Project management 824:Object orientation 791:Essential analysis 699:Compatibility mode 246:System Development 196:System Development 101:movement, meeting 26:, and independent 24:computer scientist 1105: 1104: 1032: 1031: 973:Information model 877:Incremental model 731:Modeling language 509:on 17 August 2007 444:Jackson, Daniel. 314:978-0-557-44467-0 103:Larry Constantine 1185: 1095: 1094: 1085: 1084: 1044:Computer science 852: 766:Software quality 658:Systems analysis 653:Software testing 572: 565: 558: 549: 519: 518: 516: 514: 505:. Archived from 499: 493: 480: 474: 467: 461: 460: 458: 456: 446:"Daniel Jackson" 441: 435: 434: 432: 430: 414: 408: 395: 389: 384: 378: 377: 365: 354: 353: 345: 336: 330: 75:computer science 1193: 1192: 1188: 1187: 1186: 1184: 1183: 1182: 1108: 1107: 1106: 1101: 1073: 1064:Risk management 1028: 997: 936: 917:Waterfall model 887:Prototype model 882:Iterative model 843: 819:Aspect-oriented 802: 781:Software system 662: 643:Software design 581: 576: 528: 523: 522: 512: 510: 501: 500: 496: 490:Wayback Machine 481: 477: 468: 464: 454: 452: 443: 442: 438: 428: 426: 416: 415: 411: 405:Wayback Machine 396: 392: 385: 381: 376:(2): 61–63, 66. 367: 366: 357: 347: 346: 339: 331: 327: 322: 302:Bashar Nuseibeh 224: 204: 188: 173: 164: 107:George H. Mealy 40: 32:Open University 17: 12: 11: 5: 1191: 1189: 1181: 1180: 1175: 1170: 1165: 1160: 1155: 1150: 1145: 1140: 1135: 1130: 1125: 1120: 1110: 1109: 1103: 1102: 1100: 1099: 1089: 1078: 1075: 1074: 1072: 1071: 1066: 1061: 1056: 1051: 1046: 1040: 1038: 1037:Related fields 1034: 1033: 1030: 1029: 1027: 1026: 1021: 1016: 1011: 1005: 1003: 999: 998: 996: 995: 990: 985: 980: 975: 970: 968:Function model 965: 960: 955: 950: 944: 942: 938: 937: 935: 934: 929: 924: 919: 914: 909: 904: 899: 894: 889: 884: 879: 874: 872:Executable UML 869: 864: 858: 856: 849: 845: 844: 842: 841: 836: 831: 826: 821: 816: 810: 808: 804: 803: 801: 800: 795: 794: 793: 783: 778: 773: 768: 763: 758: 753: 748: 743: 738: 733: 728: 723: 718: 713: 712: 711: 706: 701: 696: 691: 681: 676: 670: 668: 664: 663: 661: 660: 655: 650: 645: 640: 635: 630: 625: 620: 615: 613:Formal methods 610: 605: 600: 595: 589: 587: 583: 582: 577: 575: 574: 567: 560: 552: 546: 545: 539: 534: 527: 526:External links 524: 521: 520: 494: 475: 462: 436: 409: 390: 379: 355: 337: 324: 323: 321: 318: 317: 316: 291: 290: 276: 270: 256: 242: 223: 220: 216:Problem Frames 203: 200: 187: 184: 172: 169: 163: 160: 141:Lovelace Medal 64:C. A. R. Hoare 39: 36: 15: 13: 10: 9: 6: 4: 3: 2: 1190: 1179: 1176: 1174: 1171: 1169: 1166: 1164: 1161: 1159: 1156: 1154: 1151: 1149: 1146: 1144: 1141: 1139: 1136: 1134: 1131: 1129: 1126: 1124: 1123:Living people 1121: 1119: 1116: 1115: 1113: 1098: 1090: 1088: 1080: 1079: 1076: 1070: 1067: 1065: 1062: 1060: 1057: 1055: 1052: 1050: 1047: 1045: 1042: 1041: 1039: 1035: 1025: 1022: 1020: 1017: 1015: 1012: 1010: 1007: 1006: 1004: 1000: 994: 991: 989: 988:Systems model 986: 984: 981: 979: 976: 974: 971: 969: 966: 964: 961: 959: 956: 954: 951: 949: 946: 945: 943: 939: 933: 930: 928: 925: 923: 920: 918: 915: 913: 910: 908: 905: 903: 900: 898: 895: 893: 890: 888: 885: 883: 880: 878: 875: 873: 870: 868: 865: 863: 860: 859: 857: 855:Developmental 853: 850: 846: 840: 837: 835: 832: 830: 827: 825: 822: 820: 817: 815: 812: 811: 809: 805: 799: 796: 792: 789: 788: 787: 784: 782: 779: 777: 774: 772: 769: 767: 764: 762: 759: 757: 754: 752: 749: 747: 744: 742: 739: 737: 734: 732: 729: 727: 724: 722: 719: 717: 716:Data modeling 714: 710: 707: 705: 702: 700: 697: 695: 692: 690: 687: 686: 685: 682: 680: 677: 675: 672: 671: 669: 665: 659: 656: 654: 651: 649: 646: 644: 641: 639: 636: 634: 631: 629: 626: 624: 621: 619: 616: 614: 611: 609: 606: 604: 601: 599: 596: 594: 591: 590: 588: 584: 580: 573: 568: 566: 561: 559: 554: 553: 550: 543: 540: 538: 535: 533: 530: 529: 525: 508: 504: 498: 495: 491: 487: 484: 479: 476: 472: 466: 463: 451: 447: 440: 437: 425: 424: 419: 413: 410: 406: 402: 399: 394: 391: 388: 383: 380: 375: 371: 364: 362: 360: 356: 351: 344: 342: 338: 334: 329: 326: 319: 315: 311: 307: 303: 300: 296: 295: 294: 288: 287:0-201-59627-X 284: 281: 277: 275: 271: 268: 267:0-201-87712-0 264: 261: 257: 254: 253:0-13-880328-5 250: 247: 243: 240: 239:0-12-379050-6 236: 233: 229: 228: 227: 221: 219: 217: 213: 209: 201: 199: 197: 193: 185: 183: 181: 177: 170: 168: 161: 159: 157: 153: 148: 146: 142: 138: 137:Stevens Award 133: 131: 127: 122: 120: 116: 112: 108: 104: 100: 95: 90: 88: 84: 80: 76: 71: 69: 65: 61: 57: 53: 49: 48:Harrow School 45: 37: 35: 33: 29: 25: 21: 983:Object model 978:Metamodeling 907:Spiral model 807:Orientations 511:. Retrieved 507:the original 497: 478: 470: 465: 453:. Retrieved 449: 439: 427:. Retrieved 421: 412: 393: 382: 373: 369: 349: 328: 306:Pamela Zave, 298: 292: 279: 273: 259: 245: 231: 225: 222:Publications 215: 211: 205: 195: 189: 179: 174: 165: 149: 134: 123: 91: 72: 41: 19: 18: 1118:1936 births 674:Abstraction 145:ACM SIGSOFT 130:Pamela Zave 34:in the UK. 1112:Categories 993:View model 958:Data model 320:References 44:Birmingham 1002:Languages 455:9 January 308:editors. 87:assembler 83:Honeywell 38:Biography 28:computing 1097:Category 963:ER model 829:Ontology 741:Software 667:Concepts 513:24 April 486:Archived 401:Archived 42:Born in 1087:Commons 912:V-model 429:1 April 423:SIGSOFT 848:Models 598:DevOps 586:Fields 312:  297:2010. 285:  278:2001. 272:1997. 265:  258:1995. 251:  244:1983. 237:  230:1975. 152:Daniel 58:") at 56:Greats 1024:SysML 948:SPICE 941:Other 902:Scrum 862:Agile 814:Agile 798:CI/CD 68:logic 1009:IDEF 953:CMMI 839:SDLC 515:2009 457:2009 431:2024 310:ISBN 304:and 283:ISBN 263:ISBN 249:ISBN 235:ISBN 190:The 162:Work 81:and 1019:USL 1014:UML 892:RAD 867:EUP 156:MIT 121:. 79:IBM 1114:: 922:XP 897:UP 448:. 420:. 374:22 372:. 358:^ 340:^ 198:. 158:. 105:, 571:e 564:t 557:v 517:. 459:. 433:. 289:. 269:. 255:. 241:.

Index

computer scientist
computing
Open University
Birmingham
Harrow School
Christopher Strachey
Greats
Merton College, Oxford
C. A. R. Hoare
logic
computer science
IBM
Honeywell
assembler
John Hoskyns and Company
modular programming
Larry Constantine
George H. Mealy
Jackson Structured Programming
Jackson System Development
Problem Frames Approach
AT&T Labs Research
Pamela Zave
Stevens Award
Lovelace Medal
ACM SIGSOFT
Daniel
MIT
Jackson Structured Programming
Jackson System Development

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.

↑