Métodos formais (Portuguese Wikipedia)

Analysis of information sources in references of the Wikipedia article "Métodos formais" in Portuguese language version.

refsWebsite

Global rank Portuguese rank

3web.archive.org

1^st place

1^st place

415^th place

453^rd place

75^th place

92^nd place

low place

low place

439^th place

891^st place

low place

low place

af.mil

stsc.hill.af.mil

Vinu George and Rayford Vaughn, "Application of Lightweight Formal Methods in Requirement Engineering" Arquivado em 24 de setembro de 2010, no Wayback Machine., Crosstalk: The Journal of Defense Software Engineering, January 2003

klabs.org

C. Michael Holloway (27–30 de outubro de 1997). «Why Engineers Should Consider Formal Methods» (PDF). 16th Digital Avionics Systems Conference. Consultado em 16 de novembro de 2006. Arquivado do original (PDF) em 16 de novembro de 2006

mit.edu

people.csail.mit.edu

Daniel Jackson and Jeannette Wing, "Lightweight Formal Methods", IEEE Computer, April 1996
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

nasa.gov

shemesh.larc.nasa.gov

R. W. Butler (6 de agosto de 2001). «What is Formal Methods?». Consultado em 16 de novembro de 2006

tele.dk

home0.inet.tele.dk

Sten Agerholm and Peter G. Larsen, "A Lightweight Approach to Formal Methods" Arquivado em 19 de março de 2009, no Wayback Machine., In Proceedings of the International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, Springer-Verlag, October 1998

web.archive.org

C. Michael Holloway (27–30 de outubro de 1997). «Why Engineers Should Consider Formal Methods» (PDF). 16th Digital Avionics Systems Conference. Consultado em 16 de novembro de 2006. Arquivado do original (PDF) em 16 de novembro de 2006
Vinu George and Rayford Vaughn, "Application of Lightweight Formal Methods in Requirement Engineering" Arquivado em 24 de setembro de 2010, no Wayback Machine., Crosstalk: The Journal of Defense Software Engineering, January 2003
Sten Agerholm and Peter G. Larsen, "A Lightweight Approach to Formal Methods" Arquivado em 19 de março de 2009, no Wayback Machine., In Proceedings of the International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, Springer-Verlag, October 1998