if else

* ISO/ANSI SQL-99 SQL 언어는 1988년에 미국표준연구소(ANSI)와 국제표준기구(ISO)에서 관계형 데이터베이스의 표준 언어로 채택된 이래 1992년에 SQL-92, 1999년에 SQL-99 로 개정되었고, 현재 대부분의 상용 데이터베이스 시스템에서 표준언어로 사용되고 있다. 오라클 9i 버전에서는 ISO/ANSI SQL-99 에서 제시한 표준 기능을 대부분 준수하고 있다 1. CROSS JOIN 오라클 9i 부터는 CARTESIAN JOIN(카르테시안 조인) 이 CROSS JOIN 으로 명칭이 바뀌었음 기능상의 차이는 없음 - ANSI/ISO SQL-99 표준문법 SELECT * from table1 CROSS JOIN table2 - PL/SQL SELECT * from table1..

PuTTY 0.58(kor), 0.60. homepage : http://www.chiark.greenend.org.uk/~sgtatham/putty/

1조와 3조가 구현한 것을 토대로 수업 진행. ... pSET / 이클립스 / ... 등등의 툴이 보인다. NuSCR에 대한 개발동기, 배경을 이해해야 사용하는데 도움이 될 것이다. * 원자력 발전소쪽 실제 예제 8개의 그룹노드로 되어 있고, 메인 시스템을 통해서 입력 -> 시스템 -> 출력 의 형태로 진행이 된다. 시스템을 열면 여러개의 그룹노드가 보인다. 입력 -> 그룹노드 -> 출력 물론 밖에서 들어온 입력만이 시스템이란 그룹노드 안에서 입력으로 생성이 되며, 출력도 마찬가지다. 결국, 그룹노드 내의 입, 출력은 그룹노드 외부의 입, 출력과 동일한것이다. 3가지 variable node가 있다. function(동그라미), history, th(타임 히스토리;타원형) 이 있다. 자신의 이름으로 된 ..

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