KeY Project: Integrated Deductive Software Design

The KeY Project Integrated Deductive Software Design The KeY System is a formal software development tool that aims to integrate design, implementation, formal specification, and formal verification of object-oriented software as seamlessly as possible. A...

第十三級的痛

大家都應該聽過醫學上把痛分為十二級，第一級是指被蚊子叮咬時的痛，第十二級也就是最痛的一級，生產時的痛苦。就有人問「那有沒有第十三級的痛？」另一人回答：「就生產時被蚊子叮到嘛！」女兒雖只兩歲半，但非常聰明，有問必答。一次媽咪問她：「眼睛有什麼用呢？」女兒：「看東西！」媽咪：「耳朵呢？」女兒：「可以聽啊...

黑道小孩的請假單

親愛的王老師： 你好~！我想請假，本來我是不想的，但是爸爸昨天收保護費被人砍了，今天找不到人手，於是叫我去湊個數。王老師請您放心，我不會被人拿刀砍的。雖然我才上二年級，但是去年我已經和隔壁班的小強打過一架，他那時候是五年級，最後他被我打的拖進醫院縫了八針，住了1個禮拜的醫院，那時候我還是手...

一個借作業給別人抄的最充分理由

今天，我把作業借給別人抄了，萬沒料到，不幸的事發生了.嗚嗚......那個抄我作業的白癡把我的作業本給弄丟了！老師要求我給一個能讓她放過我的最充分的理由。下面就是我的標準答案: 我不借給他， 他就會做不完； 做不完， 他就會被老師罵； 被老師罵，&n...

戈巴契夫到印度訪問

有一次，蘇俄總書記戈巴契夫到印度訪問，印度總理甘地和甘地夫人相當熱情的歡迎戈巴契夫夫婦，帶領他們到處遊覽印度各個市集和鄉間。由於印度位居亞熱帶地區，人們生活水準不高，沒想到一出門到處都有市民隨地大小便，相當的不雅觀，另甘地夫婦相當的難堪！後來戈巴契夫夫人就吃吃的笑說：ㄞ沒想到印度這麼民主，蠻開放的嘛...