최근 확인한 콘텐츠
데이터가 존재하지 않습니다.
데이터가 존재하지 않습니다.
loading...
Sharing data and models in software engineering
Agile modeling with UML : code generation, testing, refactoring
Fundamentals of software architecture : an engineering approach
객체지향 소프트웨어 공학
Interaction flow modeling language : model-driven ui engineering of web and mobile apps with ifml
Domain modeling-based software engineering : a formal approach
(데이터 과학을 위한) 소프트웨어 엔지니어링
(UML 패턴 자바를 이용한) 객체지향 소프트웨어공학
Executable UML : a foundation for model-driven architecture
Artificial intelligence methods for software engineering
Environmental software systems : Infrastructures, services and applications : 11th IFIP WG 5.11 International Symposium, ISESS 2015, Melbourne, VIC, Australia, March 25-27, 2015: Proceedings
Component-based product line engineering with UML
New trends in software methodologies, tools and techniques : proceedings of the fifteenth somet_16
Formal foundations for software engineering methods
Process patterns : building large-scale systems using object technology
System and software requirements engineering
한국전자통신학회 논문지
조민호Software and Systems Modeling
Chakraborty S.,Liebel G.2022 IEEE INTERNATIONAL IOT, ELECTRONICS AND MECHATRONICS CONFERENCE (IEMTRONICS)
Semenova, Evgeniya; Tynchenko, Vadim; Chashchina, Sofya; Suetin, Viktor; Stashkevich, AlexanderACM Transactions on Software Engineering and Methodology
Hou, X.; Zhao, Y.; Wang, K.; Wang, H.; Liu, Y.; Grundy, J.; Yang, Z.; Lo, D.; Li, L.; Luo, X.Software and Systems Modeling
Troya J.,Moreno N.,Bertoa M.F.,Vallecillo A.IEEE Latin America Transactions
Castro, S.J.B.; García, V.H.M.; Crespo, R.G.Computer
Vieira, M.Empirical Software Engineering: An International Journal
Zheng, Zibin; Ning, Kaiwen; Zhong, Qingyuan; Chen, Jiachi; Chen, Wenqing; Guo, Lianghong; Wang, Weicheng; Wang, YanlinSoftware & Systems Modeling
Clark, Tony; Karsai, Gabor; Wieringa, Roel J.; France, Robert; Rumpe, BernhardIEEE Software, Software, IEEE, IEEE Softw.
Abrahao, S.; Staron, M.; Insfran, E.; Muccini, H.ACM Transactions on Modeling and Computer Simulation
Kristiansen, S.; Plagemann, T.; Goebel, V.British Journal of Social Work
Okech, D.; Kim, J.; Little, T.D.정보처리학회논문지. 소프트웨어 및 데이터 공학
김규억, 유해영Software and Systems Modeling
Michael J.,Bork D.,Wimmer M.,Mayr H.C.ACM Computing Surveys
Gonçales L.J.,Farias K.,De Oliveira T.C.,Scholl M.Software and Systems Modeling
Agner L.,Lethbridge T.,Soares I.软件导刊 / Software Guide
叶海琴; 廖利Software and Systems Modeling
Chechik, Marsha; Combemale, Benoit; Gray, Jeff; Rumpe, BernhardFRONTIERS IN COMPUTER SCIENCE
Hemmat, Arshia; Sharbaf, Mohammadreza; Kolahdouz-Rahimi, Shekoufeh; Lano, Kevin; Tehrani, Sobhan Y.Practice Periodical on Structural Design and Construction
Ryan L. Solnosky전선 / 대학원
데이타베이스, 프로그래밍 언어, 그래픽스, 운영체계 등 시스템 소프트웨어에 있어서의 최신 동향과 주요 주제를 다룬다.전선 / 대학원
데이타베이스, 프로그래밍 언어, 그래픽스, 운영체계 등 시스템 소프트웨어에 있어서의 최신 동향과 주요 주제를 다룬다.전선 / 대학원
본 교과목은 프로젝트 중심 수업으로서 학생들이 end-to-end 프로젝트를 통해 데이터사이언스 애플리케이션 개발 수명 주기, 애플리케이션 아키텍처 설계와 구성 요소의 선택, 시스템 인프라 유지보수 및 모니터링과 MLOps 등을 공부하고 실질적인 경험을 쌓을 수 있도록 한다. 학생들은 실습 세션을 통해 업계에서 활용되는 최신의(state-of-art) 소프트웨어 구성 요소들을 다루고 대규모 상업 시스템들에 대해서 사례 연구를 진행한다. 학생들은 수업을 통해 프로젝트 아이디어를 제안하고, 아키텍처와 애플리케이션 기능을 디자인하며, 인프라를 애플리케이션 수명 주기에 따라 모니터링하고 유지 보수할 수 있어야 한다.전선 / 대학원
이 과정은 프로젝트 중심 수업으로 학생들은 end-to-end 프로젝트를 통해 데이터 사이언스 어플리케이션 개발 수명 주기, 어플리케이션 아키텍처 설계와 구성 요소의 선택, 시스템 인프라 유지보수 및 모니터링과 MLOps 등을 공부하고 실질적인 경험을 쌓을 수 있다. 이 수업에서는 소프트웨어 개발의 기초와 소프트웨어 2.0의 개념을 다루며, 학생들은 실습 세션을 통해 업계에서 활용되는 최신의(state-of-art) 소프트웨어 구성요소들을 다루고 대규모 상업 시스템들에 대해서 사례 연구를 진행할 예정이다. 학생들은 수업을 통해 프로젝트 아이디어를 제안하고, 아키텍처와 어플리케이션 기능을 디자인하며, 인프라를 어플리케이션 수명 주기에 따라 모니터링하고 유지 보수할 수 있어야 한다.전선 / 대학원
다양한 곡선 및 곡면디자인 방법들에 대하여 공부한다. 3차원 입체모델의 표현방식들에 대한 이론들을 배우고, 간단한 모델링 시스템을 구축하여본다.전선 / 학사
중대형 소프트웨어를 설계하고 구현하는데 필요한 실용적인 소프트웨어 개발 원리를 배우고 이 원리를 조별 프로젝트를 통해 실제로 중대형 소프트웨어를 개발하는데 적용한다. 이 경험을 바탕으로 올바르고 성능 좋은 소프트웨어를 개발할 수 있는 사고력, 자신감, 능력을 갖추도록 한다.전선 / 대학원
시스템 성능평가의 주요 도구 중 하나인 stochastic process와 queueing theory를 배움으로써, 컴퓨터 및 통신공학자들이 시스템을 모델링하고 성능분석 하는데 잘 활용할 수 있도록 한다. 이 강의에서는 기본 확률이론과 다양한 종류의 Markov Process, 큐잉 시스템을 포함하고 게임이론과 최적화 이론의 기본 개념을 다룬다.전선 / 대학원
본 강의에서는 시스템-온-칩 뿐 아니라 분산 임베디드 시스템을 체계적으로 설계하기 위한 방법론으로 많은 주목을 받고 있는 하드웨어-소프트웨어 통합설계 방법론에 관하여 공부하도록 한다. 우선, 시스템을 정형적으로 명세하기 위한 다양한 계산 모델(model of computation)에 관하여 살펴보고 시스템의 시뮬레이션과 빠른 성능 예측 기술, 그리고 시스템의 최적 구조를 탐색하는 기술 등 시스템 설계에 관한 핵심 기술들을 개괄적으로 살펴본다. 끝으로 병렬/분산 임베디드 소프트웨어의 검증과 유지를 용이하게 하기 위한 임베디드 소프트웨어 설계 기술을 배운다.전필 / 학사
<프로그래밍방법론>은 컴퓨터 프로그래밍을 위한 기술과 컴퓨터 프로그래밍 언어를 학습하는 과목이다. 수업은 컴퓨터의 기초와 Java 언어를 공부한 학생을 대상으로 하며, Unix의 기초와 사용 방법과 Java AWT/network, C/C++의 주요 사항, 윈도우 프로그램의 기초를 학습한다.전선 / 대학원
이 과목은 운영제체에 대한 기본적인 지식이 있다고 가정한다. 실시간 시스템에 있어서 각 작업이 요구되는 시간제한을 맞추기 위하여 어떤 스케줄링이 필요하고 어떻게 시스템을 설계해야 하는지를 배운다. 또한 이를 응용하여 어떻게 실제 시스템에 응용할 수 있는지 배운다.전선 / 학사
컴퓨터 모델링에서는 컴퓨터를 구성하는 각종 자원을 정량적으로 모델링하여 여러 가지 환경하에서 어떻게 동작하는지를 이해하고 성능 분석을 하는 기법을 익힌다. 이를 위해 본 강의에서는 통계적 과정, 분포이론, 확률론등의 기본적 모델링 지식과 함께 실제 시스템에의 적용 방식, 적용 사례 등을 교육한다.전필 / 학사
<프로그래밍방법론>은 컴퓨터 프로그래밍을 위한 기술과 컴퓨터 프로그래밍 언어를 학습하는 과목이다. 수업은 컴퓨터의 기초와 Java 언어를 공부한 학생을 대상으로 하며, Unix의 기초와 사용 방법과 Java AWT/network, C/C++의 주요 사항, 윈도우 프로그램의 기초를 학습한다.전선 / 학사
프로그래밍 언어론에 대한 전반적인 이해를 높이고, 다양한 프로그래밍 언어를 익힌다. 이를 위해 프로그래밍 언어의 개념, 설계이론, 구현 방법에 대해 공부한다.전필 / 학사
컴퓨터 시스템을 구성하는 하드웨어와 소프트웨어의 전반적인 개념 및 컴퓨터의 개념적 구성, 자료의 표현, 프로그램과 소프트웨어, 프로그래밍 언어, 자료처리, 수치해석, 자료구조, 알고리즘, 인터넷 등의 기본 개념과 그 응용에 대한 학습으로 프로그래밍 언어를 이용한 프로그램의 기초적인 작성 능력을 배양하는데 그 목적이 있다.전선 / 학사
최근 세계경제의 서비스화가 빠른 속도로 진행되고 있고 국내 산업구조 역시 제조 중심에서 서비스 산업 중심으로 크게 변화하고 있어, 서비스에 대한 이해와 생산성의 향상이 주요 관심사로 대두되고 있다. 서비스 시스템은 고객의 요구사항을 만족시키는 서비스를 생산ㆍ전달하기 위해 설계되는 기술과 조직적 네트워크의 복합체인 바, 본 교과목에서는 과학적ㆍ공학적 시각에서 서비스 시스템을 분석하고, 새로운 서비스 시스템을 설계ㆍ운영ㆍ혁신하기 위한 다양한 방법론을 학습한다.전선 / 대학원
컴퓨터를 설계하는 데 필요한 공학적 방법론, 설계기법, 무결함 검증방법, 기술동향, 성능평가 방법을 익힌다. 구체적으로 다루어지는 내용은 파이프라인 형태의 명령어 실행 방법, 명령어 수준의 병렬성, 메모리 계층구조, 입출력 시스템, 다중처리기, GPU 및 가속기 아키텍처 등이다.전선 / 대학원
인류가 현재 이미 사용하고 있거나 미래 기술로 개발하고 있는 다양한 에너지 시스템에 대해 소개하고, 이를 이해하는 데 필요한 열역학적 개념 및 이론을 배운다. 이러한 지식을 활용하여 다양한 에너지 시스템에 대한 열역학적 모델링 프로젝트를 수행함으로써 이해를 깊이하고, 에너지 시스템 공학자로서 필요한 분석 능력을 배양한다.논문 / 대학원
대학원논문연구전선 / 대학원
신경보철 (Neural Prosthesis)의 state of the art를 관계 서적, 논문, 보고서, 보도자료들을 이용하여 공부하며, 함께 새로운 연구방향을 모색하여 본다. 구체적으로 다룰 내용은 Auditory prosthesis, Visual prosthesis, Motor Prosthesis, Deep Brain Stimulation, Cognitive Engineering, Microelectrode arrays, Circuits and systems, Cultural Neuronal Network 의 내용을 다룰 예정이다.전선 / 대학원
이 과목에서는 내장형시스템 분야의 최신 연구동향을 학습한다. 최신 논문의 강독 및 세미나 발표를 중심으로 진행되며, 다양한 응용분야에서 내장형 시스템의 설계 이슈와 최신 방법론을 다룬다. 주요 강의주제는 시스템레벨 설계 방법론, 내장형소프트웨어 설계 및 최적화, 시스템온칩 아키텍처설계, 하드웨어/소프트웨어 통합설계 등을 다룬다. 또한, 구체적인 설계사례로 IoT 시스템, 스마트폰 등의 모바일 시스템, 스토리지 서브시스템 등을 다룬다. 논문 세미나에서는 top-tier 학회인 DAC, DATE, ESWEEK, ISCA, MICRO, FAST 등에서 발표된 최신 주요 논문을 주로 발표한다.