نص الويكي الجديد للصفحة، بعد التعديل (new_wikitext) | '
[[Category:Articles with hCards]]
{{صندوق معلومات شخص
| الاسم الأصلي = 何積豐
| تاريخ الولادة = اغسطس 1943
| لغة الاسم الأصلي = CHI
| مشرفون أكاديميون = [[توني هور]]
| موظف = جامعة شرق الصين الاعتيادية،
[[جامعة أكسفورد]]،
[[جامعة شانغهاي جياو تونغ]]،
[[جامعة الأمم المتحدة]]
| تخصص أكاديمي = [[علم الحاسوب]]، [[طريقة شكلية]]
| المدرسة الأم = [[جامعة فودان]]
| الجنسية = [[الصين]]
| مكان الولادة = [[شانغهاي]]، [[الصين]]
}}
'''هي جيفنغ''' (في [[حروف صينية مبسطة|اللغة الصينية المبسطة]]: 何积丰; في [[حروف صينية تقليدية|اللغة الصينية التقليدية]]: 何積豐; في [[بينيين|لغة بينيين]]: ''Hé Jīfēng;'' من مواليد أغسطس [[1943]]) هو [[عالم حاسوب|عالم كمبيوتر]] صيني. <ref name="brainstorm">{{استشهاد ويب
| url = http://www.namesviews.com/people/He-Jifeng-662
| title = He Jifeng
| website = www.namesviews.com
| publisher = Brainstorm
| archiveurl = https://archive.today/20120909043555/http://www.namesviews.com/people/He-Jifeng-662
| archivedate = September 9, 2012
| accessdate = April 9, 2012
| url-status = dead
}}</ref>
تخرج هي جيفنغ من قسم [[رياضيات|الرياضيات]] [[جامعة فودان|بجامعة فودان]] في عام [[1965]]. <ref>{{استشهاد ويب
| url = http://hise.hznu.edu.cn/enNewsShow.aspx?ID=158
| title = He Jifeng computer software expert
| publisher = Hangzhou Institute of Service Engineering], [[Hangzhou Normal University]]
| archiveurl = https://web.archive.org/web/20130927114628/http://hise.hznu.edu.cn/enNewsShow.aspx?ID=158
| archivedate = September 27, 2013
| accessdate = April 9, 2012
| url-status = dead
}}</ref> من عام 1965 إلى عام [[1985]]، كان مدرسًا في [[جامعة شرق الصين العادية|جامعة شرق الصين للمعلمين]]. خلال الفترة من [[1980]] إلى [[1981]]، كان أستاذًا زائرًا في [[جامعة ستانفورد]] [[جامعة سان فرانسيسكو|وجامعة سان فرانسيسكو]] في [[كاليفورنيا]] بالولايات المتحدة.
من عام [[1984]] إلى عام [[1998]]، كان هي جيفنغ زميلًا باحثًا أول في مجموعة أبحاث البرمجة في مختبر الحوسبة [[جامعة أكسفورد|بجامعة أكسفورد]] ([[قسم علوم الحاسوب جامعة أكسفورد|قسم علوم الكمبيوتر بجامعة أكسفورد]] حاليًا). عمل على نطاق واسع في الجوانب [[طريقة شكلية|الشكلية]] [[علم الحاسوب|لعلوم الحوسبة]]. على وجه الخصوص، عمل مع البروفيسور السير [[توني هور]]، حول [[توحيد نظريات البرمجة]]، مما أدى إلى كتاب بهذا الاسم.
منذ عام 1986، شغل هي جيفنغ منصب أستاذ علوم الكمبيوتر في جامعة شرق الصين للمعلمين في [[شنغهاي]]. في عام [[1996]]، أصبح أيضًا أستاذًا لعلوم الكمبيوتر في [[جامعة شانغهاي جياو تونغ|جامعة شنغهاي جياو تونغ]] .
في عام [[1998]]، أصبح زميلًا باحثًا أول في [[المعهد الدولي لتكنولوجيا البرمجيات]] ، [[جامعة الأمم المتحدة|في جامعة الأمم المتحدة]]، ومقره [[ماكاو]]. عاد إلى [[شنغهاي]] في [[2005]].
تشمل الاهتمامات البحثية لهي جيفنغ طرقًا سليمة لمواصفات أنظمة الكمبيوتر، والاتصالات، والتطبيق والمعايير، وتقنيات تصميم وتنفيذ تلك المواصفات في البرامج و / أو الأجهزة ذات الموثوقية العالية.
في عام [[2005]]، انتخب عضوا في [[الأكاديمية الصينية للعلوم]]. في عام [[2013]]، تم الاحتفال بعيد ميلاده السبعين في جامعة شرق الصين للمعلمين مع مهرجان دولي لمدة ثلاثة أيام بالاشتراك مع ''المؤتمر الدولي للجوانب النظرية للحوسبة''( [[Festschrift|ICTAC]] ). <ref>{{استشهاد ويب
| url = http://ictac2013.ecnu.edu.cn/festschrift.htm
| title = Festschrift Symposium in Honor of He Jifeng
| date = 1–3 September 2013
| publisher = [[East China Normal University]]
| archiveurl = https://web.archive.org/web/20130926074220/http://ictac2013.ecnu.edu.cn/festschrift.htm
| archivedate = September 26, 2013
| accessdate = 13 September 2013
| url-status = dead
}}</ref> <ref>{{استشهاد بكتاب
| عنوان = Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
| ناشر = [[Springer-Verlag|Springer]]
| سلسلة = [[Lecture Notes in Computer Science]]
| المجلد = 8051
| سنة = 2013
| editor1-first = Zhiming
| محرر1 = Liu
| editor1-link = Zhiming Liu (computer scientist)
| editor2-first = Jim
| محرر2 = Woodcock
| editor2-link = Jim Woodcock
| editor3-first = Huibiao
| editor3-last = Zhu
| isbn = 978-3-642-39697-7
| <!-- eisbn=978-3-642-39698-4 --> doi = 10.1007/978-3-642-39698-4
}}</ref>
== كتب ==
كتب هي جيفنغ عددًا من كتب علوم الكمبيوتر، بما في ذلك: <ref>{{استشهاد ويب
| url = https://www.amazon.com/s/ref=nb_ss?url=search-alias%3Daps&field-keywords=He+Jifeng
| title = Books by He Jifeng
| website = [[Amazon.com]]
}}</ref>
* هي جيفنغ ، ''تصحيح الأنظمة: نمذجة لغات الاتصال وتصميم المجمعين المحسنين'' . سلسلة [[ماكجرو هيل التعليم|McGraw-Hill]] International في البرمجيات ، 1995.{{ردمك|978-0-07-709052-4}} .
* هي جيفنغ و<nowiki/>[[توني هور]] ، ''النظريات الموحدة للبرمجة'' . سلسلة برنتيس هول الدولية في علوم الكمبيوتر ، 1998.{{ردمك|978-0-13-458761-5}}[[ISBN (identifier)|رقم ISBN]] [[Special:BookSources/978-0-13-458761-5|978-0-13-458761-5]] .
* زايمينغ ليو وهي جيفنغ ، ''الأطر الرياضية لبرامج المكونات: نماذج للتحليل والتوليف'' . الشركة العلمية العالمية للنشر ، سلسلة تطوير البرمجيات القائمة على المكونات ، 2007.{{ردمك|978-981-270-017-9}}[[ISBN (identifier)|رقم ISBN]] [[Special:BookSources/978-981-270-017-9|978-981-270-017-9]] .
== مراجع ==
{{مراجع}}
[[تصنيف:كتاب من شانغهاي]]
[[تصنيف:أكاديميون من جامعة الأمم المتحدة]]
[[تصنيف:علماء من شانغهاي]]
[[تصنيف:أعضاء الأكاديمية الصينية للعلوم]]
[[تصنيف:أعضاء قسم علوم الحاسوب (جامعة أكسفورد)]]
[[تصنيف:خريجو جامعة فودان]]
[[تصنيف:مربون من شانغهاي]]
[[تصنيف:كتاب تقنية صينيون]]
[[تصنيف:علماء حاسوب صينيون]]
[[تصنيف:أشخاص على قيد الحياة]]
[[تصنيف:مواليد 1943]]
[[تصنيف:مقالات تحتوي نصا بالصينية التقليدية]]
[[تصنيف:مقالات تحتوي نصا بالصينية التايوانية]]' |
السطور المضافة في التعديل (added_lines) | [
0 => '',
1 => '[[Category:Articles with hCards]]',
2 => ' ',
3 => '{{صندوق معلومات شخص',
4 => '| الاسم الأصلي = 何積豐',
5 => '| تاريخ الولادة = اغسطس 1943',
6 => '| لغة الاسم الأصلي = CHI',
7 => '| مشرفون أكاديميون = [[توني هور]]',
8 => '| موظف = جامعة شرق الصين الاعتيادية،',
9 => '[[جامعة أكسفورد]]،',
10 => '[[جامعة شانغهاي جياو تونغ]]،',
11 => '[[جامعة الأمم المتحدة]]',
12 => '| تخصص أكاديمي = [[علم الحاسوب]]، [[طريقة شكلية]]',
13 => '| المدرسة الأم = [[جامعة فودان]]',
14 => '| الجنسية = [[الصين]]',
15 => '| مكان الولادة = [[شانغهاي]]، [[الصين]]',
16 => '}}',
17 => '',
18 => ''''هي جيفنغ''' (في [[حروف صينية مبسطة|اللغة الصينية المبسطة]]: 何积丰; في [[حروف صينية تقليدية|اللغة الصينية التقليدية]]: 何積豐; في [[بينيين|لغة بينيين]]: ''Hé Jīfēng;'' من مواليد أغسطس [[1943]]) هو [[عالم حاسوب|عالم كمبيوتر]] صيني. <ref name="brainstorm">{{استشهاد ويب',
19 => '| url = http://www.namesviews.com/people/He-Jifeng-662',
20 => '| title = He Jifeng',
21 => '| website = www.namesviews.com',
22 => '| publisher = Brainstorm',
23 => '| archiveurl = https://archive.today/20120909043555/http://www.namesviews.com/people/He-Jifeng-662',
24 => '| archivedate = September 9, 2012',
25 => '| accessdate = April 9, 2012',
26 => '| url-status = dead',
27 => '}}</ref>',
28 => '',
29 => 'تخرج هي جيفنغ من قسم [[رياضيات|الرياضيات]] [[جامعة فودان|بجامعة فودان]] في عام [[1965]]. <ref>{{استشهاد ويب',
30 => '| url = http://hise.hznu.edu.cn/enNewsShow.aspx?ID=158',
31 => '| title = He Jifeng computer software expert',
32 => '| publisher = Hangzhou Institute of Service Engineering], [[Hangzhou Normal University]]',
33 => '| archiveurl = https://web.archive.org/web/20130927114628/http://hise.hznu.edu.cn/enNewsShow.aspx?ID=158',
34 => '| archivedate = September 27, 2013',
35 => '| accessdate = April 9, 2012',
36 => '| url-status = dead',
37 => '}}</ref> من عام 1965 إلى عام [[1985]]، كان مدرسًا في [[جامعة شرق الصين العادية|جامعة شرق الصين للمعلمين]]. خلال الفترة من [[1980]] إلى [[1981]]، كان أستاذًا زائرًا في [[جامعة ستانفورد]] [[جامعة سان فرانسيسكو|وجامعة سان فرانسيسكو]] في [[كاليفورنيا]] بالولايات المتحدة.',
38 => '',
39 => 'من عام [[1984]] إلى عام [[1998]]، كان هي جيفنغ زميلًا باحثًا أول في مجموعة أبحاث البرمجة في مختبر الحوسبة [[جامعة أكسفورد|بجامعة أكسفورد]] ([[قسم علوم الحاسوب جامعة أكسفورد|قسم علوم الكمبيوتر بجامعة أكسفورد]] حاليًا). عمل على نطاق واسع في الجوانب [[طريقة شكلية|الشكلية]] [[علم الحاسوب|لعلوم الحوسبة]]. على وجه الخصوص، عمل مع البروفيسور السير [[توني هور]]، حول [[توحيد نظريات البرمجة]]، مما أدى إلى كتاب بهذا الاسم.',
40 => '',
41 => 'منذ عام 1986، شغل هي جيفنغ منصب أستاذ علوم الكمبيوتر في جامعة شرق الصين للمعلمين في [[شنغهاي]]. في عام [[1996]]، أصبح أيضًا أستاذًا لعلوم الكمبيوتر في [[جامعة شانغهاي جياو تونغ|جامعة شنغهاي جياو تونغ]] .',
42 => '',
43 => 'في عام [[1998]]، أصبح زميلًا باحثًا أول في [[المعهد الدولي لتكنولوجيا البرمجيات]] ، [[جامعة الأمم المتحدة|في جامعة الأمم المتحدة]]، ومقره [[ماكاو]]. عاد إلى [[شنغهاي]] في [[2005]].',
44 => '',
45 => 'تشمل الاهتمامات البحثية لهي جيفنغ طرقًا سليمة لمواصفات أنظمة الكمبيوتر، والاتصالات، والتطبيق والمعايير، وتقنيات تصميم وتنفيذ تلك المواصفات في البرامج و / أو الأجهزة ذات الموثوقية العالية.',
46 => '',
47 => 'في عام [[2005]]، انتخب عضوا في [[الأكاديمية الصينية للعلوم]]. في عام [[2013]]، تم الاحتفال بعيد ميلاده السبعين في جامعة شرق الصين للمعلمين مع مهرجان دولي لمدة ثلاثة أيام بالاشتراك مع ''المؤتمر الدولي للجوانب النظرية للحوسبة''( [[Festschrift|ICTAC]] ). <ref>{{استشهاد ويب',
48 => '| url = http://ictac2013.ecnu.edu.cn/festschrift.htm',
49 => '| title = Festschrift Symposium in Honor of He Jifeng',
50 => '| date = 1–3 September 2013',
51 => '| publisher = [[East China Normal University]]',
52 => '| archiveurl = https://web.archive.org/web/20130926074220/http://ictac2013.ecnu.edu.cn/festschrift.htm',
53 => '| archivedate = September 26, 2013',
54 => '| accessdate = 13 September 2013',
55 => '| url-status = dead',
56 => '}}</ref> <ref>{{استشهاد بكتاب',
57 => '| عنوان = Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday',
58 => '| ناشر = [[Springer-Verlag|Springer]]',
59 => '| سلسلة = [[Lecture Notes in Computer Science]]',
60 => '| المجلد = 8051',
61 => '| سنة = 2013',
62 => '| editor1-first = Zhiming',
63 => '| محرر1 = Liu',
64 => '| editor1-link = Zhiming Liu (computer scientist)',
65 => '| editor2-first = Jim',
66 => '| محرر2 = Woodcock',
67 => '| editor2-link = Jim Woodcock',
68 => '| editor3-first = Huibiao',
69 => '| editor3-last = Zhu',
70 => '| isbn = 978-3-642-39697-7',
71 => '| <!-- eisbn=978-3-642-39698-4 --> doi = 10.1007/978-3-642-39698-4',
72 => '}}</ref>',
73 => '',
74 => '== كتب ==',
75 => 'كتب هي جيفنغ عددًا من كتب علوم الكمبيوتر، بما في ذلك: <ref>{{استشهاد ويب',
76 => '| url = https://www.amazon.com/s/ref=nb_ss?url=search-alias%3Daps&field-keywords=He+Jifeng',
77 => '| title = Books by He Jifeng',
78 => '| website = [[Amazon.com]]',
79 => '}}</ref>',
80 => '',
81 => '* هي جيفنغ ، ''تصحيح الأنظمة: نمذجة لغات الاتصال وتصميم المجمعين المحسنين'' . سلسلة [[ماكجرو هيل التعليم|McGraw-Hill]] International في البرمجيات ، 1995.{{ردمك|978-0-07-709052-4}} .',
82 => '* هي جيفنغ و<nowiki/>[[توني هور]] ، ''النظريات الموحدة للبرمجة'' . سلسلة برنتيس هول الدولية في علوم الكمبيوتر ، 1998.{{ردمك|978-0-13-458761-5}}[[ISBN (identifier)|رقم ISBN]] [[Special:BookSources/978-0-13-458761-5|978-0-13-458761-5]] .',
83 => '* زايمينغ ليو وهي جيفنغ ، ''الأطر الرياضية لبرامج المكونات: نماذج للتحليل والتوليف'' . الشركة العلمية العالمية للنشر ، سلسلة تطوير البرمجيات القائمة على المكونات ، 2007.{{ردمك|978-981-270-017-9}}[[ISBN (identifier)|رقم ISBN]] [[Special:BookSources/978-981-270-017-9|978-981-270-017-9]] .',
84 => '',
85 => '== مراجع ==',
86 => '{{مراجع}}',
87 => '[[تصنيف:كتاب من شانغهاي]]',
88 => '[[تصنيف:أكاديميون من جامعة الأمم المتحدة]]',
89 => '[[تصنيف:علماء من شانغهاي]]',
90 => '[[تصنيف:أعضاء الأكاديمية الصينية للعلوم]]',
91 => '[[تصنيف:أعضاء قسم علوم الحاسوب (جامعة أكسفورد)]]',
92 => '[[تصنيف:خريجو جامعة فودان]]',
93 => '[[تصنيف:مربون من شانغهاي]]',
94 => '[[تصنيف:كتاب تقنية صينيون]]',
95 => '[[تصنيف:علماء حاسوب صينيون]]',
96 => '[[تصنيف:أشخاص على قيد الحياة]]',
97 => '[[تصنيف:مواليد 1943]]',
98 => '[[تصنيف:مقالات تحتوي نصا بالصينية التقليدية]]',
99 => '[[تصنيف:مقالات تحتوي نصا بالصينية التايوانية]]'
] |
نص الصفحة الجديد، مجردا من أية تهيئة (new_text) | ' .mw-parser-output .entete.aerostat{background:url("//upload.wikimedia.org/wikipedia/commons/7/7e/Picto_infobox_aerostat.png")no-repeat top right}.mw-parser-output .entete.aikido{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/1/1b/Aikido_pictogram.svg/40px-Aikido_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.alpinisme{background:url("//upload.wikimedia.org/wikipedia/commons/d/df/Picto_infobox_alpinisme.png")no-repeat top right}.mw-parser-output .entete.arbitre{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/a7/Referee_football_pictogram.svg/35px-Referee_football_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.arc{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/8/8e/Archery_pictogram.svg/35px-Archery_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.archives2{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Picto_infobox_archives.png")no-repeat top right}.mw-parser-output .entete.arduino,.mw-parser-output .entete.electro{background:url("//upload.wikimedia.org/wikipedia/commons/c/ce/Arduino_ftdi_chip-1.png")no-repeat top right}.mw-parser-output .entete.artiste{background:url("//upload.wikimedia.org/wikipedia/commons/f/f3/Picto_infobox_artiste.png")no-repeat top right}.mw-parser-output .entete.artsmartiauxjap{background:url("//upload.wikimedia.org/wikipedia/commons/8/81/Picto_infobox_samourai.png")no-repeat top right}.mw-parser-output .entete.association{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/e/ea/Collaboration_logo_infobox.svg/50px-Collaboration_logo_infobox.svg.png")no-repeat top right}.mw-parser-output .entete.athletisme{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/8/8f/Athletics_pictogram.svg/40px-Athletics_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.audio{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/a6/Gnome-speakernotes.png/35px-Gnome-speakernotes.png")no-repeat top right}.mw-parser-output .entete.auteur{background:url("//upload.wikimedia.org/wikipedia/commons/1/1e/Picto_infobox_auteur.png")no-repeat top right}.mw-parser-output .entete.autogire{background:url("//upload.wikimedia.org/wikipedia/commons/e/e6/Picto_Autogyro.png")no-repeat top right}.mw-parser-output .entete.automobile{background:url("//upload.wikimedia.org/wikipedia/commons/9/99/Picto_infobox_automobil.png")no-repeat top right}.mw-parser-output .entete.avion{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/f/f1/Airplane_silhouette_white.svg/40px-Airplane_silhouette_white.svg.png")no-repeat top right}.mw-parser-output .entete.aviron{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/5/57/Rowing_pictogram.svg/35px-Rowing_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.badminton{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/9/90/Badminton_pictogram.svg/35px-Badminton_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.baseball{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/3/3c/Baseball_pictogram.svg/35px-Baseball_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.basket-ball{background:url("//upload.wikimedia.org/wikipedia/commons/f/f4/Picto_Infobox_Basketball.png")no-repeat top right}.mw-parser-output .entete.bd{background:url("//upload.wikimedia.org/wikipedia/commons/2/2c/Picto_infobox_comicballoon.png")no-repeat top right}.mw-parser-output .entete.biathlon{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/0/00/Biathlon_pictogram.svg/40px-Biathlon_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.biere{background:url("//upload.wikimedia.org/wikipedia/commons/0/04/Picto_infobox_beer.png")no-repeat top right}.mw-parser-output .entete.book,.mw-parser-output .entete.universite{background:url("//upload.wikimedia.org/wikipedia/commons/4/42/Picto_infobox_book.png")no-repeat top right}.mw-parser-output .entete.boxe{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/c/c2/Boxing_pictogram.svg/35px-Boxing_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.calendrier{background:url("//upload.wikimedia.org/wikipedia/commons/4/4a/Almanacco.png")no-repeat top right}.mw-parser-output .entete.camera{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/8/80/Camera-photo.svg/120px-Camera-photo.svg.png")no-repeat top right}.mw-parser-output .entete.canada{background:url("//upload.wikimedia.org/wikipedia/commons/6/6a/Picto_infobox_Canada.png")no-repeat top right}.mw-parser-output .entete.cardinal{background:url("//upload.wikimedia.org/wikipedia/commons/0/03/Picto_infobox_cardinal.png")no-repeat top right}.mw-parser-output .entete.catch{background:url("//upload.wikimedia.org/wikipedia/commons/7/79/Picto_infobox_catch.png")no-repeat top right}.mw-parser-output .entete.chateau{background:url("//upload.wikimedia.org/wikipedia/commons/5/5c/Picto_infobox_chateau.png")no-repeat top right}.mw-parser-output .entete.chimie{background:url("//upload.wikimedia.org/wikipedia/commons/c/ce/Picto_infobox_chemistry_HUN.png")no-repeat top right}.mw-parser-output .entete.cinema{background:url("//upload.wikimedia.org/wikipedia/commons/e/ea/Picto_infobox_cinema.png")no-repeat top right}.mw-parser-output .entete.commonwealth{background:url("//upload.wikimedia.org/wikipedia/commons/d/db/Picto_infobox_Commonwealth.png")no-repeat top right}.mw-parser-output .entete.communication{background:url("//upload.wikimedia.org/wikipedia/commons/a/a2/Picto_infobox_antenna.png")no-repeat top right}.mw-parser-output .entete.cyclisme{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/8/86/Cycling_%28road%29_pictogram.svg/45px-Cycling_%28road%29_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.deportation{background:url("//upload.wikimedia.org/wikipedia/commons/e/e0/Picto_Infobox_deportation.png")no-repeat top right}.mw-parser-output .entete.diplomatie{background:url("//upload.wikimedia.org/wikipedia/commons/e/e0/Picto_infobox_ambassade.png")no-repeat top right}.mw-parser-output .entete.disney{background:url("//upload.wikimedia.org/wikipedia/commons/d/d3/Picto_infobox_Disney.png")no-repeat top right}.mw-parser-output .entete.droit{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/1/17/Balance%2C_by_David.svg/40px-Balance%2C_by_David.svg.png")no-repeat top right}.mw-parser-output .entete.drone-civil{background:url("//upload.wikimedia.org/wikipedia/commons/c/ce/Picto_infobox_civil_drone.png")no-repeat top right;background-size:45px 45px}.mw-parser-output .entete.egypte-antique{background:url("//upload.wikimedia.org/wikipedia/commons/c/cc/Picto_infobox_ancient_Egypt.png")no-repeat top right}.mw-parser-output .entete.entreprise{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/1/19/Factory_black.png/40px-Factory_black.png")no-repeat top right}.mw-parser-output .entete.entreprise-blanc{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/0/0e/Factory_white.png/40px-Factory_white.png")no-repeat top right}.mw-parser-output .entete.equitation{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/2/24/Equestrian_pictogram.svg/35px-Equestrian_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.escalade{background:url("//upload.wikimedia.org/wikipedia/commons/e/e1/Picto_infobox_escalade.png")no-repeat top right}.mw-parser-output .entete.escalade{background:url("//upload.wikimedia.org/wikipedia/commons/f/f4/Picto_infobox_alpinisme-escalade.png")no-repeat top right}.mw-parser-output .entete.escrime{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/0/02/Fencing_pictogram.svg/35px-Fencing_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.espagne{background:url("//upload.wikimedia.org/wikipedia/commons/1/11/Picto_Infobox_Coat_of_Arms_of_Spain.png")no-repeat top right}.mw-parser-output .entete.eveque{background:url("//upload.wikimedia.org/wikipedia/commons/b/b3/Picto_infobox_bishop.png")no-repeat top right}.mw-parser-output .entete.factory{background:url("//upload.wikimedia.org/wikipedia/commons/f/ff/Picto_infobox_enterprise.png")no-repeat top right}.mw-parser-output .entete.floorball{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/e/e9/Floorball_pictogram.svg/35px-Floorball_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.fondeur{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/6c/Cross_country_skiing_pictogram.svg/40px-Cross_country_skiing_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.football{background:url("//upload.wikimedia.org/wikipedia/commons/f/f8/Infobox_Football_pictogram.png")no-repeat top right}.mw-parser-output .entete.footballblack{background:url("//upload.wikimedia.org/wikipedia/commons/8/86/Picto_infobox_fotbal_2.png")no-repeat top right}.mw-parser-output .entete.footUS{background:url("//upload.wikimedia.org/wikipedia/commons/4/4e/Picto_Foot_US.png")no-repeat top right}.mw-parser-output .entete.futsal{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/b/b0/Futsal_pictogram.svg/35px-Futsal_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.golf{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/5/5f/Golf_pictogram.svg/35px-Golf_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.grappe{background:url("//upload.wikimedia.org/wikipedia/commons/7/73/Icone_oenobox.png")no-repeat top right}.mw-parser-output .entete.gymnastique{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/1/12/Gymnastics_%28artistic%29_pictogram.svg/35px-Gymnastics_%28artistic%29_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.handball{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/3/37/Handball_pictogram_white.svg/35px-Handball_pictogram_white.svg.png")no-repeat top right}.mw-parser-output .entete.handballblack{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/5/52/Handball_pictogram.svg/35px-Handball_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.helicoptere{background:url("//upload.wikimedia.org/wikipedia/commons/f/fa/Picto_infobox_helicopter.png")no-repeat top right}.mw-parser-output .entete.hockey{background:url("//upload.wikimedia.org/wikipedia/commons/e/ee/Picto_Infobox_Ice_hockey.png")no-repeat top right}.mw-parser-output .entete.hockey-sur-gazon{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/6b/Field_hockey_pictogram.svg/35px-Field_hockey_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.hospitaliers{background:url("//upload.wikimedia.org/wikipedia/commons/1/1e/Picto_infobox_Hospitaliers.png")no-repeat top right}.mw-parser-output .entete.humain{background:url("//upload.wikimedia.org/wikipedia/commons/8/82/Picto_infobox_manwoman.png")no-repeat top right}.mw-parser-output .entete.informatique{background:url("//upload.wikimedia.org/wikipedia/commons/a/ae/Picto-infoboxinfo.png")no-repeat top right}.mw-parser-output .entete.internet{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/2/2c/Web-browser-openclipart.svg/45px-Web-browser-openclipart.svg.png")no-repeat top right}.mw-parser-output .entete.israel-judaisme{background:url("//upload.wikimedia.org/wikipedia/commons/a/a5/Picto_infobox_israel-judaisme.png")no-repeat top right}.mw-parser-output .entete.jeu{background:url("//upload.wikimedia.org/wikipedia/commons/9/90/Picto_infobox_Game.png")no-repeat top right}.mw-parser-output .entete.jeu-role{background:url("//upload.wikimedia.org/wikipedia/commons/d/d8/Picto_infobox_Jeu_de_rôle.png")no-repeat top right}.mw-parser-output .entete.jeuvideo,.mw-parser-output .entete.jeuvideov3{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/69/Kontrollikon_1.0d_-_Grey.svg/35px-Kontrollikon_1.0d_-_Grey.svg.png")no-repeat top right}.mw-parser-output .entete.judo{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/f/fa/Judo_pictogram.svg/40px-Judo_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.karate{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/4/4e/Karate_pictogram.svg/40px-Karate_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.kayak{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/3/3c/Canoeing_%28flatwater%29_pictogram.svg/35px-Canoeing_%28flatwater%29_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.kickboxing{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/f/f1/Kickboxing_pictogram.svg/40px-Kickboxing_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.lutte{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/1/12/Wrestling_pictogram.svg/40px-Wrestling_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.macintosh{background:url("//upload.wikimedia.org/wikipedia/commons/2/20/Picto_infobox_Macintosh.png")no-repeat top right}.mw-parser-output .entete.malte{background:url("//upload.wikimedia.org/wikipedia/commons/e/e4/Picto_infobox_Malte.png")no-repeat top right}.mw-parser-output .entete.map{background:url("//upload.wikimedia.org/wikipedia/commons/7/7a/Picto_infobox_map.png")no-repeat top right}.mw-parser-output .entete.medecine{background:url("//upload.wikimedia.org/wikipedia/commons/2/23/Picto_infobox_med.png")no-repeat top right}.mw-parser-output .entete.mets{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Picto_infobox_mets.png")no-repeat top right}.mw-parser-output .entete.militaire{background:url("//upload.wikimedia.org/wikipedia/commons/0/03/Picto_infobox_military.png")no-repeat top right;background-size:45px 45px}.mw-parser-output .entete.money,.mw-parser-output .entete.money_coin{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/67/Money_Coin_Icon.svg/40px-Money_Coin_Icon.svg.png")no-repeat top right}.mw-parser-output .entete.montreal-metro,.mw-parser-output .entete.metro{background:url("//upload.wikimedia.org/wikipedia/commons/b/ba/Picto_infobox_Mtl_metro.png")no-repeat top right}.mw-parser-output .entete.montreal-train,.mw-parser-output .entete.train{background:url("//upload.wikimedia.org/wikipedia/commons/9/99/Picto_infobox_Mtl_train.png")no-repeat top right}.mw-parser-output .entete.moteur-avion{background:url("//upload.wikimedia.org/wikipedia/commons/9/9c/Picto_Infobox_moteur_d%27avion.png")no-repeat top right}.mw-parser-output .entete.mosque{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/4/49/Picto_infobox_Mosque.svg/35px-Picto_infobox_Mosque.svg.png")no-repeat top right}.mw-parser-output .entete.musee,.mw-parser-output .entete.museum,.mw-parser-output .entete.papyrus{background:url("//upload.wikimedia.org/wikipedia/commons/1/1b/Picto_infobox_papyrus.png")no-repeat top right}.mw-parser-output .entete.musique,.mw-parser-output .entete.music{background:url("//upload.wikimedia.org/wikipedia/commons/6/60/Picto_infobox_music.png")no-repeat top right}.mw-parser-output .entete.natation{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/0/0a/Swimming_pictogram_white.png/35px-Swimming_pictogram_white.png")no-repeat top right}.mw-parser-output .entete.nations-unies{background:url("//upload.wikimedia.org/wikipedia/commons/3/3a/Picto_infobox_UN.png")no-repeat top right}.mw-parser-output .entete.omnisports{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/5/5e/Sport3_icone.svg/35px-Sport3_icone.svg.png")no-repeat top right}.mw-parser-output .entete.palace{background:url("//upload.wikimedia.org/wikipedia/commons/5/5e/Pictogram_infobox_palace.png")no-repeat top right}.mw-parser-output .entete.paralympique{background:url("//upload.wikimedia.org/wikipedia/commons/5/5e/Picto_infobox_Paralympics.png")no-repeat top right}.mw-parser-output .entete.persofiction{background:url("//upload.wikimedia.org/wikipedia/commons/3/37/Picto_infobox_masks.png")no-repeat top right}.mw-parser-output .entete.petrole{background:url("//upload.wikimedia.org/wikipedia/commons/b/ba/Picto_Infobox_Oil.png")no-repeat top right}.mw-parser-output .entete.planeur{background:url("//upload.wikimedia.org/wikipedia/commons/5/54/Picto_infobox_planeur.png")no-repeat top right}.mw-parser-output .entete.plateforme{background:url("//upload.wikimedia.org/wikipedia/commons/5/5d/Picto_Infobox_Oil_Platform.png")no-repeat top right}.mw-parser-output .entete.poker{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/7/7d/Crystal_Clear_app_Cardgame-3.svg/50px-Crystal_Clear_app_Cardgame-3.svg.png")no-repeat top right}.mw-parser-output .entete.presse{background:url("//upload.wikimedia.org/wikipedia/commons/2/23/Picto_infobox_journal.png")no-repeat top right}.mw-parser-output .entete.pretendant{background:url("//upload.wikimedia.org/wikipedia/commons/5/5f/Picto_infobox_pr%C3%A9tendant_%C3%A0_un_tr%C3%B4ne.png")no-repeat top right}.mw-parser-output .entete.projet,.mw-parser-output .entete.project{background:url("//upload.wikimedia.org/wikipedia/commons/c/cb/Picto_infobox_tools.png")no-repeat top right}.mw-parser-output .entete.psychologie{background:url("//upload.wikimedia.org/wikipedia/commons/7/77/Picto_infobox_psycho.png")no-repeat top right}.mw-parser-output .entete.quebec{background:url("//upload.wikimedia.org/wikipedia/commons/2/21/Picto_infobox_Quebec.png")no-repeat top right}.mw-parser-output .entete.recherche{background:url("//upload.wikimedia.org/wikipedia/commons/c/c1/Picto_infobox_detective.png")no-repeat top right}.mw-parser-output .entete.rinkhockey{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/3/3b/Roller_hockey_pictogram.svg/35px-Roller_hockey_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.rome-antique{background:url("//upload.wikimedia.org/wikipedia/commons/3/3c/Picto_infobox_Roman_military_banner.png")no-repeat top right}.mw-parser-output .entete.route{background:url("//upload.wikimedia.org/wikipedia/commons/e/e7/Infobox_road_pictogram.png")no-repeat top right}.mw-parser-output .entete.rugby{background:url("//upload.wikimedia.org/wikipedia/commons/0/06/Picto_Infobox_Rugby.png")no-repeat top right}.mw-parser-output .entete.rugbyblack{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/f/f4/Rugby_union_pictogram.svg/35px-Rugby_union_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.satellite{background:url("//upload.wikimedia.org/wikipedia/commons/8/8d/Picto_infobox_satellite.png")no-repeat top right}.mw-parser-output .entete.sautski{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/3/3d/Ski_jumping_pictogram.svg/40px-Ski_jumping_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.science-fiction{background:url("//upload.wikimedia.org/wikipedia/commons/e/ed/Picto_infobox_fliyingsaucer.png")no-repeat top right}.mw-parser-output .entete.serie-video{background:url("//upload.wikimedia.org/wikipedia/commons/e/e0/Logo_television_blanc.png")no-repeat top right;background-size:45px 45px}.mw-parser-output .entete.ski-alpin{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/a1/Alpine_skiing_pictogram.svg/40px-Alpine_skiing_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.snooker{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/0/0d/Cue_sports_pictogram.svg/40px-Cue_sports_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.software{background:url("//upload.wikimedia.org/wikipedia/commons/f/fe/Picto_infobox_software.png")no-repeat top right}.mw-parser-output .entete.sport{background:url("//upload.wikimedia.org/wikipedia/commons/8/8e/Picto_infobox_Olympic.png")no-repeat top right}.mw-parser-output .entete.sport-automobile{background:url("//upload.wikimedia.org/wikipedia/commons/a/af/Picto_infobox_sport_auto.png")no-repeat top right}.mw-parser-output .entete.squash{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/da/Squash_pictogram.svg/35px-Squash_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.stadium{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/f/fd/Stadium.svg/40px-Stadium.svg.png")no-repeat top right}.mw-parser-output .entete.starwars{background:url("//upload.wikimedia.org/wikipedia/commons/f/f7/Star_Wars_Infobox_Pictogram.png")no-repeat top right}.mw-parser-output .entete.surf{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/f/fa/Surfing_pictogram.svg/35px-Surfing_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.taekwondo{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d3/Taekwondo_pictogram.svg/40px-Taekwondo_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.television{background:url("//upload.wikimedia.org/wikipedia/commons/a/a6/Picto_infobox_TV-T%26PC.png")no-repeat top right}.mw-parser-output .entete.templiers{background:url("//upload.wikimedia.org/wikipedia/commons/3/30/Picto_infobox_Templiers.png")no-repeat top right}.mw-parser-output .entete.tennis{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/e/ed/Tennis_pictogram_white.svg/35px-Tennis_pictogram_white.svg.png")no-repeat top right}.mw-parser-output .entete.tennis-de-table{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/9/9a/Table_tennis_pictogram_white.svg/40px-Table_tennis_pictogram_white.svg.png")no-repeat top right}.mw-parser-output .entete.tennis-de-tableblack{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/8/85/Table_tennis_pictogram.svg/35px-Table_tennis_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.timbre{background:url("//upload.wikimedia.org/wikipedia/commons/b/b3/Picto_infobox_Stamps.png")no-repeat top right}.mw-parser-output .entete.train{background:url("//upload.wikimedia.org/wikipedia/commons/3/3f/Infobox_train.png")no-repeat top right}.mw-parser-output .entete.triathlon{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/b/b1/Triathlon_pictogram.svg/40px-Triathlon_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.ultimate{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/e/e7/Ultimate_pictogram.svg/70px-Ultimate_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.union-europeenne{background:url("//upload.wikimedia.org/wikipedia/commons/c/c0/Picto_Infobox_Europe.png")no-repeat top right}.mw-parser-output .entete.video{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/2/20/Tango-video-x-generic.png/35px-Tango-video-x-generic.png")no-repeat top right}.mw-parser-output .entete.voile{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/c/c1/Sailing_pictogram.svg/40px-Sailing_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.volleyball{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/c/ca/Volleyball_%28indoor%29_pictogram.svg/35px-Volleyball_%28indoor%29_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.water-polo{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/0/0e/Water_polo_pictogram.svg/40px-Water_polo_pictogram.svg.png")no-repeat top right}
هي جيفنغ
何積豐
معلومات شخصية
الميلاد
اغسطس 1943شانغهاي، الصين
الجنسية
الصين
الحياة العملية
المدرسة الأم
جامعة فودان
تخصص أكاديمي
علم الحاسوب، طريقة شكلية
تعلم لدى
توني هور
موظف في
جامعة شرق الصين الاعتيادية،
جامعة أكسفورد،
جامعة شانغهاي جياو تونغ،
جامعة الأمم المتحدة
تعديل مصدري - تعديل  
هي جيفنغ (في اللغة الصينية المبسطة: 何积丰; في اللغة الصينية التقليدية: 何積豐; في لغة بينيين: Hé Jīfēng; من مواليد أغسطس 1943) هو عالم كمبيوتر صيني. [1]
تخرج هي جيفنغ من قسم الرياضيات بجامعة فودان في عام 1965. [2] من عام 1965 إلى عام 1985، كان مدرسًا في جامعة شرق الصين للمعلمين. خلال الفترة من 1980 إلى 1981، كان أستاذًا زائرًا في جامعة ستانفورد وجامعة سان فرانسيسكو في كاليفورنيا بالولايات المتحدة.
من عام 1984 إلى عام 1998، كان هي جيفنغ زميلًا باحثًا أول في مجموعة أبحاث البرمجة في مختبر الحوسبة بجامعة أكسفورد (قسم علوم الكمبيوتر بجامعة أكسفورد حاليًا). عمل على نطاق واسع في الجوانب الشكلية لعلوم الحوسبة. على وجه الخصوص، عمل مع البروفيسور السير توني هور، حول توحيد نظريات البرمجة، مما أدى إلى كتاب بهذا الاسم.
منذ عام 1986، شغل هي جيفنغ منصب أستاذ علوم الكمبيوتر في جامعة شرق الصين للمعلمين في شنغهاي. في عام 1996، أصبح أيضًا أستاذًا لعلوم الكمبيوتر في جامعة شنغهاي جياو تونغ .
في عام 1998، أصبح زميلًا باحثًا أول في المعهد الدولي لتكنولوجيا البرمجيات ، في جامعة الأمم المتحدة، ومقره ماكاو. عاد إلى شنغهاي في 2005.
تشمل الاهتمامات البحثية لهي جيفنغ طرقًا سليمة لمواصفات أنظمة الكمبيوتر، والاتصالات، والتطبيق والمعايير، وتقنيات تصميم وتنفيذ تلك المواصفات في البرامج و / أو الأجهزة ذات الموثوقية العالية.
في عام 2005، انتخب عضوا في الأكاديمية الصينية للعلوم. في عام 2013، تم الاحتفال بعيد ميلاده السبعين في جامعة شرق الصين للمعلمين مع مهرجان دولي لمدة ثلاثة أيام بالاشتراك مع المؤتمر الدولي للجوانب النظرية للحوسبة( ICTAC ). [3] [4]
كتب[عدل]
كتب هي جيفنغ عددًا من كتب علوم الكمبيوتر، بما في ذلك: [5]
هي جيفنغ ، تصحيح الأنظمة: نمذجة لغات الاتصال وتصميم المجمعين المحسنين . سلسلة McGraw-Hill International في البرمجيات ، 1995.(ردمك 978-0-07-709052-4) .
هي جيفنغ وتوني هور ، النظريات الموحدة للبرمجة . سلسلة برنتيس هول الدولية في علوم الكمبيوتر ، 1998.(ردمك 978-0-13-458761-5)رقم ISBN 978-0-13-458761-5 .
زايمينغ ليو وهي جيفنغ ، الأطر الرياضية لبرامج المكونات: نماذج للتحليل والتوليف . الشركة العلمية العالمية للنشر ، سلسلة تطوير البرمجيات القائمة على المكونات ، 2007.(ردمك 978-981-270-017-9)رقم ISBN 978-981-270-017-9 .
مراجع[عدل]
.mw-parser-output .reflist{font-size:90%;margin-bottom:0.5em;list-style-type:decimal;overflow-y:auto;max-height:300px}.mw-parser-output .reflist .references{font-size:100%;margin-bottom:0;list-style-type:inherit}.mw-parser-output .reflist-columns-2{column-width:30em}.mw-parser-output .reflist-columns-3{column-width:25em}.mw-parser-output .reflist-columns{margin-top:0.3em}.mw-parser-output .reflist-columns ol{margin-top:0}.mw-parser-output .reflist-columns li{page-break-inside:avoid;break-inside:avoid-column}.mw-parser-output .reflist-upper-alpha{list-style-type:upper-alpha}.mw-parser-output .reflist-upper-roman{list-style-type:upper-roman}.mw-parser-output .reflist-lower-alpha{list-style-type:lower-alpha}.mw-parser-output .reflist-lower-greek{list-style-type:lower-greek}.mw-parser-output .reflist-lower-roman{list-style-type:lower-roman}@media print{.mw-parser-output .reflist{overflow-y:visible!important;max-height:none!important}}
^ .mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:linear-gradient(transparent,transparent),url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:linear-gradient(transparent,transparent),url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:linear-gradient(transparent,transparent),url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:linear-gradient(transparent,transparent),url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:#d33}.mw-parser-output .cs1-visible-error{color:#d33}.mw-parser-output .cs1-maint{display:none;color:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}"He Jifeng"، www.namesviews.com، Brainstorm، مؤرشف من الأصل في 9 سبتمبر 2012، اطلع عليه بتاريخ 9 أبريل 2012.
^ "He Jifeng computer software expert"، Hangzhou Institute of Service Engineering], Hangzhou Normal University، مؤرشف من الأصل في 27 سبتمبر 2013، اطلع عليه بتاريخ 9 أبريل 2012.
^ "Festschrift Symposium in Honor of He Jifeng"، East China Normal University، 1–3 سبتمبر 2013، مؤرشف من الأصل في 26 سبتمبر 2013، اطلع عليه بتاريخ 13 سبتمبر 2013.
^ Liu, Zhiming؛ Woodcock, Jim؛ Zhu, Huibiao, المحررون (2013)، Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday، Lecture Notes in Computer Science، Springer، ج. 8051، doi:10.1007/978-3-642-39698-4، ISBN 978-3-642-39697-7.
^ "Books by He Jifeng"، Amazon.com.' |
مصدر HTML المعروض للمراجعة الجديدة (new_html) | '<div class="mw-parser-output"><p> <style data-mw-deduplicate="TemplateStyles:r59243152">.mw-parser-output .entete.aerostat{background:url("//upload.wikimedia.org/wikipedia/commons/7/7e/Picto_infobox_aerostat.png")no-repeat top right}.mw-parser-output .entete.aikido{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/1/1b/Aikido_pictogram.svg/40px-Aikido_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.alpinisme{background:url("//upload.wikimedia.org/wikipedia/commons/d/df/Picto_infobox_alpinisme.png")no-repeat top right}.mw-parser-output .entete.arbitre{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/a7/Referee_football_pictogram.svg/35px-Referee_football_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.arc{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/8/8e/Archery_pictogram.svg/35px-Archery_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.archives2{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Picto_infobox_archives.png")no-repeat top right}.mw-parser-output .entete.arduino,.mw-parser-output .entete.electro{background:url("//upload.wikimedia.org/wikipedia/commons/c/ce/Arduino_ftdi_chip-1.png")no-repeat top right}.mw-parser-output .entete.artiste{background:url("//upload.wikimedia.org/wikipedia/commons/f/f3/Picto_infobox_artiste.png")no-repeat top right}.mw-parser-output .entete.artsmartiauxjap{background:url("//upload.wikimedia.org/wikipedia/commons/8/81/Picto_infobox_samourai.png")no-repeat top right}.mw-parser-output .entete.association{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/e/ea/Collaboration_logo_infobox.svg/50px-Collaboration_logo_infobox.svg.png")no-repeat top right}.mw-parser-output .entete.athletisme{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/8/8f/Athletics_pictogram.svg/40px-Athletics_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.audio{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/a6/Gnome-speakernotes.png/35px-Gnome-speakernotes.png")no-repeat top right}.mw-parser-output .entete.auteur{background:url("//upload.wikimedia.org/wikipedia/commons/1/1e/Picto_infobox_auteur.png")no-repeat top right}.mw-parser-output .entete.autogire{background:url("//upload.wikimedia.org/wikipedia/commons/e/e6/Picto_Autogyro.png")no-repeat top right}.mw-parser-output .entete.automobile{background:url("//upload.wikimedia.org/wikipedia/commons/9/99/Picto_infobox_automobil.png")no-repeat top right}.mw-parser-output .entete.avion{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/f/f1/Airplane_silhouette_white.svg/40px-Airplane_silhouette_white.svg.png")no-repeat top right}.mw-parser-output .entete.aviron{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/5/57/Rowing_pictogram.svg/35px-Rowing_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.badminton{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/9/90/Badminton_pictogram.svg/35px-Badminton_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.baseball{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/3/3c/Baseball_pictogram.svg/35px-Baseball_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.basket-ball{background:url("//upload.wikimedia.org/wikipedia/commons/f/f4/Picto_Infobox_Basketball.png")no-repeat top right}.mw-parser-output .entete.bd{background:url("//upload.wikimedia.org/wikipedia/commons/2/2c/Picto_infobox_comicballoon.png")no-repeat top right}.mw-parser-output .entete.biathlon{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/0/00/Biathlon_pictogram.svg/40px-Biathlon_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.biere{background:url("//upload.wikimedia.org/wikipedia/commons/0/04/Picto_infobox_beer.png")no-repeat top right}.mw-parser-output .entete.book,.mw-parser-output .entete.universite{background:url("//upload.wikimedia.org/wikipedia/commons/4/42/Picto_infobox_book.png")no-repeat top right}.mw-parser-output .entete.boxe{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/c/c2/Boxing_pictogram.svg/35px-Boxing_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.calendrier{background:url("//upload.wikimedia.org/wikipedia/commons/4/4a/Almanacco.png")no-repeat top right}.mw-parser-output .entete.camera{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/8/80/Camera-photo.svg/120px-Camera-photo.svg.png")no-repeat top right}.mw-parser-output .entete.canada{background:url("//upload.wikimedia.org/wikipedia/commons/6/6a/Picto_infobox_Canada.png")no-repeat top right}.mw-parser-output .entete.cardinal{background:url("//upload.wikimedia.org/wikipedia/commons/0/03/Picto_infobox_cardinal.png")no-repeat top right}.mw-parser-output .entete.catch{background:url("//upload.wikimedia.org/wikipedia/commons/7/79/Picto_infobox_catch.png")no-repeat top right}.mw-parser-output .entete.chateau{background:url("//upload.wikimedia.org/wikipedia/commons/5/5c/Picto_infobox_chateau.png")no-repeat top right}.mw-parser-output .entete.chimie{background:url("//upload.wikimedia.org/wikipedia/commons/c/ce/Picto_infobox_chemistry_HUN.png")no-repeat top right}.mw-parser-output .entete.cinema{background:url("//upload.wikimedia.org/wikipedia/commons/e/ea/Picto_infobox_cinema.png")no-repeat top right}.mw-parser-output .entete.commonwealth{background:url("//upload.wikimedia.org/wikipedia/commons/d/db/Picto_infobox_Commonwealth.png")no-repeat top right}.mw-parser-output .entete.communication{background:url("//upload.wikimedia.org/wikipedia/commons/a/a2/Picto_infobox_antenna.png")no-repeat top right}.mw-parser-output .entete.cyclisme{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/8/86/Cycling_%28road%29_pictogram.svg/45px-Cycling_%28road%29_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.deportation{background:url("//upload.wikimedia.org/wikipedia/commons/e/e0/Picto_Infobox_deportation.png")no-repeat top right}.mw-parser-output .entete.diplomatie{background:url("//upload.wikimedia.org/wikipedia/commons/e/e0/Picto_infobox_ambassade.png")no-repeat top right}.mw-parser-output .entete.disney{background:url("//upload.wikimedia.org/wikipedia/commons/d/d3/Picto_infobox_Disney.png")no-repeat top right}.mw-parser-output .entete.droit{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/1/17/Balance%2C_by_David.svg/40px-Balance%2C_by_David.svg.png")no-repeat top right}.mw-parser-output .entete.drone-civil{background:url("//upload.wikimedia.org/wikipedia/commons/c/ce/Picto_infobox_civil_drone.png")no-repeat top right;background-size:45px 45px}.mw-parser-output .entete.egypte-antique{background:url("//upload.wikimedia.org/wikipedia/commons/c/cc/Picto_infobox_ancient_Egypt.png")no-repeat top right}.mw-parser-output .entete.entreprise{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/1/19/Factory_black.png/40px-Factory_black.png")no-repeat top right}.mw-parser-output .entete.entreprise-blanc{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/0/0e/Factory_white.png/40px-Factory_white.png")no-repeat top right}.mw-parser-output .entete.equitation{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/2/24/Equestrian_pictogram.svg/35px-Equestrian_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.escalade{background:url("//upload.wikimedia.org/wikipedia/commons/e/e1/Picto_infobox_escalade.png")no-repeat top right}.mw-parser-output .entete.escalade{background:url("//upload.wikimedia.org/wikipedia/commons/f/f4/Picto_infobox_alpinisme-escalade.png")no-repeat top right}.mw-parser-output .entete.escrime{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/0/02/Fencing_pictogram.svg/35px-Fencing_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.espagne{background:url("//upload.wikimedia.org/wikipedia/commons/1/11/Picto_Infobox_Coat_of_Arms_of_Spain.png")no-repeat top right}.mw-parser-output .entete.eveque{background:url("//upload.wikimedia.org/wikipedia/commons/b/b3/Picto_infobox_bishop.png")no-repeat top right}.mw-parser-output .entete.factory{background:url("//upload.wikimedia.org/wikipedia/commons/f/ff/Picto_infobox_enterprise.png")no-repeat top right}.mw-parser-output .entete.floorball{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/e/e9/Floorball_pictogram.svg/35px-Floorball_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.fondeur{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/6c/Cross_country_skiing_pictogram.svg/40px-Cross_country_skiing_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.football{background:url("//upload.wikimedia.org/wikipedia/commons/f/f8/Infobox_Football_pictogram.png")no-repeat top right}.mw-parser-output .entete.footballblack{background:url("//upload.wikimedia.org/wikipedia/commons/8/86/Picto_infobox_fotbal_2.png")no-repeat top right}.mw-parser-output .entete.footUS{background:url("//upload.wikimedia.org/wikipedia/commons/4/4e/Picto_Foot_US.png")no-repeat top right}.mw-parser-output .entete.futsal{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/b/b0/Futsal_pictogram.svg/35px-Futsal_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.golf{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/5/5f/Golf_pictogram.svg/35px-Golf_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.grappe{background:url("//upload.wikimedia.org/wikipedia/commons/7/73/Icone_oenobox.png")no-repeat top right}.mw-parser-output .entete.gymnastique{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/1/12/Gymnastics_%28artistic%29_pictogram.svg/35px-Gymnastics_%28artistic%29_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.handball{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/3/37/Handball_pictogram_white.svg/35px-Handball_pictogram_white.svg.png")no-repeat top right}.mw-parser-output .entete.handballblack{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/5/52/Handball_pictogram.svg/35px-Handball_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.helicoptere{background:url("//upload.wikimedia.org/wikipedia/commons/f/fa/Picto_infobox_helicopter.png")no-repeat top right}.mw-parser-output .entete.hockey{background:url("//upload.wikimedia.org/wikipedia/commons/e/ee/Picto_Infobox_Ice_hockey.png")no-repeat top right}.mw-parser-output .entete.hockey-sur-gazon{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/6b/Field_hockey_pictogram.svg/35px-Field_hockey_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.hospitaliers{background:url("//upload.wikimedia.org/wikipedia/commons/1/1e/Picto_infobox_Hospitaliers.png")no-repeat top right}.mw-parser-output .entete.humain{background:url("//upload.wikimedia.org/wikipedia/commons/8/82/Picto_infobox_manwoman.png")no-repeat top right}.mw-parser-output .entete.informatique{background:url("//upload.wikimedia.org/wikipedia/commons/a/ae/Picto-infoboxinfo.png")no-repeat top right}.mw-parser-output .entete.internet{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/2/2c/Web-browser-openclipart.svg/45px-Web-browser-openclipart.svg.png")no-repeat top right}.mw-parser-output .entete.israel-judaisme{background:url("//upload.wikimedia.org/wikipedia/commons/a/a5/Picto_infobox_israel-judaisme.png")no-repeat top right}.mw-parser-output .entete.jeu{background:url("//upload.wikimedia.org/wikipedia/commons/9/90/Picto_infobox_Game.png")no-repeat top right}.mw-parser-output .entete.jeu-role{background:url("//upload.wikimedia.org/wikipedia/commons/d/d8/Picto_infobox_Jeu_de_rôle.png")no-repeat top right}.mw-parser-output .entete.jeuvideo,.mw-parser-output .entete.jeuvideov3{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/69/Kontrollikon_1.0d_-_Grey.svg/35px-Kontrollikon_1.0d_-_Grey.svg.png")no-repeat top right}.mw-parser-output .entete.judo{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/f/fa/Judo_pictogram.svg/40px-Judo_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.karate{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/4/4e/Karate_pictogram.svg/40px-Karate_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.kayak{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/3/3c/Canoeing_%28flatwater%29_pictogram.svg/35px-Canoeing_%28flatwater%29_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.kickboxing{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/f/f1/Kickboxing_pictogram.svg/40px-Kickboxing_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.lutte{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/1/12/Wrestling_pictogram.svg/40px-Wrestling_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.macintosh{background:url("//upload.wikimedia.org/wikipedia/commons/2/20/Picto_infobox_Macintosh.png")no-repeat top right}.mw-parser-output .entete.malte{background:url("//upload.wikimedia.org/wikipedia/commons/e/e4/Picto_infobox_Malte.png")no-repeat top right}.mw-parser-output .entete.map{background:url("//upload.wikimedia.org/wikipedia/commons/7/7a/Picto_infobox_map.png")no-repeat top right}.mw-parser-output .entete.medecine{background:url("//upload.wikimedia.org/wikipedia/commons/2/23/Picto_infobox_med.png")no-repeat top right}.mw-parser-output .entete.mets{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Picto_infobox_mets.png")no-repeat top right}.mw-parser-output .entete.militaire{background:url("//upload.wikimedia.org/wikipedia/commons/0/03/Picto_infobox_military.png")no-repeat top right;background-size:45px 45px}.mw-parser-output .entete.money,.mw-parser-output .entete.money_coin{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/67/Money_Coin_Icon.svg/40px-Money_Coin_Icon.svg.png")no-repeat top right}.mw-parser-output .entete.montreal-metro,.mw-parser-output .entete.metro{background:url("//upload.wikimedia.org/wikipedia/commons/b/ba/Picto_infobox_Mtl_metro.png")no-repeat top right}.mw-parser-output .entete.montreal-train,.mw-parser-output .entete.train{background:url("//upload.wikimedia.org/wikipedia/commons/9/99/Picto_infobox_Mtl_train.png")no-repeat top right}.mw-parser-output .entete.moteur-avion{background:url("//upload.wikimedia.org/wikipedia/commons/9/9c/Picto_Infobox_moteur_d%27avion.png")no-repeat top right}.mw-parser-output .entete.mosque{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/4/49/Picto_infobox_Mosque.svg/35px-Picto_infobox_Mosque.svg.png")no-repeat top right}.mw-parser-output .entete.musee,.mw-parser-output .entete.museum,.mw-parser-output .entete.papyrus{background:url("//upload.wikimedia.org/wikipedia/commons/1/1b/Picto_infobox_papyrus.png")no-repeat top right}.mw-parser-output .entete.musique,.mw-parser-output .entete.music{background:url("//upload.wikimedia.org/wikipedia/commons/6/60/Picto_infobox_music.png")no-repeat top right}.mw-parser-output .entete.natation{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/0/0a/Swimming_pictogram_white.png/35px-Swimming_pictogram_white.png")no-repeat top right}.mw-parser-output .entete.nations-unies{background:url("//upload.wikimedia.org/wikipedia/commons/3/3a/Picto_infobox_UN.png")no-repeat top right}.mw-parser-output .entete.omnisports{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/5/5e/Sport3_icone.svg/35px-Sport3_icone.svg.png")no-repeat top right}.mw-parser-output .entete.palace{background:url("//upload.wikimedia.org/wikipedia/commons/5/5e/Pictogram_infobox_palace.png")no-repeat top right}.mw-parser-output .entete.paralympique{background:url("//upload.wikimedia.org/wikipedia/commons/5/5e/Picto_infobox_Paralympics.png")no-repeat top right}.mw-parser-output .entete.persofiction{background:url("//upload.wikimedia.org/wikipedia/commons/3/37/Picto_infobox_masks.png")no-repeat top right}.mw-parser-output .entete.petrole{background:url("//upload.wikimedia.org/wikipedia/commons/b/ba/Picto_Infobox_Oil.png")no-repeat top right}.mw-parser-output .entete.planeur{background:url("//upload.wikimedia.org/wikipedia/commons/5/54/Picto_infobox_planeur.png")no-repeat top right}.mw-parser-output .entete.plateforme{background:url("//upload.wikimedia.org/wikipedia/commons/5/5d/Picto_Infobox_Oil_Platform.png")no-repeat top right}.mw-parser-output .entete.poker{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/7/7d/Crystal_Clear_app_Cardgame-3.svg/50px-Crystal_Clear_app_Cardgame-3.svg.png")no-repeat top right}.mw-parser-output .entete.presse{background:url("//upload.wikimedia.org/wikipedia/commons/2/23/Picto_infobox_journal.png")no-repeat top right}.mw-parser-output .entete.pretendant{background:url("//upload.wikimedia.org/wikipedia/commons/5/5f/Picto_infobox_pr%C3%A9tendant_%C3%A0_un_tr%C3%B4ne.png")no-repeat top right}.mw-parser-output .entete.projet,.mw-parser-output .entete.project{background:url("//upload.wikimedia.org/wikipedia/commons/c/cb/Picto_infobox_tools.png")no-repeat top right}.mw-parser-output .entete.psychologie{background:url("//upload.wikimedia.org/wikipedia/commons/7/77/Picto_infobox_psycho.png")no-repeat top right}.mw-parser-output .entete.quebec{background:url("//upload.wikimedia.org/wikipedia/commons/2/21/Picto_infobox_Quebec.png")no-repeat top right}.mw-parser-output .entete.recherche{background:url("//upload.wikimedia.org/wikipedia/commons/c/c1/Picto_infobox_detective.png")no-repeat top right}.mw-parser-output .entete.rinkhockey{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/3/3b/Roller_hockey_pictogram.svg/35px-Roller_hockey_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.rome-antique{background:url("//upload.wikimedia.org/wikipedia/commons/3/3c/Picto_infobox_Roman_military_banner.png")no-repeat top right}.mw-parser-output .entete.route{background:url("//upload.wikimedia.org/wikipedia/commons/e/e7/Infobox_road_pictogram.png")no-repeat top right}.mw-parser-output .entete.rugby{background:url("//upload.wikimedia.org/wikipedia/commons/0/06/Picto_Infobox_Rugby.png")no-repeat top right}.mw-parser-output .entete.rugbyblack{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/f/f4/Rugby_union_pictogram.svg/35px-Rugby_union_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.satellite{background:url("//upload.wikimedia.org/wikipedia/commons/8/8d/Picto_infobox_satellite.png")no-repeat top right}.mw-parser-output .entete.sautski{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/3/3d/Ski_jumping_pictogram.svg/40px-Ski_jumping_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.science-fiction{background:url("//upload.wikimedia.org/wikipedia/commons/e/ed/Picto_infobox_fliyingsaucer.png")no-repeat top right}.mw-parser-output .entete.serie-video{background:url("//upload.wikimedia.org/wikipedia/commons/e/e0/Logo_television_blanc.png")no-repeat top right;background-size:45px 45px}.mw-parser-output .entete.ski-alpin{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/a1/Alpine_skiing_pictogram.svg/40px-Alpine_skiing_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.snooker{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/0/0d/Cue_sports_pictogram.svg/40px-Cue_sports_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.software{background:url("//upload.wikimedia.org/wikipedia/commons/f/fe/Picto_infobox_software.png")no-repeat top right}.mw-parser-output .entete.sport{background:url("//upload.wikimedia.org/wikipedia/commons/8/8e/Picto_infobox_Olympic.png")no-repeat top right}.mw-parser-output .entete.sport-automobile{background:url("//upload.wikimedia.org/wikipedia/commons/a/af/Picto_infobox_sport_auto.png")no-repeat top right}.mw-parser-output .entete.squash{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/da/Squash_pictogram.svg/35px-Squash_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.stadium{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/f/fd/Stadium.svg/40px-Stadium.svg.png")no-repeat top right}.mw-parser-output .entete.starwars{background:url("//upload.wikimedia.org/wikipedia/commons/f/f7/Star_Wars_Infobox_Pictogram.png")no-repeat top right}.mw-parser-output .entete.surf{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/f/fa/Surfing_pictogram.svg/35px-Surfing_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.taekwondo{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d3/Taekwondo_pictogram.svg/40px-Taekwondo_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.television{background:url("//upload.wikimedia.org/wikipedia/commons/a/a6/Picto_infobox_TV-T%26PC.png")no-repeat top right}.mw-parser-output .entete.templiers{background:url("//upload.wikimedia.org/wikipedia/commons/3/30/Picto_infobox_Templiers.png")no-repeat top right}.mw-parser-output .entete.tennis{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/e/ed/Tennis_pictogram_white.svg/35px-Tennis_pictogram_white.svg.png")no-repeat top right}.mw-parser-output .entete.tennis-de-table{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/9/9a/Table_tennis_pictogram_white.svg/40px-Table_tennis_pictogram_white.svg.png")no-repeat top right}.mw-parser-output .entete.tennis-de-tableblack{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/8/85/Table_tennis_pictogram.svg/35px-Table_tennis_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.timbre{background:url("//upload.wikimedia.org/wikipedia/commons/b/b3/Picto_infobox_Stamps.png")no-repeat top right}.mw-parser-output .entete.train{background:url("//upload.wikimedia.org/wikipedia/commons/3/3f/Infobox_train.png")no-repeat top right}.mw-parser-output .entete.triathlon{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/b/b1/Triathlon_pictogram.svg/40px-Triathlon_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.ultimate{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/e/e7/Ultimate_pictogram.svg/70px-Ultimate_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.union-europeenne{background:url("//upload.wikimedia.org/wikipedia/commons/c/c0/Picto_Infobox_Europe.png")no-repeat top right}.mw-parser-output .entete.video{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/2/20/Tango-video-x-generic.png/35px-Tango-video-x-generic.png")no-repeat top right}.mw-parser-output .entete.voile{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/c/c1/Sailing_pictogram.svg/40px-Sailing_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.volleyball{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/c/ca/Volleyball_%28indoor%29_pictogram.svg/35px-Volleyball_%28indoor%29_pictogram.svg.png")no-repeat top right}.mw-parser-output .entete.water-polo{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/0/0e/Water_polo_pictogram.svg/40px-Water_polo_pictogram.svg.png")no-repeat top right}</style>
</p>
<table class="infobox infobox_v2" cellspacing="3px">
<tbody><tr>
<th scope="col" colspan="2" class="entete humain" style="line-height:1.5em; background-color:#C0C0C0;color:#000000">هي جيفنغ
</th></tr>
<tr><th scope="col" colspan="2" style="text-align:center;background-color:#E1E1E1;color:#000000">何積豐
</th>
</tr><tr>
<th colspan="2" style="text-align:center;background-color:#E1E1E1;color:#000000"> معلومات شخصية
</th>
</tr><tr>
<th style="text-align: right; background-color:#F3F3F3;" scope="row">الميلاد</th>
<td style="">اغسطس 1943<br /><a href="/wiki/%D8%B4%D8%A7%D9%86%D8%BA%D9%87%D8%A7%D9%8A" title="شانغهاي">شانغهاي</a>، <a href="/wiki/%D8%A7%D9%84%D8%B5%D9%8A%D9%86" title="الصين">الصين</a></td>
</tr><tr>
<th style="text-align: right; background-color:#F3F3F3;" scope="row"><a href="/wiki/%D8%AC%D9%86%D8%B3%D9%8A%D8%A9" title="جنسية">الجنسية</a></th>
<td style=""><a href="/wiki/%D8%A7%D9%84%D8%B5%D9%8A%D9%86" title="الصين">الصين</a></td>
</tr><tr>
<th scope="col" colspan="2" style="text-align:center;background-color:#E1E1E1;color:#000000"> الحياة العملية
</th>
</tr><tr>
<th style="text-align: right; background-color:#F3F3F3;" scope="row"><a href="/wiki/%D9%85%D8%AF%D8%B1%D8%B3%D8%A9_%D8%A3%D9%85" title="مدرسة أم">المدرسة الأم</a></th>
<td style=""><a href="/wiki/%D8%AC%D8%A7%D9%85%D8%B9%D8%A9_%D9%81%D9%88%D8%AF%D8%A7%D9%86" title="جامعة فودان">جامعة فودان</a></td>
</tr><tr>
<th style="text-align: right; background-color:#F3F3F3;" scope="row">تخصص أكاديمي</th>
<td style=""><a href="/wiki/%D8%B9%D9%84%D9%85_%D8%A7%D9%84%D8%AD%D8%A7%D8%B3%D9%88%D8%A8" title="علم الحاسوب">علم الحاسوب</a>، <a href="/wiki/%D8%B7%D8%B1%D9%8A%D9%82%D8%A9_%D8%B4%D9%83%D9%84%D9%8A%D8%A9" title="طريقة شكلية">طريقة شكلية</a></td>
</tr><tr>
<th style="text-align: right; background-color:#F3F3F3;" scope="row">تعلم لدى</th>
<td style=""><a href="/wiki/%D8%AA%D9%88%D9%86%D9%8A_%D9%87%D9%88%D8%B1" title="توني هور">توني هور</a></td>
</tr><tr>
<th style="text-align: right; background-color:#F3F3F3;" scope="row">موظف في</th>
<td style="">جامعة شرق الصين الاعتيادية،
<p><a href="/wiki/%D8%AC%D8%A7%D9%85%D8%B9%D8%A9_%D8%A3%D9%83%D8%B3%D9%81%D9%88%D8%B1%D8%AF" title="جامعة أكسفورد">جامعة أكسفورد</a>،
<a href="/wiki/%D8%AC%D8%A7%D9%85%D8%B9%D8%A9_%D8%B4%D8%A7%D9%86%D8%BA%D9%87%D8%A7%D9%8A_%D8%AC%D9%8A%D8%A7%D9%88_%D8%AA%D9%88%D9%86%D8%BA" title="جامعة شانغهاي جياو تونغ">جامعة شانغهاي جياو تونغ</a>،
</p>
<a href="/wiki/%D8%AC%D8%A7%D9%85%D8%B9%D8%A9_%D8%A7%D9%84%D8%A3%D9%85%D9%85_%D8%A7%D9%84%D9%85%D8%AA%D8%AD%D8%AF%D8%A9" title="جامعة الأمم المتحدة">جامعة الأمم المتحدة</a></td>
</tr><tr>
<td colspan="2" style="text-align:center;background-color:#F9F9F9;color:#000000;"></td>
</tr><tr>
<td colspan="2" style="text-align:right;background-color:#F9F9F9;color:#000000;"></td>
</tr><tr>
<td class="navigation-only" colspan="2" style="border-top: 2px #E1E1E1 dotted; font-size: 80%; background:inherit; text-align: left;"><span class="plainlinks" style="float:right;"><a class="external text" href="https://ar.wikipedia.org/w/index.php?title=%D9%87%D9%8A_%D8%AC%D9%8A%D9%81%D9%86%D8%BA&action=edit&section=0"><span style="color:#555;">تعديل مصدري</span></a> - <a class="external text" href="https://ar.wikipedia.org/w/index.php?title=%D9%87%D9%8A_%D8%AC%D9%8A%D9%81%D9%86%D8%BA&veaction=edit"><span style="color:#555;">تعديل</span></a> </span> <a href="//ar.wikipedia.org/wiki/%D9%82%D8%A7%D9%84%D8%A8:%D8%B5%D9%86%D8%AF%D9%88%D9%82_%D9%85%D8%B9%D9%84%D9%88%D9%85%D8%A7%D8%AA_%D8%B4%D8%AE%D8%B5" title="طالع توثيق القالب"><img alt="طالع توثيق القالب" src="//upload.wikimedia.org/wikipedia/commons/thumb/3/38/Info_Simple.svg/12px-Info_Simple.svg.png" decoding="async" width="12" height="12" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/3/38/Info_Simple.svg/18px-Info_Simple.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/3/38/Info_Simple.svg/24px-Info_Simple.svg.png 2x" data-file-width="512" data-file-height="512" /></a></td></tr>
</tbody></table>
<p><b>هي جيفنغ</b> (في <a href="/wiki/%D8%AD%D8%B1%D9%88%D9%81_%D8%B5%D9%8A%D9%86%D9%8A%D8%A9_%D9%85%D8%A8%D8%B3%D8%B7%D8%A9" title="حروف صينية مبسطة">اللغة الصينية المبسطة</a>: 何积丰; في <a href="/wiki/%D8%AD%D8%B1%D9%88%D9%81_%D8%B5%D9%8A%D9%86%D9%8A%D8%A9_%D8%AA%D9%82%D9%84%D9%8A%D8%AF%D9%8A%D8%A9" title="حروف صينية تقليدية">اللغة الصينية التقليدية</a>: 何積豐; في <a href="/wiki/%D8%A8%D9%8A%D9%86%D9%8A%D9%8A%D9%86" title="بينيين">لغة بينيين</a>: <i>Hé Jīfēng;</i> من مواليد أغسطس <a href="/wiki/1943" title="1943">1943</a>) هو <a href="/wiki/%D8%B9%D8%A7%D9%84%D9%85_%D8%AD%D8%A7%D8%B3%D9%88%D8%A8" title="عالم حاسوب">عالم كمبيوتر</a> صيني. <sup id="cite_ref-brainstorm_1-0" class="reference"><a href="#cite_note-brainstorm-1">[1]</a></sup>
</p><p>تخرج هي جيفنغ من قسم <a href="/wiki/%D8%B1%D9%8A%D8%A7%D8%B6%D9%8A%D8%A7%D8%AA" title="رياضيات">الرياضيات</a> <a href="/wiki/%D8%AC%D8%A7%D9%85%D8%B9%D8%A9_%D9%81%D9%88%D8%AF%D8%A7%D9%86" title="جامعة فودان">بجامعة فودان</a> في عام <a href="/wiki/1965" title="1965">1965</a>. <sup id="cite_ref-2" class="reference"><a href="#cite_note-2">[2]</a></sup> من عام 1965 إلى عام <a href="/wiki/1985" title="1985">1985</a>، كان مدرسًا في <a href="/w/index.php?title=%D8%AC%D8%A7%D9%85%D8%B9%D8%A9_%D8%B4%D8%B1%D9%82_%D8%A7%D9%84%D8%B5%D9%8A%D9%86_%D8%A7%D9%84%D8%B9%D8%A7%D8%AF%D9%8A%D8%A9&action=edit&redlink=1" class="new" title="جامعة شرق الصين العادية (الصفحة غير موجودة)">جامعة شرق الصين للمعلمين</a>. خلال الفترة من <a href="/wiki/1980" title="1980">1980</a> إلى <a href="/wiki/1981" title="1981">1981</a>، كان أستاذًا زائرًا في <a href="/wiki/%D8%AC%D8%A7%D9%85%D8%B9%D8%A9_%D8%B3%D8%AA%D8%A7%D9%86%D9%81%D9%88%D8%B1%D8%AF" title="جامعة ستانفورد">جامعة ستانفورد</a> <a href="/wiki/%D8%AC%D8%A7%D9%85%D8%B9%D8%A9_%D8%B3%D8%A7%D9%86_%D9%81%D8%B1%D8%A7%D9%86%D8%B3%D9%8A%D8%B3%D9%83%D9%88" title="جامعة سان فرانسيسكو">وجامعة سان فرانسيسكو</a> في <a href="/wiki/%D9%83%D8%A7%D9%84%D9%8A%D9%81%D9%88%D8%B1%D9%86%D9%8A%D8%A7" title="كاليفورنيا">كاليفورنيا</a> بالولايات المتحدة.
</p><p>من عام <a href="/wiki/1984" title="1984">1984</a> إلى عام <a href="/wiki/1998" title="1998">1998</a>، كان هي جيفنغ زميلًا باحثًا أول في مجموعة أبحاث البرمجة في مختبر الحوسبة <a href="/wiki/%D8%AC%D8%A7%D9%85%D8%B9%D8%A9_%D8%A3%D9%83%D8%B3%D9%81%D9%88%D8%B1%D8%AF" title="جامعة أكسفورد">بجامعة أكسفورد</a> (<a href="/wiki/%D9%82%D8%B3%D9%85_%D8%B9%D9%84%D9%88%D9%85_%D8%A7%D9%84%D8%AD%D8%A7%D8%B3%D9%88%D8%A8_%D8%AC%D8%A7%D9%85%D8%B9%D8%A9_%D8%A3%D9%83%D8%B3%D9%81%D9%88%D8%B1%D8%AF" title="قسم علوم الحاسوب جامعة أكسفورد">قسم علوم الكمبيوتر بجامعة أكسفورد</a> حاليًا). عمل على نطاق واسع في الجوانب <a href="/wiki/%D8%B7%D8%B1%D9%8A%D9%82%D8%A9_%D8%B4%D9%83%D9%84%D9%8A%D8%A9" title="طريقة شكلية">الشكلية</a> <a href="/wiki/%D8%B9%D9%84%D9%85_%D8%A7%D9%84%D8%AD%D8%A7%D8%B3%D9%88%D8%A8" title="علم الحاسوب">لعلوم الحوسبة</a>. على وجه الخصوص، عمل مع البروفيسور السير <a href="/wiki/%D8%AA%D9%88%D9%86%D9%8A_%D9%87%D9%88%D8%B1" title="توني هور">توني هور</a>، حول <a href="/w/index.php?title=%D8%AA%D9%88%D8%AD%D9%8A%D8%AF_%D9%86%D8%B8%D8%B1%D9%8A%D8%A7%D8%AA_%D8%A7%D9%84%D8%A8%D8%B1%D9%85%D8%AC%D8%A9&action=edit&redlink=1" class="new" title="توحيد نظريات البرمجة (الصفحة غير موجودة)">توحيد نظريات البرمجة</a>، مما أدى إلى كتاب بهذا الاسم.
</p><p>منذ عام 1986، شغل هي جيفنغ منصب أستاذ علوم الكمبيوتر في جامعة شرق الصين للمعلمين في <a href="/wiki/%D8%B4%D9%86%D8%BA%D9%87%D8%A7%D9%8A" class="mw-redirect" title="شنغهاي">شنغهاي</a>. في عام <a href="/wiki/1996" title="1996">1996</a>، أصبح أيضًا أستاذًا لعلوم الكمبيوتر في <a href="/wiki/%D8%AC%D8%A7%D9%85%D8%B9%D8%A9_%D8%B4%D8%A7%D9%86%D8%BA%D9%87%D8%A7%D9%8A_%D8%AC%D9%8A%D8%A7%D9%88_%D8%AA%D9%88%D9%86%D8%BA" title="جامعة شانغهاي جياو تونغ">جامعة شنغهاي جياو تونغ</a> .
</p><p>في عام <a href="/wiki/1998" title="1998">1998</a>، أصبح زميلًا باحثًا أول في <a href="/w/index.php?title=%D8%A7%D9%84%D9%85%D8%B9%D9%87%D8%AF_%D8%A7%D9%84%D8%AF%D9%88%D9%84%D9%8A_%D9%84%D8%AA%D9%83%D9%86%D9%88%D9%84%D9%88%D8%AC%D9%8A%D8%A7_%D8%A7%D9%84%D8%A8%D8%B1%D9%85%D8%AC%D9%8A%D8%A7%D8%AA&action=edit&redlink=1" class="new" title="المعهد الدولي لتكنولوجيا البرمجيات (الصفحة غير موجودة)">المعهد الدولي لتكنولوجيا البرمجيات</a> ، <a href="/wiki/%D8%AC%D8%A7%D9%85%D8%B9%D8%A9_%D8%A7%D9%84%D8%A3%D9%85%D9%85_%D8%A7%D9%84%D9%85%D8%AA%D8%AD%D8%AF%D8%A9" title="جامعة الأمم المتحدة">في جامعة الأمم المتحدة</a>، ومقره <a href="/wiki/%D9%85%D8%A7%D9%83%D8%A7%D9%88" title="ماكاو">ماكاو</a>. عاد إلى <a href="/wiki/%D8%B4%D9%86%D8%BA%D9%87%D8%A7%D9%8A" class="mw-redirect" title="شنغهاي">شنغهاي</a> في <a href="/wiki/2005" title="2005">2005</a>.
</p><p>تشمل الاهتمامات البحثية لهي جيفنغ طرقًا سليمة لمواصفات أنظمة الكمبيوتر، والاتصالات، والتطبيق والمعايير، وتقنيات تصميم وتنفيذ تلك المواصفات في البرامج و / أو الأجهزة ذات الموثوقية العالية.
</p><p>في عام <a href="/wiki/2005" title="2005">2005</a>، انتخب عضوا في <a href="/wiki/%D8%A7%D9%84%D8%A3%D9%83%D8%A7%D8%AF%D9%8A%D9%85%D9%8A%D8%A9_%D8%A7%D9%84%D8%B5%D9%8A%D9%86%D9%8A%D8%A9_%D9%84%D9%84%D8%B9%D9%84%D9%88%D9%85" title="الأكاديمية الصينية للعلوم">الأكاديمية الصينية للعلوم</a>. في عام <a href="/wiki/2013" title="2013">2013</a>، تم الاحتفال بعيد ميلاده السبعين في جامعة شرق الصين للمعلمين مع مهرجان دولي لمدة ثلاثة أيام بالاشتراك مع <i>المؤتمر الدولي للجوانب النظرية للحوسبة</i>( <a href="/wiki/Festschrift" title="Festschrift">ICTAC</a> ). <sup id="cite_ref-3" class="reference"><a href="#cite_note-3">[3]</a></sup> <sup id="cite_ref-4" class="reference"><a href="#cite_note-4">[4]</a></sup>
</p>
<h2><span id=".D9.83.D8.AA.D8.A8"></span><span class="mw-headline" id="كتب">كتب</span><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=%D9%87%D9%8A_%D8%AC%D9%8A%D9%81%D9%86%D8%BA&action=edit&section=1" title="عدل القسم: كتب">عدل</a><span class="mw-editsection-bracket">]</span></span></h2>
<p>كتب هي جيفنغ عددًا من كتب علوم الكمبيوتر، بما في ذلك: <sup id="cite_ref-5" class="reference"><a href="#cite_note-5">[5]</a></sup>
</p>
<ul><li>هي جيفنغ ، <i>تصحيح الأنظمة: نمذجة لغات الاتصال وتصميم المجمعين المحسنين</i> . سلسلة <a href="/wiki/%D9%85%D8%A7%D9%83%D8%AC%D8%B1%D9%88_%D9%87%D9%8A%D9%84_%D8%A7%D9%84%D8%AA%D8%B9%D9%84%D9%8A%D9%85" title="ماكجرو هيل التعليم">McGraw-Hill</a> International في البرمجيات ، 1995.(<span dir="rtl">ردمك <span dir="ltr"><a href="/wiki/%D8%AE%D8%A7%D8%B5:%D9%85%D8%B5%D8%A7%D8%AF%D8%B1_%D9%83%D8%AA%D8%A7%D8%A8/978-0-07-709052-4" title="خاص:مصادر كتاب/978-0-07-709052-4">978-0-07-709052-4</a></span></span>) .</li>
<li>هي جيفنغ و<a href="/wiki/%D8%AA%D9%88%D9%86%D9%8A_%D9%87%D9%88%D8%B1" title="توني هور">توني هور</a> ، <i>النظريات الموحدة للبرمجة</i> . سلسلة برنتيس هول الدولية في علوم الكمبيوتر ، 1998.(<span dir="rtl">ردمك <span dir="ltr"><a href="/wiki/%D8%AE%D8%A7%D8%B5:%D9%85%D8%B5%D8%A7%D8%AF%D8%B1_%D9%83%D8%AA%D8%A7%D8%A8/978-0-13-458761-5" title="خاص:مصادر كتاب/978-0-13-458761-5">978-0-13-458761-5</a></span></span>)<a href="/wiki/ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">رقم ISBN</a> <a href="/wiki/%D8%AE%D8%A7%D8%B5:%D9%85%D8%B5%D8%A7%D8%AF%D8%B1_%D9%83%D8%AA%D8%A7%D8%A8/978-0-13-458761-5" title="خاص:مصادر كتاب/978-0-13-458761-5">978-0-13-458761-5</a> .</li>
<li>زايمينغ ليو وهي جيفنغ ، <i>الأطر الرياضية لبرامج المكونات: نماذج للتحليل والتوليف</i> . الشركة العلمية العالمية للنشر ، سلسلة تطوير البرمجيات القائمة على المكونات ، 2007.(<span dir="rtl">ردمك <span dir="ltr"><a href="/wiki/%D8%AE%D8%A7%D8%B5:%D9%85%D8%B5%D8%A7%D8%AF%D8%B1_%D9%83%D8%AA%D8%A7%D8%A8/978-981-270-017-9" title="خاص:مصادر كتاب/978-981-270-017-9">978-981-270-017-9</a></span></span>)<a href="/wiki/ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">رقم ISBN</a> <a href="/wiki/%D8%AE%D8%A7%D8%B5:%D9%85%D8%B5%D8%A7%D8%AF%D8%B1_%D9%83%D8%AA%D8%A7%D8%A8/978-981-270-017-9" title="خاص:مصادر كتاب/978-981-270-017-9">978-981-270-017-9</a> .</li></ul>
<h2><span id=".D9.85.D8.B1.D8.A7.D8.AC.D8.B9"></span><span class="mw-headline" id="مراجع">مراجع</span><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=%D9%87%D9%8A_%D8%AC%D9%8A%D9%81%D9%86%D8%BA&action=edit&section=2" title="عدل القسم: مراجع">عدل</a><span class="mw-editsection-bracket">]</span></span></h2>
<style data-mw-deduplicate="TemplateStyles:r56810696">.mw-parser-output .reflist{font-size:90%;margin-bottom:0.5em;list-style-type:decimal;overflow-y:auto;max-height:300px}.mw-parser-output .reflist .references{font-size:100%;margin-bottom:0;list-style-type:inherit}.mw-parser-output .reflist-columns-2{column-width:30em}.mw-parser-output .reflist-columns-3{column-width:25em}.mw-parser-output .reflist-columns{margin-top:0.3em}.mw-parser-output .reflist-columns ol{margin-top:0}.mw-parser-output .reflist-columns li{page-break-inside:avoid;break-inside:avoid-column}.mw-parser-output .reflist-upper-alpha{list-style-type:upper-alpha}.mw-parser-output .reflist-upper-roman{list-style-type:upper-roman}.mw-parser-output .reflist-lower-alpha{list-style-type:lower-alpha}.mw-parser-output .reflist-lower-greek{list-style-type:lower-greek}.mw-parser-output .reflist-lower-roman{list-style-type:lower-roman}@media print{.mw-parser-output .reflist{overflow-y:visible!important;max-height:none!important}}</style><div class="reflist">
<div class="mw-references-wrap"><ol class="references">
<li id="cite_note-brainstorm-1"><span class="mw-cite-backlink"><b><a href="#cite_ref-brainstorm_1-0">^</a></b></span> <span class="reference-text"><style data-mw-deduplicate="TemplateStyles:r57313094">.mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:linear-gradient(transparent,transparent),url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:linear-gradient(transparent,transparent),url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:linear-gradient(transparent,transparent),url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:linear-gradient(transparent,transparent),url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:#d33}.mw-parser-output .cs1-visible-error{color:#d33}.mw-parser-output .cs1-maint{display:none;color:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}</style><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://archive.today/20120909043555/http://www.namesviews.com/people/He-Jifeng-662">"He Jifeng"</a>، <i>www.namesviews.com</i>، Brainstorm، مؤرشف من <a rel="nofollow" class="external text" href="http://www.namesviews.com/people/He-Jifeng-662">الأصل</a> في 9 سبتمبر 2012<span class="reference-accessdate">، اطلع عليه بتاريخ 9 أبريل 2012</span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=unknown&rft.jtitle=www.namesviews.com&rft.atitle=He+Jifeng&rft_id=http%3A%2F%2Fwww.namesviews.com%2Fpeople%2FHe-Jifeng-662&rfr_id=info%3Asid%2Far.wikipedia.org%3A%D9%87%D9%8A+%D8%AC%D9%8A%D9%81%D9%86%D8%BA" class="Z3988"></span></span>
</li>
<li id="cite_note-2"><span class="mw-cite-backlink"><b><a href="#cite_ref-2">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r57313094"/><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://web.archive.org/web/20130927114628/http://hise.hznu.edu.cn/enNewsShow.aspx?ID=158">"He Jifeng computer software expert"</a>، Hangzhou Institute of Service Engineering], <a href="/w/index.php?title=Hangzhou_Normal_University&action=edit&redlink=1" class="new" title="Hangzhou Normal University (الصفحة غير موجودة)">Hangzhou Normal University</a>، مؤرشف من <a rel="nofollow" class="external text" href="http://hise.hznu.edu.cn/enNewsShow.aspx?ID=158">الأصل</a> في 27 سبتمبر 2013<span class="reference-accessdate">، اطلع عليه بتاريخ 9 أبريل 2012</span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=unknown&rft.btitle=He+Jifeng+computer+software+expert&rft.pub=Hangzhou+Institute+of+Service+Engineering%5D%2C+Hangzhou+Normal+University&rft_id=http%3A%2F%2Fhise.hznu.edu.cn%2FenNewsShow.aspx%3FID%3D158&rfr_id=info%3Asid%2Far.wikipedia.org%3A%D9%87%D9%8A+%D8%AC%D9%8A%D9%81%D9%86%D8%BA" class="Z3988"></span></span>
</li>
<li id="cite_note-3"><span class="mw-cite-backlink"><b><a href="#cite_ref-3">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r57313094"/><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://web.archive.org/web/20130926074220/http://ictac2013.ecnu.edu.cn/festschrift.htm">"Festschrift Symposium in Honor of He Jifeng"</a>، <a href="/w/index.php?title=East_China_Normal_University&action=edit&redlink=1" class="new" title="East China Normal University (الصفحة غير موجودة)">East China Normal University</a>، 1–3 سبتمبر 2013، مؤرشف من <a rel="nofollow" class="external text" href="http://ictac2013.ecnu.edu.cn/festschrift.htm">الأصل</a> في 26 سبتمبر 2013<span class="reference-accessdate">، اطلع عليه بتاريخ 13 سبتمبر 2013</span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=unknown&rft.btitle=Festschrift+Symposium+in+Honor+of+He+Jifeng&rft.pub=East+China+Normal+University&rft.date=2013-09-01%2F2013-09-03&rft_id=http%3A%2F%2Fictac2013.ecnu.edu.cn%2Ffestschrift.htm&rfr_id=info%3Asid%2Far.wikipedia.org%3A%D9%87%D9%8A+%D8%AC%D9%8A%D9%81%D9%86%D8%BA" class="Z3988"></span></span>
</li>
<li id="cite_note-4"><span class="mw-cite-backlink"><b><a href="#cite_ref-4">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r57313094"/><cite id="CITEREFLiuWoodcockZhu2013" class="citation book cs1"><a href="/w/index.php?title=Zhiming_Liu_(computer_scientist)&action=edit&redlink=1" class="new" title="Zhiming Liu (computer scientist) (الصفحة غير موجودة)">Liu, Zhiming</a>؛ <a href="/w/index.php?title=Jim_Woodcock&action=edit&redlink=1" class="new" title="Jim Woodcock (الصفحة غير موجودة)">Woodcock, Jim</a>؛ Zhu, Huibiao, المحررون (2013)، <i>Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday</i>، <a href="/w/index.php?title=Lecture_Notes_in_Computer_Science&action=edit&redlink=1" class="new" title="Lecture Notes in Computer Science (الصفحة غير موجودة)">Lecture Notes in Computer Science</a>، <a href="/wiki/Springer-Verlag" class="mw-redirect" title="Springer-Verlag">Springer</a>، ج. 8051، <a href="/wiki/%D9%85%D8%B9%D8%B1%D9%81_%D8%A7%D9%84%D8%BA%D8%B1%D8%B6_%D8%A7%D9%84%D8%B1%D9%82%D9%85%D9%8A" title="معرف الغرض الرقمي">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1007%2F978-3-642-39698-4">10.1007/978-3-642-39698-4</a>، <a href="/wiki/%D8%A7%D9%84%D9%86%D8%B8%D8%A7%D9%85_%D8%A7%D9%84%D9%82%D9%8A%D8%A7%D8%B3%D9%8A_%D8%A7%D9%84%D8%AF%D9%88%D9%84%D9%8A_%D9%84%D8%AA%D8%B1%D9%82%D9%8A%D9%85_%D8%A7%D9%84%D9%83%D8%AA%D8%A8" title="النظام القياسي الدولي لترقيم الكتب">ISBN</a> <a href="/wiki/%D8%AE%D8%A7%D8%B5:%D9%85%D8%B5%D8%A7%D8%AF%D8%B1_%D9%83%D8%AA%D8%A7%D8%A8/978-3-642-39697-7" title="خاص:مصادر كتاب/978-3-642-39697-7"><bdi>978-3-642-39697-7</bdi></a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Theories+of+Programming+and+Formal+Methods%3A+Essays+Dedicated+to+Jifeng+He+on+the+Occasion+of+His+70th+Birthday&rft.series=Lecture+Notes+in+Computer+Science&rft.pub=Springer&rft.date=2013&rft_id=info%3Adoi%2F10.1007%2F978-3-642-39698-4&rft.isbn=978-3-642-39697-7&rfr_id=info%3Asid%2Far.wikipedia.org%3A%D9%87%D9%8A+%D8%AC%D9%8A%D9%81%D9%86%D8%BA" class="Z3988"></span></span>
</li>
<li id="cite_note-5"><span class="mw-cite-backlink"><b><a href="#cite_ref-5">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r57313094"/><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://www.amazon.com/s/ref=nb_ss?url=search-alias%3Daps&field-keywords=He+Jifeng">"Books by He Jifeng"</a>، <i><a href="/wiki/Amazon.com" class="mw-redirect" title="Amazon.com">Amazon.com</a></i>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=unknown&rft.jtitle=Amazon.com&rft.atitle=Books+by+He+Jifeng&rft_id=https%3A%2F%2Fwww.amazon.com%2Fs%2Fref%3Dnb_ss%3Furl%3Dsearch-alias%253Daps%26field-keywords%3DHe%2BJifeng&rfr_id=info%3Asid%2Far.wikipedia.org%3A%D9%87%D9%8A+%D8%AC%D9%8A%D9%81%D9%86%D8%BA" class="Z3988"></span></span>
</li>
</ol></div></div></div>' |
