"소프트웨어모델"의 검색결과 입니다.

기간
- 전체
- 3개월
- 6개월
- 1년
- 2년
- 3년
- 5년
직접입력

적용
연관순
- 연관순
- 최신순
영역
- 전체
- 제목
- 본문
- 태그
페이지 수
- 전체페이지
- 1 페이지 ~ 5 페이지
- 6 페이지 ~ 10 페이지
- 직접입력 페이지 ~ 페이지 적용
확장자
- 전체
- 한글
- PDF
- MS워드
- MS엑셀
- MS파워포인트
- 압축파일
- 기타
할인자료 보기

연관검색어

경영정보시스템 정보처리기사 BIM 적용 및 활용 인공지능 클라우드 서비스 애플성공사례 구글 기업분석 아마존 샤오미 경쟁우위 소프트웨어공학

판매자 표지는 다운로드시 포함되지 않습니다.

"소프트웨어모델" 검색결과 41-60 / 16,812건

임베디드 소프트웨어에서 코드 리팩토링과 C 바운디드 모델 체커 도구의 적용 (Applying Code Refactoring and C Bounded Model Checker to Embedded Software)

한국정보과학회 김성회, 권기현, 한혁수, 이상은, 이혁재, 남일규, 한주동

논문 | 9페이지 | 무료 | 등록일 2025.05.06 | 수정일 2025.05.17

다운로드
전송망의 소프트웨어 정의 네트워크 제어 시스템 교육 모델 연구 (A Study Education Model on the Software Defined Network Control System in the Transport Network)

한국실천공학교육학회 장문수, 김유두

논문 | 7페이지 | 무료 | 등록일 2025.04.28 | 수정일 2025.05.15

다운로드
효과적인 임베디드 소프트웨어 설계를 위한 제어흐름 모델의 자동 검증 (Automatic Verification of the Control Flow Model for Effective Embedded Software Design)

한국정보처리학회 박사천, 권기현, 하순회

논문 | 8페이지 | 무료 | 등록일 2025.05.10 | 수정일 2025.05.18

다운로드
추상 도달가능성 그래프 기반 소프트웨어 모델체킹에서의 탐색전략 고려방법 (Controlling a Traversal Strategy of Abstract Reachability Graph-based Software Model Checking)

본 연구에서는 추상 도달가능성 그래프(ARG) 기반의 소프트웨어 모델체킹에서 그래프 탐색전략을 설정할 수 있는 새로운 방법을 제시한다. ARG의 여러 실행 경로를 하나로 묶 ... 어 모델체킹 성능을 향상시키는 기법인 블록 인코딩(Block Encoding) 기법을 활용하는 경우 기존의 기법들은 인코딩 전의 ARG 에서 인코딩을 효과적으로 수행할 수 있는 탐색전략 ... 만을 고려하였을 뿐 실제 모델체킹의 성능을 좌우할수 있는 인코딩 후의 ARG에 대한 탐색전략을 고려하지 못하는 문제가 있었다. 본 연구에서는 기존 연구에서 제시된 탐색 기법을 사용

논문 | 11페이지 | 무료 | 등록일 2025.07.08 | 수정일 2025.07.11

다운로드
TToSA : 제품계열공학으로의 전이를 위한 임베디드 소프트웨어의 모델 기반 아키텍처 변환기 (TToSA : An Architecture Model Translator toward Embedded Software Product Line Engineering)

한국정보처리학회 홍장의, 오기영, 김종필

논문 | 8페이지 | 무료 | 등록일 2025.05.10 | 수정일 2025.05.18

다운로드
고정익 항공기의 비행역학 모델 충실도 테스트를 위한 소프트웨어 개발 (Development of Software for Fidelity Test of Flight Dynamic Model on Fixed Wing Aircraft)

. 본 논문에서는 항공기 시뮬레이터의 효율적인 개발을 위하여 비행역학 모델의 충실도를 자동 검증하는 소프트웨어를 개발한다. 충실도 검증 프로세스로부터 도출된 요구사항에 대하 ... 여 소프트웨어 구조 및 GUI를 설계한 다음 Window 기반 환경에서 C# 언어를 이용하여 소프트웨어를 구현한다. CTSW 기종에 대한 실험 결과는 개발된 소프트웨어가 기능 및 성능 ... 의 구성 요소 중 비행역학 모델은 실제 항공기의 비행을 모의하는데 중요한 역할을 한다. 따라서 자동화된 도구를 사용하여 비행역학 모델의 충실도를 검증하는 것은 중요한 의미를 지닌다

