세르기 빌코미르

Sergiy Vilkomir
세르기 A.빌코미르
Sergiy Vilkomir.jpg
2001년 세르기 빌코미르
태어난
Сергій Адольфович Вілкомір

(1956-11-19)1956년 11월 19일
크라마토르스크, 우크라이나 SSR
죽은2020년 2월 9일(2020-02-09) (63세)
미국 노스캐롤라이나 주
국적우크라이나어
시민권미국
모교하르코프 국립 대학교 하르코프 폴리테크닉 연구소
로 알려져 있다.소프트웨어 테스트, 공식 방법, RC/DC
과학 경력
필드컴퓨터 공학
기관런던 사우스 뱅크 대학교, 월롱공 대학교, 리머릭 대학교, 테네시 대학교, 이스트 캐롤라이나 대학교
영향조나단 보웬, 데이비드 파르나스, 로버트 하이롱스

세르기 A. 빌코미르(Vilkomir, 1956년 11월 19일 ~ 2020년 2월 9일)는 우크라이나 태생의 컴퓨터 과학자였다.[1]

Sergiy Vilkomir는 현재의 우크라이나에서 1956년에 태어났다.모스크바 주립대학교 국립수학보딩고등학교 18번[2](교장-학장 A)에서 수학대학을 졸업했다. Kolmogorov, 1972–74), 하르코프 주립 대학교의 수학 및 수학 교육에서 MSc 학위(1974–79)와 하르코프 폴리테크닉 연구소에서 박사 학위(1985–90)를 받았다.[1]그 후 우크라이나 하르키브에서 우크라이나 폴리테크닉 연구소(1979–82), 중앙복합자동화연구소(1985–91), 기술시스템 안전 및 신뢰성 연구소(1992–93), 우크라이나 국가 원자력 및 방사선 안전 관련 과학 기술 센터(1992–93)에서 근무했다(원자력안전규제 당국의 일부).우크라이나 출신, 1993-2000년 우크라이나 출신이다.그의 역할은 원자력 발전소의 컴퓨터 기반 안전 시스템에 대한 인허가 및 감사를 포함했다.

2000년에 빌코미르는 런던 사우스 뱅크 대학교의 응용 형식 방법 센터로 옮겨 그곳에서 연구원이 되었다.그 후 그는 호주의 월롱공 대학에 연구원으로 입사했다.[3]이후 아일랜드의 리머릭 대학에서 데이비드 파르나스와 함께 일하다가 2007–8년에 처음에는 리서치 어소시에이트 교수와 테네시 대학으로 옮겨갔다가 2008년에 합류한 이스트 캐롤라이나 대학의 부교수 자리에 올랐다.그곳에서 그는 2012년에 학회 임기를 마쳤고 소프트웨어 테스트 연구 그룹(STRG)의 단장을 역임했다.[4]

Vilkomir의 주요 연구 기여는 소프트웨어 시험의 공식화에 있었다.[5]특히, 그는 안전 중요 시스템의 소프트웨어 시험에 대한 수정된 조건/결정 적용 범위(MC/DC) 기준의 더 강력한 버전인 강화된 조건/결정 적용 범위(RC/DC)를 제안했다.[6][7]

빌코미르는 2010-11년 구글 교수 연구상, 2015년 이스트캐롤라이나대 스콜라-교사상, 2017년 UNC 이사회의 저명한 교수상을 받았다.[1]그는 2013년부터 컴퓨터 기계 협회([8]ACM, EIE)와 IEEE의 수석 회원이었다.[7]

Sergiy Vilkomir는 2020년 2월 9일에 죽었다.[9][10]그는 테타나 빌코미르와 결혼했다.

선택한 게시물

  • Vilkomir, S.A.; Bowen, J.P. (2001). "Formalization of software testing criteria using the Z notation". 25th Annual International Computer Software and Applications Conference. IEEE: 351–356. doi:10.1109/CMPSAC.2001.960638. ISBN 0-7695-1372-7. S2CID 1224201.
  • Vilkomir, S.A.; Bowen, J.P. (2002). "Reinforced condition/decision coverage (RC/DC): A new criterion for software testing". International Conference of B and Z Users. Lecture Notes in Computer Science. Springer-Verlag. 2272: 291–308. doi:10.1007/3-540-45648-1_15. ISBN 978-3-540-43166-4.
  • Vilkomir, S.A.; Kapoor, K.; Bowen, J.P. (2003). "Tolerance of control-flow testing criteria". Proceedings 27th Annual International Computer Software and Applications Conference (COMPAC 2003). IEEE: 182–187. doi:10.1109/CMPSAC.2003.1245339. ISBN 0-7695-2020-0. S2CID 178608.
  • Baber, R.L.; Parnas, D.L.; Vilkomir, S.A.; Harrison, P.; O'Connor, T. (2005). "Disciplined methods of software specification: a case study". International Conference on Information Technology: Coding and Computing (ITCC'05). IEEE. II: 428-437 Vol. 2. doi:10.1109/ITCC.2005.132. ISBN 0-7695-2315-3. S2CID 17982307.
  • Vilkomir, S.A.; Bowen, J.P. (2006). "From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria". Formal Aspects of Computing. Springer Nature. 18 (1): 42–62. doi:10.1007/s00165-005-0084-7. S2CID 10467796.
  • Hierons, R.M.; Bogdanov, K.; Bowen, J.P.; Cleaveland, R.; Derrick, J.; Dick, J.; Gheorghe, M.; Harman, M.; Kapoor, K.; Krause, P.; Lüttgen, G.; Simons, A.J.H.; Vilkomir, S.A.; Woodward, M.R.; Zedan, H. (2009). "Using formal specifications to support testing". ACM Computing Surveys. Association for Computing Machinery. 41 (2): 1–76. doi:10.1145/1459352.1459354. S2CID 10686134.

참조

  1. ^ a b c "Dr. Sergiy Vilkomir – Experience". East Carolina University. Retrieved February 12, 2020.
  2. ^ "History". AESC MSU – Kolmogorov Boarding School. Russia: Moscow State University. Retrieved February 15, 2020.
  3. ^ "Dr. Sergiy Vilkomir". Archive.org. Australia: University of Wollongong. 2003. Archived from the original on 2003-07-19. Retrieved February 12, 2020.
  4. ^ "Our Members". Software Testing Research Group (STRG). Department of Computer Science, East Carolina University. Retrieved February 12, 2020.
  5. ^ Hierons, R.M.; et al. (2009). "Using formal specifications to support testing". ACM Computing Surveys. 41 (2): 1–76. doi:10.1145/1459352.1459354. S2CID 10686134.
  6. ^ Vilkomir, S.A.; Bowen, J.P. (2006). "From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria". Formal Aspects of Computing. 18 (1): 42–62. doi:10.1007/s00165-005-0084-7. S2CID 10467796.
  7. ^ a b "Affiliated Members". Advanced Research Centre for Software Testing and Quality Assurance (STQA). University of Texas at Dallas. Retrieved February 12, 2020.
  8. ^ "Sergiy Vilkomir, ACM Senior Member (2013)". Association for Computing Machinery. 2013. Retrieved February 12, 2020.
  9. ^ Eshelman, Bonnie (February 11, 2020), "Condolences to family of Dr. Sergiy Vilkomir", College of Engineering and Technology, North Carolina, USA: East Carolina University
  10. ^ Bowen, Jonathan P. (June 2020). "In Memoriam: A tribute to five formal methods colleagues" (PDF). FACS FACTS. BCS-FACS. 2020 (1): 13–29. doi:10.13140/RG.2.2.13481.62560.

외부 링크