J. Anthony Hall
جے انتھونی ہال فرینگ ایک سرکردہ برطانوی سافٹ ویئر انجینئر ہے جو رسمی طریقوں، خاص طور پر زیڈ نوٹیشن کے استعمال میں مہارت رکھتا ہے۔ انتھونی ہال نے آکسفورڈ یونیورسٹی میں کیمسٹری میں بی اے اور نظریاتی کیمسٹری میں ڈی فل کے ساتھ تعلیم حاصل کی۔ ان کے بعد کے عہدوں میں شامل ہیں: آئی سی آئی ریسرچ فیلو، شعبہ نظریاتی کیمسٹری، یونیورسٹی آف شیفیلڈ (1971-1973) پرنسپل سائنٹیفک آفیسر، برٹش میوزیم ریسرچ لیبارٹری (1973-1980) سینئر کنسلٹنٹ، سسٹمز پروگرامنگ لمیٹڈ (1980-1984) پرنسپل کنسلٹنٹ، سسٹمز ڈیزائنرز (1984-1986) وزٹنگ پروفیسر، کارنیگی میلن یونیورسٹی (1994) پرنسپل کنسلٹنٹ، پراکسس کریٹیکل سسٹمز (1986-2004) خاص طور پر ہال نے یوکے نیشنل ایئر ٹریفک سروسز (NATS) کے رسمی طریقوں کا استعمال کرتے ہوئے سافٹ ویئر ڈویلپمنٹ پر کام کیا ہے۔ وہ رسمی طریقوں، ضروریات انجینئرنگ اور سافٹ ویئر انجینئرنگ سے متعلق کانفرنسوں میں مدعو اسپیکر رہے ہیں۔ 2004 سے ہال ایک آزاد مشیر رہے ہیں۔ وہ یونیورسٹی آف یارک میں وزٹنگ پروفیسر بھی رہ چکے ہیں۔ ہال فارمل ٹیکنیکس انڈسٹری ایسوسی ایشن، فورٹییا کے بانی صدر تھے۔ منتخب اشاعتیں انتھونی ہال، سات خرافات برائے رسمی طریقے، آئی ای ای ای سافٹ ویئر، ستمبر 1990، پی پی۔ 11-19۔ انتھونی ہال اور روڈرک چیپ مین، کریکٹنیس بائی کنسٹرکشن: ڈویلپنگ اے کمرشل سیکیور سسٹم، آئی ای ای ای سافٹ ویئر، جنوری/فروری 2002، پی۔ حوالہ جات کیریئر کی تاریخ بیرونی روابط انتھونی ہال ویب سائٹ زندہ لوگ برطانوی کمپیوٹر پروگرامر برطانوی کمپیوٹر سائنس دان رسمی طریقے لوگ رائل اکیڈمی آف انجینئرنگ کے فیلوز برٹش کمپیوٹر سوسائٹی کے فیلوز آکسفورڈ یونیورسٹی کے سابق طلباء یونیورسٹی آف شیفیلڈ کے برٹش میوزیم کے ماہرین تعلیم برطانوی سافٹ ویئر انجینئرز پیدائش کا سال لاپتہ (زندہ لوگ)