본 논문에서 제안하는 시나리오기반 검증기법의 목적은 UML로 작성된 객체지향 분석모델의 완전성 및 일관성을 진단하는 것이다. 검증기법의 전체 절차는 요구분석을 위한 Use Case 모델링 과정에서 생성되는 Use Case 시나리오와 UML 분석모델로부터 역공학적 방법으로 도출된 객체행위 시나리오와의 상호참조과정 및 시나리오 정보트리 추적과정을 이용하여 단계적으로 수행된다. 본 검증절차를 위하여 우선, UML로 작성된 객체지향 분석모델들은 우선 정형명세언어를 사용하여 Use Case 정형명세로 변환하다. 그 다음에, Use Case 정형명세로부터 해당 Use Case 내의 객체의 정적구조를 표현하는 시나리오 정보트리를 구축하고, Use Case 정형명세 내에 포함되어 있는 객체 동적행위 정보인 메시지 순차에 따라 개별 시나리오흐름을 시나리오 정보트리에 표현한다. 마지막으로 시나리오 정보트리 추적과 시나리오 정보 테이블 참조과정을 중심으로 완전성 및 일관성 검증작업을 수행한다. 즉, 검증하고자 하는 해당 Use Case의 시나리오 정보트리를 이용한 시나리오 추적과정을 통해 생성되는 객체행위 시나리오와 요구분석 과정에서 도출되는 Use Case 시나리오와의 일치여부를 조사하여 분석모델과 사용자 요구사양과의 완전성을 검사한다. 그리고, 시나리오 추적과정을 통해 수집되는 시나리오 관련종보들을 가지고 시나리오 정보 테이블을 작성한 후, 분석과정에서 작성된 클래스 관련정보들의 시나리오 포함 여부를 확인하여 분석모델의 일관성을 검사한다. 한편, 본 논문에서 제안하는 검증기법의 효용성을 증명하기 위해 대학의 수강등록시스템 개발을 위해 UML을 이용해 작성된 분석모델을 특정한 사례로써 적용하여 보았다. 프로세싱 오버헤드 및 메모리와 대역폭 요구량 측면에서 MARS 모델보다 유리함을 알 수 있었다.과는 본 논문에서 제안된 프리페칭 기법이 효율적으로 peak bandwidth를 줄일 수 있다는 것을 나타낸다.ore complicate such a prediction. Although these overestimation sources have been attacked in many existing analysis techniques, we cannot find in the literature any description about questions like which one is most important. Thus, in this paper, we quantitatively analyze the impacts of overestimation sources on the accuracy of the worst case timing analysis. Using the results, we can identify dominant overestimation sources that should be analyzed more accurately to get tighter WCET estimations. To make our method independent of any existing analysis techniques, we use simulation based methodology. We have implemented a MIPS R3000 simulator equipped with several switches, each of which determines the accuracy level of the
The Transactions of the Korea Information Processing Society
/
v.6
no.4
/
pp.932-940
/
1999
Object-oriented programming is often touted as promoting software reuse. However it is recognized that objected-oriented software often need to be restructured before it can be reused. refactoring is the process that changes the software structure to make it more reusable, easier to maintain and easire to be enhanced wit new functionalities. This paper desirbes experience gained and lessons learned from restructuring OODesigner, a Computer Aided Software Engineering(CASE) tool that supports Objects Modeling Technique(OMT). this tool supports a wide range of features such as constructing object modeler of OMT, managing information repository, documenting class resources, automatical generating C++ and java code, reverse engineering of C++ and Java cod, searching and reusing classes in the corresponding repository and collecting metrics data. although the version 1.x was developed using OMT(i.e the tool has been designed using OMT) and C++, we recognized that the potential maintenance problem originated from the ill-designed class architecture. Thus this version was totally restructured, resulting in a new version that is easier to maintain than the old version. In this paper, we briefly describe its restructuring process, emphasizing the fact that the Refactoring of the tool is conducted using the tool itself. Then we discuss lessons learned from these processes and we exhibit some comparative measurements of the developed version.
The objective of this study is to examine the factors influencing entrepreneurship and innovational behavior orientation in small and middle enterprise. This model tests various theoretical research hypotheses relating to entrepreneurship, innovational behavior orientation and Affective Organizational Commitment. To verify them, using a sample of 280 employees working for 31 companies in Busan, Ulsan, and Pohang, this study analyses empirically on structural relationship among them. The results of hypothesis testing are as follows. First, entrepreneurship influence innovational orientation. Second, entrepreneurship influence Affective Organizational Commitment. Finally, A mediator effect of Affective Organizational Commitment between entrepreneurship and innovational behavior orientation is a new empirical result coming out of this study. The study provides entrepreneurship and policy-HRM with more accurate information that allow them to explore significant managerial insights so as to develop appropriate policy in small and middle enterprise.
Students' learning processes and mathematical levels should be correctly diagnosed in many different methods of assessment to help students learn mathematics. The study developed the model for the process-based assessment while using manipulatives in the middle school in order to improve problem solving, reasoning and communication which are emphasized in 2009 reformed curriculum as the areas of mathematical process. Identifying the principles of assessment, we created the assessment model for each area and carried out a preliminary study. Based on this, we revised the representative items and the observation checklist and then conducted a main study. Through the results of assessment, we found that students' thinking processes were well presented in scoring rubric for their responses on each item. It meant that the purpose of the assessment as a criterion-referenced test was achieved.
The purpose of this study is to see the motive, processes and strategies of change in poor single mother self-help group and analyze meaning in the self help group, agencies and themselves by change. As to this discussion, We seek to grope practical ways for self-help group. By using Participatory Action Research, We intended to an alternative plan in collaborating between practitioners and all concerned. Following four-step-process in this methodology, we explored processes of changing and considered social work practical meaning. On results, first, The motive have come from critical minds that motivate them to choose their way subjectively. We concluded that they have a necessity of change as a groping activity within their capability. Second, On process trying to be changed, They have made initiative decisions about how extensive and deep their changes should be, by discussion being themselves. So they have agreed to aim at purposeful activities beyond just emotional support. Third, they suggested and planned meaningful action as a specific strategy for changing and all these were done by local community volunteering and lecturing for supporting single mother. In conclusion, The 'Change' single mother group activity aim at is, based on subjective decision, to change a practice of a social worker into a practice of participant, and to develop social empowerment more improved to control social condition, which is forming their life, by their own choice. Furthermore, It needs to be considered approach to Community for overcome limits of self help group activities. Based on these consequences, We presented social work practical meaning.
In the domestic game development field, game system planning is the work that game designers design the gameplay mechanics system to satisfy the game concepts in the perspective of creative design by data structural methods. But the programmers work to design the game system based on the results of the game system planning in the perspective of engineering design by object-oriented methods. This work process is a high risky way for high occurring probability of communication errors between the game designers and programmers, and mismatching errors in their work results. In this study, we propose an object-oriented design method of game system for the game designers in order to resolve this problem. The proposed method is a customized one of GRAPPLE object-oriented SW development guidelines to suit the game system planning. To investigate the effectiveness of the proposed planning method for the game designers, we carried out a survey targeting 10 game system designers working in the domestic game industry. The survey results show that the necessity and effectiveness of the proposed method is "a little over" for almost the game designers.
The purpose of this study was to investigate secondary science teachers' PCK components and subcomponents that are specific to online and offline learning environment. Data collection consisted of survey, class observation, and individual interviews of twelve science teachers. This study used a theoretical framework of PCK for deductive data analysis and articulated codes and themes through the following inductive analysis. Data analysis revealed that each of PCK components showed different specificity to the online and offline learning environment. And subcomponents of each PCK component were different according to the specificity of the online and offline learning environment. Teaching orientation toward science had a specific orientation for the online learning environment, i.e., 'learning science concept' and 'lecture centered instruction.' Knowledge of the science curriculum had online-offline mixed learning environment specific knowledge, i.e., 'reorganization of curriculum' and online learning environment specific knowledge, i.e., 'development of learning goal' and 'science curricular materials.' Knowledge of science teaching strategies had online learning environment specific knowledge, i.e., 'topic-specific strategy', 'subject-specific strategy', and 'interaction strategy' and COVID-19 offline learning environment specific knowledge, i.e., 'topic-specific strategy' and 'interaction strategy'. Knowledge of student science understanding had online learning environment specific knowledge, i.e., 'student preconception', 'student learning difficulty', 'student motivation and interest', and 'student diversity' and COVID-19 offline learning environment specific knowledge, i.e., student learning difficulty'. Knowledge of science assessment had online-offline mixed learning environment specific knowledge and online learning environment specific knowledge, i.e., assessment contents and assessment methods for each.
Journal of Korean Library and Information Science Society
/
v.31
no.4
/
pp.139-164
/
2000
본 연구는 이용자 지향적 평가의 의의와 타당성을 규명하기 위하여 연구과정에서 개인의 지식과 상황 및 인지적 요인의 변화에 따라 이용자가 인식하는 검색문헌의 적합성을 평가하는 기준들의 변화를 규명하는데 그 목적이 있다. 연구의 방법은 이론가설을 설정하고 이의 검증을 위하여 실제 연구문제를 가지고 있는 5명의 이용자를 대상으로 그들의 연구과정에 따라 적합성을 평가하는 기준들과 그 기준들의 변화양상을 관찰하는 실험을 수행하였다. 실험결과의 분석에는 빈도분석, 상관분석, 일원분산분석이 활용되었다. 그 결과 연구자들은 연구과정에 따라 적합성을 평가하는 기준이 다르게 나타났으며, 평가자에 따라서도 각기 다른 평가기준이 사용되고 있음을 확인할 수 있었다.
The purpose of The purpose of this study is to empirically investigate the relationships among achievement goal-orientation, sports confidence, and exercise commitment in university student-athletes. To fulfill this purpose, data were collected from 347 student-athletes enrolled in universities located in Seoul and the Gyeong-In area, and analysis thereof was carried out. Conclusion drawn from the performance of this study is as follows: First, university student-athletes' achievement goal-orientation has significant effects on their sports confidence. Second, university student-athletes' sports confidence has significant effects on their exercise commitment. Third, university student-athletes' achievement goal-orientation has significant effects on their exercise commitment. Fourth, sports confidence has indirect mediation effects on the relationship between achievement goal-orientation and exercise commitment in university student-athletes, and it was found that these factors had causal relationships. Therefore, the findings of this study show that university student-athletes' achievement goal-orientation plays an important role for their effective commitment to exercise, in the process of which sports confidence plays the role of a mediator, suggesting that psychological support as well as motor skill cultivation is necessary to enhance university student-athletes' performance.
기술의 발전은 사회에 많은 변화를 일으키고 있다. 또한 기술의 발전은 예술 영역에 있어서도 형식과 내용에 많은 변화와 영향을 주고 있다. 컴퓨터 아트, 인터액티브 아트, 뉴 미디어 아트라고 불리는 새로운 예술 장르들이 탄생하였으며 예술가들은 다양한 기술과 접목하여 새로운 작품을 만들어 내고 있다. 뉴 미디어 아트의 중요한 특징 중 하나는 상호작용성인데 이것은 예술작품, 예술가, 그리고 관람자의 수용방식에 결정적인 변화를 가져왔다. 즉 뉴미디어 아트서의 예술작품은 완성태가 아닌 과정(process)으로 주어지고, 예술가는 작업의 초안자 또는 작업의 맥락을 규정하는 자로 규정되며, 작품과 관람자간의 상호작용이 무엇보다 강조된다. 그러나 기존의 뉴 미디어 작품에서 일어나는 상호작용성은 미리 계산된 범위 안에서 일어나는 제약이 있기에 진정한 상호작용성이라고 보기 힘들다는 비판도 있다. 이런 상호작용성은 공학적 세계관에 갇힌 닫힌 시스템으로서의 상호작용성이라고 말하며 미적인 상호 작용성의 도구로서 열린 시스템으로서의 새로운 작품의 필요성을 제시한 예술가들이 있다. 본 논문은 이러한 예술가들의 발자취를 따라 더 본질적인 미학적 상호작용성에 대한 고민과 함께 그에 따른 새로운 상호작용적 예술인 행동지향적 예술로서 인공지능, 인공생명 아트에 대하여 살펴보고자 한다.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 2004년 10월 1일]
이용약관
제 1 장 총칙
제 1 조 (목적)
이 이용약관은 KoreaScience 홈페이지(이하 “당 사이트”)에서 제공하는 인터넷 서비스(이하 '서비스')의 가입조건 및 이용에 관한 제반 사항과 기타 필요한 사항을 구체적으로 규정함을 목적으로 합니다.
제 2 조 (용어의 정의)
① "이용자"라 함은 당 사이트에 접속하여 이 약관에 따라 당 사이트가 제공하는 서비스를 받는 회원 및 비회원을
말합니다.
② "회원"이라 함은 서비스를 이용하기 위하여 당 사이트에 개인정보를 제공하여 아이디(ID)와 비밀번호를 부여
받은 자를 말합니다.
③ "회원 아이디(ID)"라 함은 회원의 식별 및 서비스 이용을 위하여 자신이 선정한 문자 및 숫자의 조합을
말합니다.
④ "비밀번호(패스워드)"라 함은 회원이 자신의 비밀보호를 위하여 선정한 문자 및 숫자의 조합을 말합니다.
제 3 조 (이용약관의 효력 및 변경)
① 이 약관은 당 사이트에 게시하거나 기타의 방법으로 회원에게 공지함으로써 효력이 발생합니다.
② 당 사이트는 이 약관을 개정할 경우에 적용일자 및 개정사유를 명시하여 현행 약관과 함께 당 사이트의
초기화면에 그 적용일자 7일 이전부터 적용일자 전일까지 공지합니다. 다만, 회원에게 불리하게 약관내용을
변경하는 경우에는 최소한 30일 이상의 사전 유예기간을 두고 공지합니다. 이 경우 당 사이트는 개정 전
내용과 개정 후 내용을 명확하게 비교하여 이용자가 알기 쉽도록 표시합니다.
제 4 조(약관 외 준칙)
① 이 약관은 당 사이트가 제공하는 서비스에 관한 이용안내와 함께 적용됩니다.
② 이 약관에 명시되지 아니한 사항은 관계법령의 규정이 적용됩니다.
제 2 장 이용계약의 체결
제 5 조 (이용계약의 성립 등)
① 이용계약은 이용고객이 당 사이트가 정한 약관에 「동의합니다」를 선택하고, 당 사이트가 정한
온라인신청양식을 작성하여 서비스 이용을 신청한 후, 당 사이트가 이를 승낙함으로써 성립합니다.
② 제1항의 승낙은 당 사이트가 제공하는 과학기술정보검색, 맞춤정보, 서지정보 등 다른 서비스의 이용승낙을
포함합니다.
제 6 조 (회원가입)
서비스를 이용하고자 하는 고객은 당 사이트에서 정한 회원가입양식에 개인정보를 기재하여 가입을 하여야 합니다.
제 7 조 (개인정보의 보호 및 사용)
당 사이트는 관계법령이 정하는 바에 따라 회원 등록정보를 포함한 회원의 개인정보를 보호하기 위해 노력합니다. 회원 개인정보의 보호 및 사용에 대해서는 관련법령 및 당 사이트의 개인정보 보호정책이 적용됩니다.
제 8 조 (이용 신청의 승낙과 제한)
① 당 사이트는 제6조의 규정에 의한 이용신청고객에 대하여 서비스 이용을 승낙합니다.
② 당 사이트는 아래사항에 해당하는 경우에 대해서 승낙하지 아니 합니다.
- 이용계약 신청서의 내용을 허위로 기재한 경우
- 기타 규정한 제반사항을 위반하며 신청하는 경우
제 9 조 (회원 ID 부여 및 변경 등)
① 당 사이트는 이용고객에 대하여 약관에 정하는 바에 따라 자신이 선정한 회원 ID를 부여합니다.
② 회원 ID는 원칙적으로 변경이 불가하며 부득이한 사유로 인하여 변경 하고자 하는 경우에는 해당 ID를
해지하고 재가입해야 합니다.
③ 기타 회원 개인정보 관리 및 변경 등에 관한 사항은 서비스별 안내에 정하는 바에 의합니다.
제 3 장 계약 당사자의 의무
제 10 조 (KISTI의 의무)
① 당 사이트는 이용고객이 희망한 서비스 제공 개시일에 특별한 사정이 없는 한 서비스를 이용할 수 있도록
하여야 합니다.
② 당 사이트는 개인정보 보호를 위해 보안시스템을 구축하며 개인정보 보호정책을 공시하고 준수합니다.
③ 당 사이트는 회원으로부터 제기되는 의견이나 불만이 정당하다고 객관적으로 인정될 경우에는 적절한 절차를
거쳐 즉시 처리하여야 합니다. 다만, 즉시 처리가 곤란한 경우는 회원에게 그 사유와 처리일정을 통보하여야
합니다.
제 11 조 (회원의 의무)
① 이용자는 회원가입 신청 또는 회원정보 변경 시 실명으로 모든 사항을 사실에 근거하여 작성하여야 하며,
허위 또는 타인의 정보를 등록할 경우 일체의 권리를 주장할 수 없습니다.
② 당 사이트가 관계법령 및 개인정보 보호정책에 의거하여 그 책임을 지는 경우를 제외하고 회원에게 부여된
ID의 비밀번호 관리소홀, 부정사용에 의하여 발생하는 모든 결과에 대한 책임은 회원에게 있습니다.
③ 회원은 당 사이트 및 제 3자의 지적 재산권을 침해해서는 안 됩니다.
제 4 장 서비스의 이용
제 12 조 (서비스 이용 시간)
① 서비스 이용은 당 사이트의 업무상 또는 기술상 특별한 지장이 없는 한 연중무휴, 1일 24시간 운영을
원칙으로 합니다. 단, 당 사이트는 시스템 정기점검, 증설 및 교체를 위해 당 사이트가 정한 날이나 시간에
서비스를 일시 중단할 수 있으며, 예정되어 있는 작업으로 인한 서비스 일시중단은 당 사이트 홈페이지를
통해 사전에 공지합니다.
② 당 사이트는 서비스를 특정범위로 분할하여 각 범위별로 이용가능시간을 별도로 지정할 수 있습니다. 다만
이 경우 그 내용을 공지합니다.
제 13 조 (홈페이지 저작권)
① NDSL에서 제공하는 모든 저작물의 저작권은 원저작자에게 있으며, KISTI는 복제/배포/전송권을 확보하고
있습니다.
② NDSL에서 제공하는 콘텐츠를 상업적 및 기타 영리목적으로 복제/배포/전송할 경우 사전에 KISTI의 허락을
받아야 합니다.
③ NDSL에서 제공하는 콘텐츠를 보도, 비평, 교육, 연구 등을 위하여 정당한 범위 안에서 공정한 관행에
합치되게 인용할 수 있습니다.
④ NDSL에서 제공하는 콘텐츠를 무단 복제, 전송, 배포 기타 저작권법에 위반되는 방법으로 이용할 경우
저작권법 제136조에 따라 5년 이하의 징역 또는 5천만 원 이하의 벌금에 처해질 수 있습니다.
제 14 조 (유료서비스)
① 당 사이트 및 협력기관이 정한 유료서비스(원문복사 등)는 별도로 정해진 바에 따르며, 변경사항은 시행 전에
당 사이트 홈페이지를 통하여 회원에게 공지합니다.
② 유료서비스를 이용하려는 회원은 정해진 요금체계에 따라 요금을 납부해야 합니다.
제 5 장 계약 해지 및 이용 제한
제 15 조 (계약 해지)
회원이 이용계약을 해지하고자 하는 때에는 [가입해지] 메뉴를 이용해 직접 해지해야 합니다.
제 16 조 (서비스 이용제한)
① 당 사이트는 회원이 서비스 이용내용에 있어서 본 약관 제 11조 내용을 위반하거나, 다음 각 호에 해당하는
경우 서비스 이용을 제한할 수 있습니다.
- 2년 이상 서비스를 이용한 적이 없는 경우
- 기타 정상적인 서비스 운영에 방해가 될 경우
② 상기 이용제한 규정에 따라 서비스를 이용하는 회원에게 서비스 이용에 대하여 별도 공지 없이 서비스 이용의
일시정지, 이용계약 해지 할 수 있습니다.
제 17 조 (전자우편주소 수집 금지)
회원은 전자우편주소 추출기 등을 이용하여 전자우편주소를 수집 또는 제3자에게 제공할 수 없습니다.
제 6 장 손해배상 및 기타사항
제 18 조 (손해배상)
당 사이트는 무료로 제공되는 서비스와 관련하여 회원에게 어떠한 손해가 발생하더라도 당 사이트가 고의 또는 과실로 인한 손해발생을 제외하고는 이에 대하여 책임을 부담하지 아니합니다.
제 19 조 (관할 법원)
서비스 이용으로 발생한 분쟁에 대해 소송이 제기되는 경우 민사 소송법상의 관할 법원에 제기합니다.
[부 칙]
1. (시행일) 이 약관은 2016년 9월 5일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.