| [ donggukUniv ] in KIDS 글 쓴 이(By): wolf_ko (꼬복이) 날 짜 (Date): 1998년 6월 12일 금요일 오전 03시 06분 05초 제 목(Title): 정형화 이론...Formal에 대해... 철웅아... 미약하나마..도움이 되고자.. 조이넷에 올려 놨다... Formal에 대해서 모르는건...아마도.. 소프트웨어 공학을 우리가 끝까지 안 배워서 그럴꺼야... 그러니까 당연한거고.. 그리고 수학적 검증은..더더욱 모른다... 나도 수학적 검증은 어떻게 하는지 몰라..하지만... 그 내용은 조이넷에 올려 놓았다... 그거 쓰느라 죽는줄 알았다... 하이고..손가락이 부었당... 열심히 사는 모습이 보기 좋구나... 그럼 다음에도 미약하나마 도움이 될수 있기를.... 건강해라.. . |