donggukUniv

[알림판목록 I] [알림판목록 II] [글목록][이 전][다 음]
[ donggukUniv ] in KIDS
글 쓴 이(By): mohican (自由人)
날 짜 (Date): 1998년 6월 10일 수요일 오후 05시 49분 52초
제 목(Title): [질문]



 시스템 분석이나...소프트웨어 공학에 나오는 용어인데
 
 "정형화" 라고...
 
 이 말은 시스템 개발 단계를 문서화하고...
 이걸 수학적으로 검증한다는데....
 
 수학적 검증이 도데체 뭔지...
 어떤 기호를 사용해야만이 수학적 검증으로 인정하는지
 
 모르겠음...
 
 
 갈켜조요 아는사람....
 혹시 학원생중에 소공 전공하는 사람 없나?                        


#### free1223@chollian.net ### cwpark@blue.djic.co.kr ####
뭐가뭔지 하나도 모를 세상이로고...어지러움과 어지러움이
뒤섞여 흐르고 있는 바다가 된듯허이...그러나..
나만의 평온함을  언제나 기대하면서...그리고..또
잔잔해질 세상을 기대함이라......
[알림판목록 I] [알림판목록 II] [글 목록][이 전][다 음]
키 즈 는 열 린 사 람 들 의 모 임 입 니 다.