Nancy Leveson (original) (raw)
نانسي ليفسون (بالإنجليزية: Nancy Leveson)نانسي ج ليفسون هي رئيسة الخبراء الأمريكيين في سلامة و أمان نظم البرامج, هي بروفيسور في الملاحة الجوية و الفضائية في معهد ماساتشوستس للتقنية,أمريكا.نانسي ليفسون حاصلة على شهادات في علوم ( الكومبيوتر, الرياضيات, الإدارة) من جامعة كاليفورنيا,لوس أنجلوس, كما أنها حاصلة على شهادة دكتوراه في عام 1980.عملت في جامعة كاليفورنيا، إرفاين و في جامعة واشنطن كعضو في هيئة التدريس. درست نظم الحياة الحرجة(التي من الممكن أن تسبب الوفاة أو اصابة للإنسان,أن تسبب أذى للبيئة) مثل نظام تجنب التصادم الجوي لتجنب التصادم الجوي بين الطائرات و المشاكل الناتجة من جهاز العلاج الإشعاعي ثيراك 25.تشغل ليفسون أيضاً منصب محرر في جريدة IEEE Transactions on Software Engineering. و هي عضو في رابطة مكائن الحوسبة, آي تريبل إي, مجتمع المعلوماتية, المعهد الأمريكي للملاحة الجوية و الفضائية.
| Property | Value |
|---|---|
| dbo:abstract | نانسي ليفسون (بالإنجليزية: Nancy Leveson)نانسي ج ليفسون هي رئيسة الخبراء الأمريكيين في سلامة و أمان نظم البرامج, هي بروفيسور في الملاحة الجوية و الفضائية في معهد ماساتشوستس للتقنية,أمريكا.نانسي ليفسون حاصلة على شهادات في علوم ( الكومبيوتر, الرياضيات, الإدارة) من جامعة كاليفورنيا,لوس أنجلوس, كما أنها حاصلة على شهادة دكتوراه في عام 1980.عملت في جامعة كاليفورنيا، إرفاين و في جامعة واشنطن كعضو في هيئة التدريس. درست نظم الحياة الحرجة(التي من الممكن أن تسبب الوفاة أو اصابة للإنسان,أن تسبب أذى للبيئة) مثل نظام تجنب التصادم الجوي لتجنب التصادم الجوي بين الطائرات و المشاكل الناتجة من جهاز العلاج الإشعاعي ثيراك 25.تشغل ليفسون أيضاً منصب محرر في جريدة IEEE Transactions on Software Engineering. و هي عضو في رابطة مكائن الحوسبة, آي تريبل إي, مجتمع المعلوماتية, المعهد الأمريكي للملاحة الجوية و الفضائية. (ar) Nancy G. Leveson ist eine US-amerikanische Informatikerin (Software-Ingenieurin), Luft- und Raumfahrtingenieurin, Systemingenieurin und Hochschullehrerin am Massachusetts Institute of Technology (MIT). Sie befasst sich mit Software-Sicherheit. Leveson wurde 1980 an der University of California, Los Angeles, bei Daniel Berry promoviert (Applying Behavioral Abstraction to Information System Design and Integrity). Sie war Professorin für Informatik an der University of California, Irvine, ab 1993 Boeing Professorin für Informatik und Ingenieurswesen an der University of Washington und wechselte später an das MIT. Sie befasst sich mit Software-Ingenieurwesen und System- und Softwaresicherheit besonders in sicherheitskritischen Realzeit-Anwendungen und berät auf diesem Gebiet auch extensiv in der Industrie und unter anderem bei der NASA. Von ihr und ihren Studenten stammt zum Beispiel der von der FAA übernommene Entwurf der Sicherheitsanforderungen für Traffic Alert and Collision Avoidance System II. Sie benutzt dabei eine über die übliche Ereignisketten-Simulation hinausgehende systemtheoretische Modellierung von Unfällen (STAMP). Sie untersuchte auch deren Anwendung über die Ingenieurwissenschaften hinaus zum Beispiel bei der Sicherheit in Krankenhäusern, von Medikamenten, im Finanzsektor. 1999 erhielt sie den ACM-AAAI Allen Newell Award, 1995 den AIAA Information Systems Award und 2005 erhielt sie den ACM Sigsoft Outstanding Research Award. Sie ist Mitglied der National Academy of Engineering. Sie ist Fellow der Association for Computing Machinery. (de) Nancy G. Leveson is an American specialist in system and software safety and a Professor of Aeronautics and Astronautics at MIT, United States. Leveson gained her degrees (in computer science, mathematics and management) from UCLA, including her PhD in 1980. Previously she worked at University of California, Irvine and the University of Washington as a faculty member. She has studied safety-critical systems such as the Traffic Collision Avoidance System (TCAS) for the avoidance of midair collisions between aircraft and problems with the Therac-25 radiation therapy machine. Leveson has been editor of the journal IEEE Transactions on Software Engineering. She has held memberships in the ACM, IEEE Computer Society, System Safety Society, and AIAA. (en) ナンシー・レブソン（英語:Nancy Gail Leveson）は、MITの航空宇宙学教授。安全工学の専門家でもある。 カリフォルニア大学アーバイン校とワシントン大学 (ワシントン州)で教員として勤務した後、UCLAで数学・コンピュータ科学・管理学の学位を取得した。放射線治療装置「セラック25」の異常動作回避、航空機の空中衝突防止装置（TCAS）など、マンマシンインターフェースの安全性向上に関する研究を行った。 ジャーナル en:IEEE Transactions on Software Engineering の編集者でもある。彼女は、 ACM、IEEE Computer Society、System Safety Society、およびアメリカ航空宇宙学会(AIAA)の会員資格を持つ。 (ja) |
| dbo:wikiPageExternalLink | http://sunnyday.mit.edu/papers/therac.pdf https://direct.mit.edu/books/book/2908/Engineering-a-Safer-WorldSystems-Thinking-Applied https://mitpress.mit.edu/books/engineering-safer-world http://sunnyday.mit.edu/ http://sunnyday.mit.edu/book.html https://books.google.com/books%3Fid=rygf6axAH7UC&dq=Resilience+Engineering:+Concepts+and+Precepts&lr=&source=gbs_navlinks_s |
| dbo:wikiPageID | 12008094 (xsd:integer) |
| dbo:wikiPageLength | 5896 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1078721721 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:American_Institute_of_Aeronautics_and_Astronautics dbr:United_States dbr:University_of_California,_Irvine dbr:University_of_Washington dbc:21st-century_American_women dbc:Living_people dbc:Year_of_birth_missing_(living_people) dbr:MIT dbc:Academic_journal_editors dbc:American_computer_scientists dbc:American_non-fiction_writers dbc:American_women_academics dbc:American_women_computer_scientists dbc:Members_of_the_United_States_National_Academy_of_Engineering dbc:University_of_California,_Irvine_faculty dbc:University_of_California,_Los_Angeles_alumni dbr:UCLA dbr:Addison-Wesley dbc:MIT_School_of_Engineering_faculty dbr:Traffic_Collision_Avoidance_System dbr:Astronautics dbr:Association_for_Computing_Machinery dbr:Accident_analysis dbc:University_of_Washington_faculty dbc:Formal_methods_people dbc:Computer_science_writers dbr:Ashgate_Publishing dbr:Institute_of_Electrical_and_Electronics_Engineers dbr:National_Academy_of_Engineering dbr:IEEE_Medal_for_Environmental_and_Safety_Technologies dbr:IEEE_Transactions_on_Software_Engineering dbr:IEEE_Computer_Society dbr:Therac-25 dbr:Safety-critical_system dbr:System_safety |
| dbp:wikiPageUsesTemplate | dbt:DBLP dbt:Anchor dbt:Authority_control dbt:Citation_needed dbt:ISBN dbt:More_citations_needed dbt:Multiple_issues dbt:Reflist dbt:Short_description dbt:Software_engineering dbt:BLP_primary_sources dbt:US-academic-scientist-stub |
| dct:subject | dbc:21st-century_American_women dbc:Living_people dbc:Year_of_birth_missing_(living_people) dbc:Academic_journal_editors dbc:American_computer_scientists dbc:American_non-fiction_writers dbc:American_women_academics dbc:American_women_computer_scientists dbc:Members_of_the_United_States_National_Academy_of_Engineering dbc:University_of_California,_Irvine_faculty dbc:University_of_California,_Los_Angeles_alumni dbc:MIT_School_of_Engineering_faculty dbc:University_of_Washington_faculty dbc:Formal_methods_people dbc:Computer_science_writers |
| gold:hypernym | dbr:Expert |
| schema:sameAs | http://viaf.org/viaf/177497 |
| rdf:type | owl:Thing dbo:Person yago:WikicatAmericanComputerScientists yago:WikicatAmericanNon-fictionWriters yago:WikicatComputerScienceWriters yago:WikicatLivingPeople yago:WikicatWomenComputerScientists yago:CausalAgent100007347 yago:Communicator109610660 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Editor110044879 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:Worker109632518 yago:Writer110794014 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scientist110560637 yago:SkilledWorker110605985 yago:Whole100003553 yago:WikicatAcademicJournalEditors yago:WikicatFormalMethodsPeople |
| rdfs:comment | نانسي ليفسون (بالإنجليزية: Nancy Leveson)نانسي ج ليفسون هي رئيسة الخبراء الأمريكيين في سلامة و أمان نظم البرامج, هي بروفيسور في الملاحة الجوية و الفضائية في معهد ماساتشوستس للتقنية,أمريكا.نانسي ليفسون حاصلة على شهادات في علوم ( الكومبيوتر, الرياضيات, الإدارة) من جامعة كاليفورنيا,لوس أنجلوس, كما أنها حاصلة على شهادة دكتوراه في عام 1980.عملت في جامعة كاليفورنيا، إرفاين و في جامعة واشنطن كعضو في هيئة التدريس. درست نظم الحياة الحرجة(التي من الممكن أن تسبب الوفاة أو اصابة للإنسان,أن تسبب أذى للبيئة) مثل نظام تجنب التصادم الجوي لتجنب التصادم الجوي بين الطائرات و المشاكل الناتجة من جهاز العلاج الإشعاعي ثيراك 25.تشغل ليفسون أيضاً منصب محرر في جريدة IEEE Transactions on Software Engineering. و هي عضو في رابطة مكائن الحوسبة, آي تريبل إي, مجتمع المعلوماتية, المعهد الأمريكي للملاحة الجوية و الفضائية. (ar) ナンシー・レブソン（英語:Nancy Gail Leveson）は、MITの航空宇宙学教授。安全工学の専門家でもある。 カリフォルニア大学アーバイン校とワシントン大学 (ワシントン州)で教員として勤務した後、UCLAで数学・コンピュータ科学・管理学の学位を取得した。放射線治療装置「セラック25」の異常動作回避、航空機の空中衝突防止装置（TCAS）など、マンマシンインターフェースの安全性向上に関する研究を行った。 ジャーナル en:IEEE Transactions on Software Engineering の編集者でもある。彼女は、 ACM、IEEE Computer Society、System Safety Society、およびアメリカ航空宇宙学会(AIAA)の会員資格を持つ。 (ja) Nancy G. Leveson ist eine US-amerikanische Informatikerin (Software-Ingenieurin), Luft- und Raumfahrtingenieurin, Systemingenieurin und Hochschullehrerin am Massachusetts Institute of Technology (MIT). Sie befasst sich mit Software-Sicherheit. 1999 erhielt sie den ACM-AAAI Allen Newell Award, 1995 den AIAA Information Systems Award und 2005 erhielt sie den ACM Sigsoft Outstanding Research Award. Sie ist Mitglied der National Academy of Engineering. Sie ist Fellow der Association for Computing Machinery. (de) Nancy G. Leveson is an American specialist in system and software safety and a Professor of Aeronautics and Astronautics at MIT, United States. Leveson gained her degrees (in computer science, mathematics and management) from UCLA, including her PhD in 1980. Previously she worked at University of California, Irvine and the University of Washington as a faculty member. She has studied safety-critical systems such as the Traffic Collision Avoidance System (TCAS) for the avoidance of midair collisions between aircraft and problems with the Therac-25 radiation therapy machine. (en) |
| rdfs:label | نانسي ليفسون (ar) Nancy Leveson (de) ナンシー・レブソン (ja) Nancy Leveson (en) |
| owl:sameAs | freebase:Nancy Leveson http://viaf.org/viaf/177497 yago-res:Nancy Leveson https://dblp.org/pid/l/NGLeveson wikidata:Nancy Leveson dbpedia-ar:Nancy Leveson dbpedia-de:Nancy Leveson dbpedia-ja:Nancy Leveson http://mg.dbpedia.org/resource/Nancy_Leveson dbpedia-oc:Nancy Leveson https://global.dbpedia.org/id/Dm2o |
| prov:wasDerivedFrom | wikipedia-en:Nancy_Leveson?oldid=1078721721&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Nancy_Leveson |
| is dbo:influenced of | dbr:Jens_Rasmussen_(human_factors_expert) |
| is dbo:wikiPageDisambiguates of | dbr:Leveson |
| is dbo:wikiPageRedirects of | dbr:STAMP_(accident_analysis) dbr:Nancy_G._Leveson |
| is dbo:wikiPageWikiLink of | dbr:N-version_programming dbr:Index_of_women_scientists_articles dbr:Leveson dbr:List_of_people_by_Erdős_number dbr:Computing_Research_Association dbr:Nancy_(given_name) dbr:Committee_on_Widening_Participation_in_Computing_Research dbr:STAMP_(accident_analysis) dbr:Journal_of_System_Safety dbr:Jens_Rasmussen_(human_factors_expert) dbr:Association_for_the_Advancement_of_Artificial_Intelligence dbr:Systems_analysis dbr:Maria_Klawe dbr:IEEE_Medal_for_Environmental_and_Safety_Technologies dbr:Therac-25 dbr:Resilience_engineering dbr:Outline_of_software_engineering dbr:Nancy_G._Leveson |
| is foaf:primaryTopic of | wikipedia-en:Nancy_Leveson |