JFF6: Resolução eficaz de problemas, quatro exemplos

João F. Ferreira
January 2008
PDF

Abstract

This note, written in Portuguese and named “Effective problem solving, four examples”, presents four examples that illustrate the calculational method and our approach to problem solving. I wrote it to send it to the members of project Matisse.

Type
Technical report
Publication
Technical report (JFF series)

History

  • January 2008: first version of the note is made public
Avatar
Computer Scientist

My research interests include software reliability, software verification, and formal methods applied to software engineering. For more details, see some of my projects or my selected (or recent) publications. More posts are available in my blog. Follow me on Twitter or add me on LinkedIn. See also the Software Reliability Lab website.