논문 | 10페이지 | 무료 | 등록일 2025.06.21 | 수정일 2025.06.27

다운로드
클라우드 기반의 IoT 소프트웨어 개발을 위한 메타 모델 및 정형 명세 (Meta-model and Formal Specification for Design of Cloud-based IoT Software)

하도록 제시하지 않고 있다. 따라서 본 논문에서는 클라우드 기반의 IoT 소프트웨어 개발 시에 고려해야 할 요소들을 식별하여 이들을 메타모델의 요소들로 정의하고, 정의된 메타모델 ... 에 팬데믹을 거치면서 여러 기업들에서 원격근무 형태가 확산됨에 따라 여러 벤더들이 클라우드 서버와 사물 인터넷(IoT)을 구축하는데 필요한 플랫폼 뿐만 아니라 소프트웨어까지 판매하기 ... 시작하면서 사물인터넷이 성숙해지고 있다. 반면에 이처럼 IoT 플랫폼과 소프트웨어에 대한 수요가 급증하면서 보안이나 확장성 , 디바이스들 간의 동기화 등과 같은 요소들이 IoT

논문 | 12페이지 | 무료 | 등록일 2025.07.13 | 수정일 2025.07.20

다운로드
소프트웨어 공급망 공격 탐지를 위한 로깅 시스템 모델에 관한 연구 (A Study on Logging System Models for the Detection of Software Supply Chain Attacks)

한국보안관리학회 최원영, 서준배

논문 | 22페이지 | 무료 | 등록일 2025.04.21 | 수정일 2025.05.13

다운로드
임베디드 소프트웨어 개발을 위한 제품계열 중심의 개발프로세스 모델 설계 (A Design of Development Process Model of Product Lines for Developing Embedded Software)

한국정보과학회 홍기삼, 윤희병

논문 | 8페이지 | 무료 | 등록일 2025.03.01 | 수정일 2025.03.06

다운로드
한옥의 구조해석 모델 검 토 및 활용을 위한 가상현실 소프트웨어 (Virtual Reality Software for Review and Use of Structural-Analysis Model of Hanok)

한국전산구조공학회 정종현, 김영민

논문 | 8페이지 | 무료 | 등록일 2025.03.16 | 수정일 2025.03.28

다운로드
군용항공기 탑재 소프트웨어의 안전필수기능경로분석(SCFTA) 모델 개발 (Development of Safety Critical Function Thread Analysis(SCFTA) Model for Military Aircraft Software)

한국해군과학기술학회 고기성, 고진환

논문 | 8페이지 | 무료 | 등록일 2025.03.17 | 수정일 2025.03.28

다운로드
국방 무기체계의 소프트웨어 신뢰도 향상을 위한 신뢰도 모델 적용 사례 (A Case Study on Application for Software Reliability Model to Improve Reliability of the Weapon System)

한국정보과학회 김기창, 김용환, 신주환, 한기준

논문 | 14페이지 | 무료 | 등록일 2025.04.12 | 수정일 2025.05.09

다운로드
멀티프로세서용 임베디드 시스템을 위한 UML 기반 소프트웨어 모델의 분할 기법 (A Partition Technique of UML-based Software Models for Multi-Processor Embedded Systems)

한국정보처리학회 김종필, 홍장의

논문 | 12페이지 | 무료 | 등록일 2025.05.10 | 수정일 2025.05.18

다운로드
협력적 문제해결력 증진을 위한 팀 기반 소프트웨어 교육 모델 개발 (Development of a Team-based Software Instruction Model for Improving Cooperative Problem-solving Ability)

본 연구의 목적은 협력적 문제해결력을 증진하는 소프트웨어 교육 모델을 개발하는 것이다. 이를 위해 팀 기반 학습과 소프트웨어 학습 원리를 기반으로 모델을 설계한 후, 고등학생 ... 있었다. 또 학습태도의 능동적 변화, 상호작용 기술의 발달, 학습 응용력 상승 등의 긍정적 효과도 나타났다. 이 연구 모델은 융․복합적 문제를 다루는 미래 교육에 활용될 수 있 ... 을 것이다. The purpose of this study is to develop a software instruction model that promotes cooperative

