Home > testing > Tiga pertanyaan…

Tiga pertanyaan…

Categories: testing
  1. October 30, 2008 at 2:54 pm

    Pertanyaan yang seringkali jarang dipertanyakan adalah yang ketiga,. Yang pertama dan kedua sudah mendapat ‘pelajaran’ dari tugas2 kuliah selama ini,.😀

  2. November 13, 2008 at 5:07 am

    Formal Methods sepertinya akan menyelesaikan no 3, http://budi.paume.itb.ac.id/courses/ec7030/formal-methods.ppt

    Sekarang sudah bergerak ke software, bahkan dapat Turing Award, http://rahard.wordpress.com/2008/06/02/awards-on-formal-verification/

  3. November 14, 2008 at 8:48 am

    Ya Darmawan, dengan formal method kita bisa lebih memastikan tidak adanya bug karena matematis. Tetapi sayangnya, tidak semua persoalan bisa diselesaikan dengan formal method.
    Thx for sharing…

  1. November 12, 2008 at 7:13 pm

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: