학술논문
전자자료 공정이용 안내
우리 대학 도서관에서 구독·제공하는 모든 전자자료(데이터베이스, 전자저널, 전자책 등)는 국내외 저작권법과 출판사와의 라이선스 계약에 따라 엄격하게 보호를 받고 있습니다.
전자자료의 비정상적 이용은 출판사로부터의 경고, 서비스 차단, 손해배상 청구 등 학교 전체에 심각한 불이익을 초래할 수 있으므로, 아래의 공정이용 지침을 반드시 준수해 주시기 바랍니다.
공정이용 지침
- 전자자료는 개인의 학습·교육·연구 목적의 비영리적 사용에 한하여 이용할 수 있습니다.
- 합리적인 수준의 다운로드 및 출력만 허용됩니다. (일반적으로 동일 PC에서 동일 출판사의 논문을 1일 30건 이하 다운로드할 것을 권장하며, 출판사별 기준에 따라 다를 수 있습니다.)
- 출판사에서 제공한 논문의 URL을 수업 관련 웹사이트에 게재할 수 있으나, 출판사 원문 파일 자체를 복제·배포해서는 안 됩니다.
- 본인의 ID/PW를 타인에게 제공하지 말고, 도용되지 않도록 철저히 관리해 주시기 바랍니다.
불공정 이용 사례
- 전자적·기계적 수단(다운로딩 프로그램, 웹 크롤러, 로봇, 매크로, RPA 등)을 이용한 대량 다운로드
- 동일 컴퓨터 또는 동일 IP에서 단시간 내 다수의 원문을 집중적으로 다운로드하거나, 전권(whole issue) 다운로드
- 저장·출력한 자료를 타인에게 배포하거나 개인 블로그·웹하드 등에 업로드
- 상업적·영리적 목적으로 자료를 전송·복제·활용
- ID/PW를 타인에게 양도하거나 타인 계정을 도용하여 이용
- EndNote, Mendeley 등 서지관리 프로그램의 Find Full Text 기능을 이용한 대량 다운로드
- 출판사 콘텐츠를 생성형 AI 시스템에서 활용하는 행위(업로드, 개발, 학습, 프로그래밍, 개선 또는 강화 등)
위반 시 제재
- 출판사에 의한 해당 IP 또는 기관 전체 접속 차단
- 출판사 배상 요구 시 위반자 개인이 배상 책임 부담
'학술논문'
에서 검색결과 195건 | 목록
1~20
Academic Journal
Cofer, D.; Amundson, I.; Babar, J.; Hardin, D.; Slind, K.; Alexander, P.; Hatcliff, J.; Robby, .; Klein, G.; Lewis, C.; Mercer, E.; Shackleton, J.
IEEE Security & Privacy IEEE Secur. Privacy Security & Privacy, IEEE. 20(3):52-64 Jun, 2022
Conference
Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06) Testing: Academic and Industrial Conference - Practice And Research Techniques, 2006. TAIC PART 2006. Proceedings. :3-22 2006
Conference
25th International Conference on Software Engineering, 2003. Proceedings. Software engineering Software Engineering, 2003. Proceedings. 25th International Conference on. :160-172 2003
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs
Conference
Proceedings of the 24th International Conference on Software Engineering. ICSE 2002 Software engineering. ICSE 2002 Software Engineering, 2002. ICSE 2002. Proceedings of the 24rd International Conference on. :442-452 2002
Conference
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Software engineering. ICSE 2001 Software Engineering, 2001. ICSE 2001. Proceedings of the 23rd International Conference on. :177-187 2001
Academic Journal
Lee, I.; Sokolsky, O.; Chen, S.; Hatcliff, J.; Jee, E.; Kim, B.; King, A.; Mullen-Fortino, M.; Park, S.; Roederer, A.; Venkatasubramanian, K. K.
Proceedings of the IEEE Proc. IEEE Proceedings of the IEEE. 100(1):75-90 Jan, 2012
Academic Journal
Computer. 39(2):42-50 Feb, 2006
Conference
Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium Software engineering 2000 Software Engineering, 2000. Proceedings of the 2000 International Conference on. :439-448 2000
Conference
Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium Software engineering 2000 Software Engineering, 2000. Proceedings of the 2000 International Conference on. :762-765 2000
Academic Journal
Computer. 39(4):33-38 Apr, 2006
Conference
21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) Automated Software Engineering, 2006. ASE '06. 21st IEEE/ACM International Conference on. :369-370 Sep, 2006
Conference
2006 Sixth IEEE International Workshop on Source Code Analysis and Manipulation Source Code Analysis and Manipulation, 2006. SCAM '06. Sixth IEEE International Workshop on. :3-7 Sep, 2006
Academic Journal
In: Science of Computer Programming . (Science of Computer Programming, October 2025, 245)
Academic Journal
IEEE Design & Test IEEE Des. Test Design & Test, IEEE. 32(5):74-88 Oct, 2015
Editorial & Opinion
Hartmanns, A.; Hatcliff, J.; Lang, F.; Marsso, L.; Mauw, S.; Mazzanti, F.; Parker, D.; Remke, A.; Sirjani, Marjan; Volk, M.; Bursuc, S.; Moezkarimi, Zahra
Electronic Proceedings in Theoretical Computer Science. 399
Academic Journal
In: International Journal on Software Tools for Technology Transfer . (International Journal on Software Tools for Technology Transfer, 2025)
Academic Journal
In: Ada User Journal . (Ada User Journal, March 2023, 44(1):49-58)
Academic Journal
Belt, J.; Hatcliff, J.; Robby; Shackleton, J.; Carciofini, J.; Carpenter, T.; Mercer, E.; Amundson, I.; Babar, J.; Cofer, D.; Hardin, D.; Hoech, K.; Slind, K.; Kuz, I.; Mcleod, K.
In: Journal of Systems Architecture . (Journal of Systems Architecture, January 2023, 134)
검색 결과 제한하기
제한된 항목
[검색어] Hatcliff, J
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어