J. Anthony Hall
জে. অ্যান্থনি হল ফ্রেং একজন শীর্ষস্থানীয় ব্রিটিশ সফ্টওয়্যার ইঞ্জিনিয়ার যিনি আনুষ্ঠানিক পদ্ধতি, বিশেষত জেড নোটেশন ব্যবহারে বিশেষজ্ঞ। অ্যান্থনি হল অক্সফোর্ড বিশ্ববিদ্যালয়ে রসায়নে বিএ এবং তাত্ত্বিক রসায়নে ডিফিল নিয়ে পড়াশোনা করেছিলেন। তাঁর পরবর্তী পদগুলির মধ্যে রয়েছেঃ আইসিআই রিসার্চ ফেলো, তাত্ত্বিক রসায়ন বিভাগ, শেফিল্ড বিশ্ববিদ্যালয় (1971-1973) প্রধান বৈজ্ঞানিক কর্মকর্তা, ব্রিটিশ মিউজিয়াম রিসার্চ ল্যাবরেটরি (1973-1980) সিনিয়র পরামর্শদাতা, সিস্টেম প্রোগ্রামিং লিমিটেড (1980-1984) প্রধান পরামর্শদাতা, সিস্টেম ডিজাইনার (1984-1986) ভিজিটিং অধ্যাপক, কার্নেগি মেলন বিশ্ববিদ্যালয় (1994) প্রধান পরামর্শদাতা, প্র্যাক্সিস ক্রিটিক্যাল সিস্টেমস (1986-2004) বিশেষত, হল ইউকে ন্যাশনাল এয়ার ট্র্যাফিক সার্ভিসেস (এনএটিএস)-এর জন্য আনুষ্ঠানিক পদ্ধতি ব্যবহার করে সফ্টওয়্যার বিকাশের উপর কাজ করেছেন। আনুষ্ঠানিক পদ্ধতি, প্রয়োজনীয় প্রকৌশল এবং সফ্টওয়্যার প্রকৌশল সম্পর্কিত সম্মেলনে তিনি আমন্ত্রিত বক্তা ছিলেন। 2004 সাল থেকে হল একজন স্বাধীন পরামর্শদাতা। তিনি ইয়র্ক বিশ্ববিদ্যালয়ের একজন ভিজিটিং অধ্যাপকও ছিলেন। হল ফরমাল টেকনিকস ইন্ডাস্ট্রি অ্যাসোসিয়েশন, ফোরটিআইএ-র প্রতিষ্ঠাতা সভাপতি ছিলেন। নির্বাচিত প্রকাশনা অ্যান্থনি হল, সেভেন মিথস অফ ফরমাল মেথডস, আই. ই. ই. ই সফ্টওয়্যার, সেপ্টেম্বর 1990, পৃ. 11-19। অ্যান্থনি হল এবং রডেরিক চ্যাপম্যান, করেক্টনেস বাই কনস্ট্রাকশনঃ ডেভেলপিং এ কমার্শিয়াল সিকিউর সিস্টেম, আই. ই. ই. ই সফ্টওয়্যার, জানুয়ারি/ফেব্রুয়ারি 2002, পৃ. 18-25। তথ্যসূত্র কর্মজীবনের ইতিহাস বহিরাগত লিঙ্ক অ্যান্থনি হল ওয়েবসাইট জীবিত মানুষ ব্রিটিশ কম্পিউটার প্রোগ্রামার ব্রিটিশ কম্পিউটার বিজ্ঞানীরা আনুষ্ঠানিক পদ্ধতি মানুষ ব্রিটিশ কম্পিউটার সোসাইটির রয়্যাল অ্যাকাডেমি অফ ইঞ্জিনিয়ারিং ফেলো অক্সফোর্ড বিশ্ববিদ্যালয়ের প্রাক্তন ছাত্র শেফিল্ড বিশ্ববিদ্যালয়ের ব্রিটিশ মিউজিয়াম অ্যাকাডেমিক্সের কর্মচারী ব্রিটিশ সফ্টওয়্যার ইঞ্জিনিয়ারদের জন্মের বছর নিখোঁজ (জীবিত মানুষ)