if {} else {}

(전략) 2. 정식으로 요구 사항 명세에 접근 부터 Z (저건, 1988), VDM (존스, 1986)와 같은 몇몇 공식적인 요구 사항 명세 방법 및 라취 (Guttag 및 Horning, 1993) 순차적으로 시스템의 동작을 지정하는 데 중점을 둡니다. 이러한 접근 방법, 관계, 및 기능 상태 및 사용 중고 - 조건 및 게시물 - 상태 전환을위한 조건을 설명하기 위해 세트와 같은 풍부한 수학적 구조를 사용합니다. 이러한 표기법 표현력이 풍부한 반면, 응용 프로그램이 전문가의 리뷰를 읽고 쓰기 어려운 수있는 표기법을 찾을 수있습니다. SCR (Heninger, 1980) 80 년대 초반 진짜 - 시간의 임베디드 시스템 소프트웨어 요구 사항을 지정할 도입되었다. 최근 두 가지 기능 및 비 - 기능적 통합까..

A Specifier’s Introduction to Formal Methods Jeannette M. Wing, Carnegie Mellon University Applied to computer systems development, formal methods provide mathematically based techniques that describe system properties. As such, they present a framework for systematically specifying, developing, and verifying systems. Formal methods used in developing computer systems are mathematically based te..

아 논문은 싫어... 이놈의 영어... 국제 공용어를 한글로 해줘... 젭라... ㅇㅈㄴ

A Framework for Testing and Analysis Learning objectives • Introduce dimensions and tradeoff between test and analysis activities • Distinguish validation from verification activities • Understand limitations and possibilities of test and analysis Verification and validation • Validation: does the software system meets the user's real needs? 'are we building the right software?' • Verification: ..

이곳은 어크로뱃 리더도 없는 동아리방. 설치하자니 제한을 걸어둬서 귀차니즘 업. usb로 옮기자니 그것도 귀찮아져서 일단 블로그에 업로딩. 그러므로 확인은 나중에... 한글판이랑 영어판이랑 문제 순서나 갯수가 다르다는 말도 있던데. 한글판 솔루션을 따로 구해야 하려나...

i n v i t a t i o n 티스토리 초대장 + 남은 초대장 수 : 0 안녕하세요! 티스토리에 보금자리를 마련하시려는 여러분께 초대장을 배포해 드리려고 합니다. 나만의, 내 생각을, 내 기억을 담는 소중한 블로그를 만들고 싶다면 티스토리로 시작해보세요! 티스토리 블로그는 초대에 의해서만 가입이 가능합니다. 원하시는 분은 댓글에 E-mail 주소를 남겨주시면 초대장을 보내드립니다. 선착순은 아닙니다. 댓글을 보고 블로그를 잘 활용하실 수 있으리라 판단되는 분들께 끊어드리겠습니다. 초대장을 보내드리고 바로 개설하시지 않으신 분들은 초대장을 회수할 수도 있으니 바로 개설해주세요! Yes 이런 분들께 드립니다! 1. 다른 블로그를 사용해보셨던 분 2. 이메일 주소가 정상적인 분 3. 블로그를 시작하려는 ..

평일에는 한국관광공사의 데이터베이스진흥원으로 교육을 받으러 나가. 평소 답십리 - 알바하는 곳 - 까지는 자전거를 늘 타고다녔었는데, 새삼 거리를 재보니 그렇게 멀지는 않다는거다. 타고다녔던 거리의 3배쯤? 밖에 안되더라. 네이버로 가까운 거리를 검색해보니 루트를 뽑아주긴 했지만... 자출사 - 자전거로 출퇴근하는 사람들의 모임 - 에 물어보니 성동교에서부터는 청계천을 따라 올라오는게 더 편할거라는 의견이 많이 달렸어. 대충 그려보니 아래 같은 모양. 파란 동그라미는 내가 사진찍은 장소들을 표시해본거야. 맨 오른쪽부터 루트따라 왼쪽으로, 1번 2번 3번 4번 5번 동그라미라고 치자. 1번 - 출발하기 전에 집에서 찍은 사진. 모기때문에 잠을 설쳐서 5시에 일어났었어. 느적느적 준비하니 7시 반이 되더라...

* 128p. 데이터베이스를 시작부터 종료까지 모든 작업내역을 저장해주는 ALERT_.LOG 위치 확인 SHOW PARAMETER BACKGROUND_DUMP_DEST * 129p. CONTROL File 위치 확인 SHOW PARAMETER CONTROL_FILES 내지는 SELECT & FROM V$CONTROLFILE; 혹은 INITORCA.ORA 에 있다. * REDO Log file 확인 파라메터는 v$logfile. SQL> select * from v$log; GROUP# THREAD# SEQUENCE# BYTES MEMBERS ARC STATUS FIRST_CHANGE# FIRST_TI ---------- ---------- ---------- ---------- ---------- ---..

All_all_tables : user가 access할수있는 모든 Table All_catalog : user가 access할수있는 모든 Table, Views, synonyms, sequence All_clusters : user가 access할수있는 모든 clusters All_col_comments : user가 access할수있는 모든 Table,Views에 대한 칼럼comments All_col_privs : user에게 또는 Public에게 허용된 모든 칼럼에 대한 권한. All_col_privs_made : user가 부여한 칼럼에 대한 권한. All_col_privs_recd : user에게 또는 Public에게 허용된 모든 칼럼에 대한 권한. All_coll_types : user가 ac..

이마트에서 사온 반찬도 다떨어졌고... 맨날 라면만 먹기는 또 질리고 -_- 해서 귀차니즘을 무릅쓰고 오늘은 멸치볶음을 만들어 놓기로 했다. = 재료 = 물엿 식용유 참깨 깐 멸치 고추장 설탕 먼저 후라이팬에 식용유를 잔뜩 치고... 멸치 한통 다넣을랬더니... 너무 많아. -_- 2/3정도를 덜어서 다시 통에 담았다. 인터넷 찾아보니 중불에 1~2분 볶으래더라. 바삭해지게. 근데 5분을 그을렸는데 바삭해지지 않네. -_- 걍 중불 켜놓고 양념장을 만들어볼까. 고추장을 숟갈로 크게 한스푼 설탕은 설탕주걱으로 한스푼 물 좀 이빠이. 그리고 휘휘휘휘 돌렸더니 -_- 이건 뭐시여. 분식집에서 떡꼬치에 발라주는 양념장 아닌가 이거. 멸치조림에 쓰는거랑은 좀 달라뵈는데... 게다가 너무 묽어; 설탕도 조금 넣은것..