طريقة شكلية (Arabic Wikipedia)

Analysis of information sources in references of the Wikipedia article "طريقة شكلية" in Arabic language version.

refsWebsite

Global rank Arabic rank

6web.archive.org

1^st place

2mit.edu

415^th place

424^th place

1nasa.gov

75^th place

85^th place

1klabs.org

low place

1af.mil

439^th place

989^th place

1tele.dk

low place

af.mil

stsc.hill.af.mil

Vinu George and Rayford Vaughn, "Application of Lightweight Formal Methods in Requirement Engineering", Crosstalk: The Journal of Defense Software Engineering, January 2003 نسخة محفوظة 24 سبتمبر 2010 على موقع واي باك مشين.

klabs.org

C. Michael Holloway. "Why Engineers Should Consider Formal Methods" (PDF). 16th Digital Avionics Systems Conference (27–30 October 1997). مؤرشف من الأصل (PDF) في 2012-06-06. اطلع عليه بتاريخ 2006-11-16. {{استشهاد بدورية محكمة}}: الاستشهاد بدورية محكمة يطلب |دورية محكمة= (مساعدة)

mit.edu

people.csail.mit.edu

دانييل جاكسون and جانيت وينغ, "Lightweight Formal Methods", IEEE Computer, April 1996 نسخة محفوظة 06 ديسمبر 2016 على موقع واي باك مشين.
Daniel Jackson, "Alloy: A Lightweight Object Modelling Notation", ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 11, Issue 2 (April 2002), pp. 256-290 نسخة محفوظة 22 سبتمبر 2009 على موقع واي باك مشين.

nasa.gov

shemesh.larc.nasa.gov

R. W. Butler (6 أغسطس 2001). "What is Formal Methods?". مؤرشف من الأصل في 2017-02-13. اطلع عليه بتاريخ 2006-11-16.

tele.dk

home0.inet.tele.dk

Sten Agerholm and Peter G. Larsen, "A Lightweight Approach to Formal Methods", In Proceedings of the International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, Springer-Verlag, October 1998 نسخة محفوظة 22 سبتمبر 2009 على موقع واي باك مشين.

web.archive.org

R. W. Butler (6 أغسطس 2001). "What is Formal Methods?". مؤرشف من الأصل في 2017-02-13. اطلع عليه بتاريخ 2006-11-16.
C. Michael Holloway. "Why Engineers Should Consider Formal Methods" (PDF). 16th Digital Avionics Systems Conference (27–30 October 1997). مؤرشف من الأصل (PDF) في 2012-06-06. اطلع عليه بتاريخ 2006-11-16. {{استشهاد بدورية محكمة}}: الاستشهاد بدورية محكمة يطلب |دورية محكمة= (مساعدة)
دانييل جاكسون and جانيت وينغ, "Lightweight Formal Methods", IEEE Computer, April 1996 نسخة محفوظة 06 ديسمبر 2016 على موقع واي باك مشين.
Vinu George and Rayford Vaughn, "Application of Lightweight Formal Methods in Requirement Engineering", Crosstalk: The Journal of Defense Software Engineering, January 2003 نسخة محفوظة 24 سبتمبر 2010 على موقع واي باك مشين.
Daniel Jackson, "Alloy: A Lightweight Object Modelling Notation", ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 11, Issue 2 (April 2002), pp. 256-290 نسخة محفوظة 22 سبتمبر 2009 على موقع واي باك مشين.
Sten Agerholm and Peter G. Larsen, "A Lightweight Approach to Formal Methods", In Proceedings of the International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, Springer-Verlag, October 1998 نسخة محفوظة 22 سبتمبر 2009 على موقع واي باك مشين.