J. Anthony Hall
જે. એન્થની હોલ ફ્રેન્ગ એક અગ્રણી બ્રિટિશ સોફ્ટવેર એન્જિનિયર છે, જે ઔપચારિક પદ્ધતિઓ, ખાસ કરીને ઝેડ નોટેશનના ઉપયોગમાં વિશેષતા ધરાવે છે. એન્થની હોલે ઓક્સફર્ડ યુનિવર્સિટીમાં રસાયણશાસ્ત્રમાં બી. એ. અને સૈદ્ધાંતિક રસાયણશાસ્ત્રમાં ડીફિલ સાથે શિક્ષણ મેળવ્યું હતું. તેમના અનુગામી હોદ્દાઓમાં નીચેનાનો સમાવેશ થાય છેઃ ICI રિસર્ચ ફેલો, સૈદ્ધાંતિક રસાયણશાસ્ત્ર વિભાગ, યુનિવર્સિટી ઓફ શેફિલ્ડ (1971-1973) પ્રિન્સિપલ સાયન્ટિફિક ઓફિસર, બ્રિટિશ મ્યુઝિયમ રિસર્ચ લેબોરેટરી (1973-1980) સિનિયર કન્સલ્ટન્ટ, સિસ્ટમ્સ પ્રોગ્રામિંગ લિમિટેડ (1980-1984) પ્રિન્સિપલ કન્સલ્ટન્ટ, સિસ્ટમ્સ ડિઝાઇનર્સ (1984-1986) વિઝિટિંગ પ્રોફેસર, કાર્નેગી મેલોન યુનિવર્સિટી (1994) પ્રિન્સિપલ કન્સલ્ટન્ટ, પ્રેક્સિસ ક્રિટિકલ સિસ્ટમ્સ (1986-2004) ખાસ કરીને, હોલે યુકે નેશનલ એર ટ્રાફિક સર્વિસીસ (NATS) માટે ઔપચારિક પદ્ધતિઓનો ઉપયોગ કરીને સોફ્ટવેર ડેવલપમેન્ટ પર કામ કર્યું છે. તેઓ ઔપચારિક પદ્ધતિઓ, એન્જિનિયરિંગ અને સોફ્ટવેર એન્જિનિયરિંગની જરૂરિયાતો સાથે સંબંધિત પરિષદોમાં આમંત્રિત વક્તા રહ્યા છે. 2004થી હોલ સ્વતંત્ર સલાહકાર છે. તેઓ યોર્ક યુનિવર્સિટીમાં મુલાકાતી પ્રોફેસર પણ રહી ચૂક્યા છે. હોલ ફોરટીઆઈએ, ઔપચારિક તકનીકો ઉદ્યોગ સંગઠનના સ્થાપક અધ્યક્ષ હતા. પસંદ કરેલા પ્રકાશનો એન્થોની હોલ, સેવેન મિથ્સ ઓફ ફોર્મલ મેથડ્સ, IEEE સોફ્ટવેર, સપ્ટેમ્બર 1990, pp. 11-19. એન્થોની હોલ અને રોડરિક ચેપમેન, કરેક્ટનેસ બાય કન્સ્ટ્રક્શનઃ ડેવલપિંગ અ કોમર્શિયલ સિક્યોર સિસ્ટમ, IEEE સોફ્ટવેર, જાન્યુઆરી/ફેબ્રુઆરી 2002, pp. 18-25. સંદર્ભો કારકિર્દી ઇતિહાસ બાહ્ય કડીઓ એન્થોની હોલ વેબસાઇટ જીવંત લોકો બ્રિટિશ કમ્પ્યુટર પ્રોગ્રામરો બ્રિટિશ કમ્પ્યુટર વૈજ્ઞાનિકો ઔપચારિક પદ્ધતિઓ લોકો રોયલ એકેડેમી ઓફ એન્જિનિયરિંગના ફેલો બ્રિટિશ કમ્પ્યુટર સોસાયટીના ફેલો ઓક્સફર્ડ યુનિવર્સિટીના ભૂતપૂર્વ વિદ્યાર્થીઓ શેફિલ્ડ યુનિવર્સિટીના બ્રિટિશ મ્યુઝિયમના વિદ્વાનો બ્રિટિશ સોફ્ટવેર ઇજનેરો જન્મ વર્ષ ગુમ (જીવંત લોકો)