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로 옮기자니 그것도 귀찮아져서 일단 블로그에 업로딩. 그러므로 확인은 나중에... 한글판이랑 영어판이랑 문제 순서나 갯수가 다르다는 말도 있던데. 한글판 솔루션을 따로 구해야 하려나...

* 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.0 서비스가 자리를 잡아 점점 다양한 서비스들이 제공 되고 있습니다. 매쉬업(Mashup, 짜깁기) 서비스 : 오픈API 등 다양한 형태로 공개된 웹 플랫폼들을 유기적으로 섞어 새로운 개념의 융합 서비스를 만드는 것 얼마전 야후(www.yahoo.com)에서 야후 파이프(http://pipes.yahoo.com) 시험판 서비스를 일반에 공개했습니다. 뉴스기사 내용을 살펴보니 야후 파이프에 대해 이렇게 설명이 되어 있네요. 야후 파이프란 자신이 원하는 RSS 자료들을 드래그앤 드롭 방식으로 자유롭게 끌어놓고, 파이프 단위로 묶어 새로운 RSS 데이터를 만들어내는 리믹스 서비스다. 프로그래밍 순서도를 짜듯이 직관적으로 사용할 수 있다는 점이 장점이다. 파이프로 엮여져 있는 파이프 덩어리는 ‘이 파이프..

Google Maps API. 해시 코드를 이용하여 짜여진 기나긴 암호.

1. http://www.trolltech.com 에 가서 qt-x11-free-(version number).tar.gz 파일을 받는다. 2. 가져다 압축 풀고. (/usr/local/qt 에 풀었다) 3. 환경변수 설정... /root 에서 .bash_profile를 편집하자. QTDIR=/usr/local/qt PATH=$QTDIR/bin:$PATH MANPATH=$QTDIR/doc/man:$MANPATH LD_LIBRARY_PATH=$QTDIR/lib:$LD_LIBRARY_PATH export QTDIR PATH MANPATH LD_LIBRARY_PATH 4. 압축 푼 폴더에서 ./configure 5. make 설치 완료. 이젠 라이브러리 등록을 해볼까...