• Journal of Educational Research in Mathematics
• /
• v.24 no.3
• /
• pp.311-331
• /
• 2014

For preservice teachers' instrumental-to-relational pedagogical content knowledge transformations, this research designed several didactical tasks based on Kinach's cognitive strategies. The researcher identified preservice teachers' understanding about what is a definition and how to teach it. By challenging their fixed ideas about definitions, the researcher could motivate them to embrace the new teaching approach which guides reinvention of definitions. The PCK development was not the simple process of filling their tabular rasa PCK with theories of mathematics education, but the dialectical process of identifying, challenging, changing and extending preservice teachers' existent PCK. This research will contribute to explore new directions of mathematics teachers' PCK development and the method of teacher education.

• 한국정보교육학회:학술대회논문집
• /
• 2004.01a
• /
• pp.393-402
• /
• 2004

마인드툴은 의미 있는 학습을 이루고 학습자의 사고과정을 도와주어 비판적 사고력, 창의적 사고력, 종합적 사고력을 가지도록 해준다. 워드프로세서의 다이어그램, 조직도, 그리기도구모음, 표, 워크시트, 차트, 하이퍼미디어 기능을 분석하여 마인드툴의 유의미조직도구, 동적모델링 도구, 학습내용 구성 도구로 활용하는 방법을 모색해 보았다.

• Proceedings of the ESK Conference
• /
• 1998.04a
• /
• pp.70-75
• /
• 1998

제품 인터페이스가 복잡성을 더해감에 따라 제품을 개발하는 디자인 프로세스도 그 성격이 바뀌어, 아 이디어 도출 단계에서 이러한 인터페이스를 표현하는데에는 2차원의 그림만으로는 표현이 불가능하게 되었다. 제품이 어떻게 작동하고 어떤 방식으로 운용되는가를 설명하기 위해서는 그림과 같은 평면적 인 표현 방법이 아닌 다른 방법이 필요하게 된 것이다. 이런 필요에 의해 생겨난 대표적 방법이 바로 Virtual Prototyping 기술이다. 그러나 이러한 Virtual Prototyping 이 디자인과정에 있어서 중요한 위 치를 차지하고 있지만, 개발된 많은 Virtual Prototyping 제작 도구들이 제품 디자인에 바탕을 두고 개발된 것이 아니라 공학적인 기술구현이나 단순한 프리젠테이션을 위한 것들이여서, 대다수의 제품 디자이너들은 그 효용성에 대해 공감하지만 사용상의 어려움이나 적용한계를 이유로 Virtual Prototyping의 사용을 피하고 고전적인 방법을 택하고 있는 실정이다. 이에 본 연구는 현재 Virtual Prototyping에 사용되고 있는 각종 도구들을 디자인의 관점에서 분석하고 그 장단점을 파악하여, 보다 제품 디자인의 Virtual Prototyping에 적합한 개발 도구를 개발하는데 목적을 두고 있다.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.1 no.1
• /
• pp.21-28
• /
• 1976

Simulation은 진실로 대단히 편리한 도구이다. 그러나 절대로 이것이 "만병통치"는 되지못한다. Simulation은 원래 통계학적인 근사치를 구하는 방법이고 적정정책이 직접적인 해로 나오는 것이 아니라 단지 몇개의 대안을 비교하는 데 그친다. 또한 Simulation이란 어디까지나 계량적인 기법이기 때문에 모든것이 수치로 나타나고, 숫자로 나타나지 않는 인과관계나, 또는 modeling단계에서 빠뜨린 부분에 대한 영향은 알 수가 없다. 그럼에도 불구하고 Simulation는 운영연구에 있어서 대단히 편리한 도구이고 다른 방법으로 해결할 수가 없는 많은 운영문제에 있어, 없어서는 안될 중요한 기법이다. 중요한 기법이다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.04a
• /
• pp.462-465
• /
• 2009

모바일 응용 S/W GUI를 기존의 매뉴얼을 보고 테스트 하는 단계적이고 수동적인 방법을 탈피하여 사용자 중심의 시나리오를 통하여 자동으로 GUI를 테스트 하는 것을 목적으로 한다. 제시한 테스트 방법은 사용자 중심의 UI를 설계하여 간편하고, 정확하게 테스트 할 뿐만 아니라 테스트케이스를 재사용하는 환경을 지원한다. 제안한 자동화 도구는 시나리오 기반의 정확한 테스트와 재사용성을 높인 테스트 도구로서 기존 테스트 도구와 기능적인 비교를 통하여 성능을 확인하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10c
• /
• pp.52-54
• /
• 2003