논문 | 12페이지 | 무료 | 등록일 2025.07.15 | 수정일 2025.07.20

다운로드
불균형 데이터 처리를 통한 소프트웨어 요구사항분류 모델의 성능 개선에 관한 연구 (A Study on Improving Performance of Software Requirements Classification Models by Handling Imbalanced Data)

한국정보처리학회 최종우, 이영준, 임채균, 최호진

논문 | 8페이지 | 무료 | 등록일 2025.05.15 | 수정일 2025.05.22

다운로드
큐잉 네트웍 모델을 이용한 소프트웨어 아키텍처 설계 단계에서의 성능 예측 방법론 (The Methodology for Performance Prediction in Architectural Design Stage of Software using Queuing Network Model)

한국정보과학회 윤현상, 장수현, 이은석

논문 | 8페이지 | 무료 | 등록일 2025.03.01 | 수정일 2025.03.06

다운로드
클라우드 서비스 브로커를 위한 소프트웨어의 서비스 수준 합의 명세 모델과 중개 방법 (Service Level Agreement Specification Model of Software and Its Mediation Mechanism for Cloud Service Broker)

으로 제공되는 소프트웨어 서비스의 품질 요소를 반영하기 어렵다. 본 연구를 통해 SaaS 환경에 적합한 SLA 제공을 위해 소프트웨어적인 품질 특성을 명세할 수 있는 방법을 제시 ... 은 제안한 명세 언어로 기술될 수 있으며, 사례연구를 통해 다양한 소프트웨어적인 품질 요소가 제안한 명세 언어로 표현됨을 검증하였다. SLA 명세는이를 교환하기 위한 UDDI 기반 ... 하고 SLA 명세를 서비스 제공자와 소비자 간에 교환할 수 있는 메커니즘과 구조를 제안하였다. SaaS 레벨에서의 SLA 명세를 위한 메타모델을 정의하였고 SaaS의 품질 요구사항

논문 | 10페이지 | 무료 | 등록일 2025.07.13 | 수정일 2025.07.20

다운로드
부스팅 기계 학습과 SHAP를 이용한 설명 가능한 소프트웨어 분야 대졸자 취업 모델 개발 (Explainable Software Employment Model Development of University Graduates using Boosting Machine Learning and SHAP)

advent of the Fourth Industrial Revolution, the demand for software employment has increased. It is ... necessary to analyze the factors for software employment of university graduates. This paper proposes ... explainable software employment model of university graduates using machine learning and explainable

논문 | 16페이지 | 무료 | 등록일 2025.07.16 | 수정일 2025.07.20

다운로드
국방사업 특성을 고려한 무기체계 임베디드 소프트웨어 프로세스 평가모델(MND-ESPAM) (The Assessment Model of the Embedded Software Process Suitable for Korean Defense Industry)

한국컴퓨터정보학회 권경용, 양해술

논문 | 11페이지 | 무료 | 등록일 2025.05.10 | 수정일 2025.05.18

다운로드
소프트웨어 제품라인의 휘처모델과 구성요소간 가변성에 대한 일관성 검증 규칙 (Consistency Checking Rules of Variability between Feature Model and Elements in Software Product Lines)

모든 기업들은 높은 품질의 정보시스템과 높은 생산성을 가지는 소프트웨어 제품을 만들기 위해 소프트웨어 제품라인 공학(software product line engineering ... )을 도입하고 있다. 소프트웨어 제품라인 방법론은 다양한 모델들을 가지고 있으며, 각 모델은 추상화 관점과 수준이 서로 다르다. 이러한 모델에 존재하는 요소들간 추적 ... 한 가변성의 일관성을 검증하는 규칙을 제시하였다. Many companies have tried to adopt Software Product Line Engineering for

논문 | 6페이지 | 무료 | 등록일 2025.07.07 | 수정일 2025.07.10

다운로드

이전10개 1 234 5 6 7 8 9 10 다음10개

파워링크

신청하기