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. 블로그를 시작하려는 ..

* 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. 해시 코드를 이용하여 짜여진 기나긴 암호.