소스 :John Hatcliff, 785-532-6350,hatcliff@카지노 룰렛 사이트.edu;
및 Robby, 785-532-6350,robby@카지노 룰렛 사이트.edu
보도 준비 :Jennifer Torline, 785-532-0847,jtorline@카지노 룰렛 사이트.edu

2010 년 9 월 29 일 수요일

카지노 룰렛 사이트 엔지니어링 분야에 영향력있는 기여를 한 연구원

맨해튼 - 캔자스 주립 대학교 교수 2 명에게 카지노 룰렛 사이트 엔지니어링의 가장 유명한 상 중 하나는 10 년이 넘었습니다.

컴퓨터 및 정보 과학 교수 인 K-State의 John Hatcliff와 컴퓨팅 및 정보 과학 부교수 인 Robby는 컴퓨터 프로그램이 멀티 태스킹 할 때 발생하는 문제에 대해 어떻게 테스트 할 수 있는지 설명하기 위해 1998 년에 출발 한 7 명의 카지노 룰렛 사이트팀. 이 팀은 2000 년에 "Bandera : Java 소스 코드에서 유한 상태 모델 추출"을 게시했습니다.

최근 출판물은 최근 세계 최대의 아카데믹 카지노 룰렛 사이트 엔지니어링 컨퍼런스 인 카지노 룰렛 사이트 엔지니어링에 관한 국제 회의에서 가장 영향력있는 논문상을 수상했습니다. 이상은 출판 된 지 10 년 만에 카지노 룰렛 사이트 엔지니어링의 이론과 실천에 가장 큰 영향을 미치는 출판물을 수여합니다.

4202_4672

Hatcliff와 Robby의 다른 회원들은 다음과 같습니다. James Corbett, 서면 당시 하와이 대학교의 교수진이자 이제 Google 직원; 당시 카지노 룰렛 사이트 교수진 인 Matthew Dwyer이자 현재 네브래스카-링컨 대학교의 교수진;

학업 인용은 팀의 작업의 지속적인 영향을 보여줍니다. 이 간행물은 30 년 컨퍼런스 역사에 게재 된 가장 많이 인용 된 논문이며, 컴퓨팅 기계 협회의 SIGSOFT 협회 (Sigsoft)가 주요 전문 카지노 룰렛 사이트 엔지니어링 협회 (Professional Software Engineering Association)에서 출판 한 10,000 개가 넘는 논문 중 두 번째로 인용 된 논문입니다.

"이 프로젝트에서 흥미로운 점은 여러 가지 다양한 기술을 모았다는 것이었고, 이것이 실제로이 논문을 돋보이게 한 것 중 하나였습니다."라고 Robby는 말했습니다.

프로젝트 아이디어는 1990 년대에 임베디드 시스템의 확산으로 개발되었습니다. 컴퓨터 카지노 룰렛 사이트가 멀티 태스킹을 할 수 있었기 때문에 오류를 테스트하고 예측하는 것이 더 어려워졌습니다.

6270_6658

연구원들이 자신의 작업을 발표 한 이후, Microsoft 및 NASA와 같은 조직은이를 구축했으며 다른 그룹은 동시 프로그래밍을 더 잘 설계하고 다양한 방식으로 카지노 룰렛 사이트를 구축하기 위해 노력하고 있습니다. NASA의 Java Path Finder Model Checking Project가 2003 년 NASA의 유명한 전환 목표로 현실 상을 수상했을 때, K-State 연구원들은 2000 년 출판물의 영향력있는 기여와 협력으로 인해 프로젝트 회원으로 등재되었습니다.

카지노 룰렛 사이트들이 더 이상 같은 프로젝트를 수행하지는 않지만 많은 사람들이 관련 기술을 계속 연구하고 있습니다. 그들은 육군 연구소, 공군 과학 연구소, Lockheed Martin Corp., Boeing Co., Intel Corp., IBM Corp., Fujitsu Limited 및 Rockwell Collins Inc.를 포함한 다양한 자금 조달 기관으로부터 총 1,200 만 달러 이상을 받았습니다.