분산 컴퓨팅 환경에서 동작할 프로그램을 보다 쉽게 작성하기 위한 다양한 형태의 분산프로그래밍 도구들이 개발되어왔다. 그러나, 이러한 도구들을 이용하기 위해서는 각각의 도구가 요구하는 프로그래밍 방법을 숙지하여야 하는 부담을 감수해야 한다. 이런 부담은 분산프로그래밍 도구가 만족할 만한 프로그래밍 투명성을 제공하지 못하기 때문이고, 프로그램 작성시, 문제의 본질에만 집중하는 것을 방해한다. 본 논문에서는 프로그래밍 투명성을 지원하는 분산프로그래밍 도구를 개발하기 위한 방법을 제안한다. 제안된 방법의 테스트를 위하여 독자적인 분산실행환경을 설계하였으며, 이 환경에서 동작하는 분산 프로그램을 작성하여 단위테스트를 수행하였다. 이 프로그램은 분산처리를 위하여 특별히 정의된 문법(Syntax)을 전혀 사용하지 않았으며, 후처리만을 통하여 설계된 분산실행환경에서 분산프로그램의 역할을 수행한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06c
• /
• pp.566-570
• /
• 2010

최근에는 스마트 폰의 저변이 확대되면서, 보안 취약성에 대한 많은 문제점이 새롭게 등장하고 있다. 스마트 폰 프로그램은 PC 환경에서 실행되는 프로그램과는 달리, 배포가 이루어진 이후에 소프트웨어 업데이트 등의 방법으로 보안 취약성을 제거하는 것이 매우 어려운 특징이 있다. 기존의 테스트 방법론은 스마트 폰의 특성에 대한 고려가 없기 때문에 스마트 폰을 위한 테스트 방법론과 함께 이를 위한 동적 테스트 도구에 대한 연구가 필요하다. 본 논문에서는 이벤트 구동 방식으로 동작하는 스마트 폰 프로그램의 특징을 고려한 동적 테스트 도구를 설계한다. 테스트 도구는 컴파일러 이론을 적용하여 체계적으로 설계 한다. 제안한 도구는 테스트 케이스 생성기와 테스팅 시스템으로 구성되며, 이벤트 구동 방식으로 동작하는 소프트웨어의 취약성 검출 자동화 도구로 활용할 수 있다.

• Korean Journal of Logic
• /
• v.5 no.1
• /
• pp.119-145
• /
• 2001

아리스토텔레스의 논리학은 그 도구적, 방법론적 성격 때문에 보통 "organon"이라고 불린다. 많은 아리스토텔레스 연구자들은, 그의 논리학 이론들이 그가 손댄 여러 분야의 연구에서 정밀 도구 구실을 하는지를 밝히는 데 몰두해 왔다. 지난 30년 넘는 세월 동안 아리스토텔레스 연구를 이 끌어왔던 논의 가운데 하나인, "genos"와 "eidos"의 쓰임에 논의도 바로 그런 연구 전통에 잇닿아 있다. 이 논의는 요즘 일단락된 것으로 받아들여지고 있다. 아리스토텔레스의 논리학에 나오는, 게노스와 에이도스에 의한 분류는 그의 생물학 연구에서는 별 가치가 없다는 것이 일반적인 의견이다. 생물학 연구에서는 문제의 두 개념이 논리학에서처럼 "유"와 "종"의 뜻으로 쓰이는 것이 아니라 상대적인 개념으로 쓰이며, 그렇기 때문에 생물 분류와 무관하다는 말이다. 하지만 문제의 두 개념들이 등장하는 구절들을 문헌학적인 방법을 써서 분석해 보면, 이런 일반적인 의견은 별 근거가 없는 것으로 드러난다: 생물학에서 eidos는 개별자들을 포함하는 종을 가리키는 개념으로, 절대적으로 쓰인다. genos의 경우는 그 쓰임이 좀 더 복잡하지만, 아리스토텔레스가 생물학에서 내세우는 생물의 형태론적 구 분과 관련해서 쓰일 때는 언제나 "유"를 뜻한다. 그런 점에서 genos와 eidos는 본질적으로 생물 분류에 쓰인 개념들이다. 이런 사실은 곧 아리스토텔레스의 논리학이 그의 생물학 연구에서 유용한 도구로서 쓰임을 보여주는 하나의 증거이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.880-882
• /
• 2003

본 논문에서는 소프트웨어 공학에서 널리 사용되고 있는 정형기법을 보안 운영체제의 검증에 활용하기 위해 각 검증기법의 특성과 도구에 대해서 설명한다. 정리증명의 대표적인 도구인 PVS와 모델체킹의 대표적 도구인 SMV, 특수한 목적을 위해 개발된 NPA등에 대해서 알아보고, 각 방법을 비교, 분석하여 보안운영체제의 검증에 적합한 도구를 찾아본다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2003.12a
• /
• pp.533-537
• /
• 2003

보안 시스템의 안전성을 분석하기 위해서는, 정형적 방법론을 사용하여 보안 시스템에 대한 이론적인 수학적 모델을 정형적으로 설계하고, 보안 속성을 정확히 기술해야만 한다. 본 논문에서는 보안 시스템의 안전성을 검증하기 위한 보안모델의 구성요소와 안전성 검증방법을 설명한다. 그리고 보안모델을 설계하고 안전성을 분석하기 위한 SEW(Safety Evaluation Workshop)의 전체 구조와 SPR(Safety Problem Resolver) 정형검증도구의 검증방법 및 기능에 대해 소개하고자 한다.