학술논문
전자자료 공정이용 안내
우리 대학 도서관에서 구독·제공하는 모든 전자자료(데이터베이스, 전자저널, 전자책 등)는 국내외 저작권법과 출판사와의 라이선스 계약에 따라 엄격하게 보호를 받고 있습니다.
전자자료의 비정상적 이용은 출판사로부터의 경고, 서비스 차단, 손해배상 청구 등 학교 전체에 심각한 불이익을 초래할 수 있으므로, 아래의 공정이용 지침을 반드시 준수해 주시기 바랍니다.
공정이용 지침
- 전자자료는 개인의 학습·교육·연구 목적의 비영리적 사용에 한하여 이용할 수 있습니다.
- 합리적인 수준의 다운로드 및 출력만 허용됩니다. (일반적으로 동일 PC에서 동일 출판사의 논문을 1일 30건 이하 다운로드할 것을 권장하며, 출판사별 기준에 따라 다를 수 있습니다.)
- 출판사에서 제공한 논문의 URL을 수업 관련 웹사이트에 게재할 수 있으나, 출판사 원문 파일 자체를 복제·배포해서는 안 됩니다.
- 본인의 ID/PW를 타인에게 제공하지 말고, 도용되지 않도록 철저히 관리해 주시기 바랍니다.
불공정 이용 사례
- 전자적·기계적 수단(다운로딩 프로그램, 웹 크롤러, 로봇, 매크로, RPA 등)을 이용한 대량 다운로드
- 동일 컴퓨터 또는 동일 IP에서 단시간 내 다수의 원문을 집중적으로 다운로드하거나, 전권(whole issue) 다운로드
- 저장·출력한 자료를 타인에게 배포하거나 개인 블로그·웹하드 등에 업로드
- 상업적·영리적 목적으로 자료를 전송·복제·활용
- ID/PW를 타인에게 양도하거나 타인 계정을 도용하여 이용
- EndNote, Mendeley 등 서지관리 프로그램의 Find Full Text 기능을 이용한 대량 다운로드
- 출판사 콘텐츠를 생성형 AI 시스템에서 활용하는 행위(업로드, 개발, 학습, 프로그래밍, 개선 또는 강화 등)
위반 시 제재
- 출판사에 의한 해당 IP 또는 기관 전체 접속 차단
- 출판사 배상 요구 시 위반자 개인이 배상 책임 부담
'학술논문'
에서 검색결과 50건 | 목록
1~20
Conference
Whittle, J.; Van Baalen, J.; Schumann, J.; Robinson, P.; Pressburger, T.; Penix, J.; Oh, P.; Lowry, M.; Brat, G.
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) Automated software engineering Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference on. :395-399 2001
Conference
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) Automated software engineering Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference on. :81-90 2001
Conference
Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) Automated software engineering Automated Software Engineering, 1998. Proceedings. 13th IEEE International Conference on. :240-248 1998
Academic Journal
In: Information and Software Technology . (Information and Software Technology, September 2021, 137)
Conference
Proceedings KBSE '94. Ninth Knowledge-Based Software Engineering Conference Knowledge-based software engineering Knowledge-Based Software Engineering Conference, 1994. Proceedings., Ninth. :48-57 1994
Book
In: NASA Formal Methods - 16th International Symposium, NFM 2024, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14627 LNCS:359-376)
Conference
2nd IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT'06) Space Mission Challenges for Information Technology Space Mission Challenges for Information Technology, 2006. SMC-IT 2006. Second IEEE International Conference on. :9 pp.-100 2006
Conference
2006 IEEE Aerospace Conference Aerospace Conference Aerospace Conference, 2006 IEEE. :10 pp. 2006
Conference
Proceedings KBSE '94. Ninth Knowledge-Based Software Engineering Conference Knowledge-based software engineering Knowledge-Based Software Engineering Conference, 1994. Proceedings., Ninth. :2 1994
Book
Ádám, Z.; Bęś, M.; Blanco Viñuela, E.; Tournier, J.-C.; Fernández Adiego, B.; Lopez-Miguel, I.D.; Mavridou, A.; Katis, A.; Trinh, K.V.; Pressburger, T.
In: NASA Formal Methods - 15th International Symposium, NFM 2023, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13903 LNCS:353-360)
Book
In: Requirements Engineering: Foundation for Software Quality - 29th International Working Conference, REFSQ 2023, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13975 LNCS:295-308)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS , Proceedings - 4th International Workshop on Formal Methods for Autonomous Systems, FMAS 2022 and 4th International Workshop on Automated and Verifiable Software sYstem DEvelopment, ASYDE 2022. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 27 September 2022, 371:208-216)
Conference
In: CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022 , CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022. (CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022, 11 January 2022, :68-81)
Book
In: Computer Aided Verification - 34th International Conference, CAV 2022, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13372 LNCS:490-504)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13243 LNCS:387-395)
Conference
2011 22nd IEEE International Symposium on Rapid System Prototyping (RSP); 2011, p121-127, 7p
Conference
2010 IEEE Aerospace Conference; 2010, p1-7, 7p
Conference
2007 IEEE Aerospace Conference; 2007, p1-9, 9p
Conference
Second International Symposium on Leveraging Applications of Formal Methods, Verification & Validation (ISOLA 2006); 2006, p18-27, 10p
Book
In: Formal Methods - 24th International Symposium, FM 2021, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, 13047 LNCS:503-523)
검색 결과 제한하기
제한된 항목
[AR] Pressburger, T.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어