About
Blog ini berisi catatan saya tentang segala hal seputar software engineering. Tulisan tidak akan dilengkapi dengan referensi yang saya gunakan. Jadi, silahkan saja, boleh percaya atau tidak… 
Sesekali, akan diselingi dengan tulisan lain yang tidak (belum) ada hubungannya dengan software engineering, agar tidak bosan … 
Yani Widyani, Data and Software Engineering Research Division, STEI-ITB.
-
Recent Comments
yaniwid on If you were a computer… Oemar Bakrie on If you were a computer… petra on If you were a computer… hansonputro on If you were a computer… Budi Rahardjo on If you were a computer… Agust Andy on That’s OK… neriumoleander on 13 November lalu… yaniwid on Teman sejati… fais on Teman sejati… r_purbasari2008 on Teman sejati… yaniwid on 13 November lalu… irfin on 13 November lalu… zakimath on About yaniwid on Ontology, OWL, dan GOLD yaniwid on About 
Planet Dosen- Menanti kunjungan ke 2 juta January 6, 2010 Budi Rahardjo
- Sambungkan Blog Ini Dengan Twitter? January 6, 2010 Budi Rahardjo
- Berita di koran Pikiran Rakyat January 6, 2010 Oemar Bakrie
- gmail invalid certificate January 6, 2010 Budi Rahardjo
- Rekomendasi Untuk Mahasiswa January 6, 2010 Budi Rahardjo
- Planet IF
- Ernestasia: Love Story January 5, 2010
- Widya Wardani: Hanya kaki ini … bukan yang lain January 5, 2010
- Ronald: Follow @netindonesia and Tweet for a Chance to Win Windows 7 Ultimate NFR January 5, 2010
- Ega Dioni: Pilihan “SMS Luar Negeri-Indonesia” Anda January 4, 2010
- Catherine: adsad January 4, 2010
-
Archives
- January 2010 (1)
- December 2009 (8)
- November 2009 (5)
- October 2009 (15)
- September 2009 (12)
- August 2009 (5)
- July 2009 (4)
- June 2009 (7)
- May 2009 (14)
- April 2009 (7)
- March 2009 (7)
- February 2009 (18)
-
Categories
- analysis
- aspect oriented
- CBSE
- critical system
- design
- digital learning
- e-business
- ecosystem
- final project
- fun
- health informatics
- introduction
- lecture
- maintenance
- method
- oop
- others
- programming
- project
- project management
- quality
- real time system
- requirement
- research
- service computing
- soa
- software architecture
- software developer
- software metrics
- software process
- software product
- software quality
- software standard
- technology
- testing
- tools
- Uncategorized
- webE
-
RSS
Entries RSS
Comments RSS
Pertanyaan yang seringkali jarang dipertanyakan adalah yang ketiga,. Yang pertama dan kedua sudah mendapat ‘pelajaran’ dari tugas2 kuliah selama ini,.
[...] Menghindari bug dalam koding Ada gambar berikut yang saya link dari dari http://yaniwid.wordpress.com/2008/10/30/tiga-pertanyaan/ [...]
Pingback by Menghindari bug dalam koding « Wong nDeso yang Katro | November 12, 2008
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/
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…