Search | Korea Science

;J. Krause;T. Mandl;A. Schaefer;M. Stempfhuber
- Proceedings of the Korea Institute of Convergence Signal Processing
- /
- 2000.08a
- /
- pp.349-352
- /
- 2000
본 논문은 소프트웨어-인간공학적 원칙(Soft-ware-Ergonomic principles)이 어떻게 사용자 우호적 HCI 디자인에 있어서 효율적으로 기여할 수 있는가를 보여준다. 다양한 실증적 연구를 통하여 우리는 하나의 이론적 모델(WOB-Model)을 만들었으며, 이 모델은 다수의 시스템 개발에 적용되어 그 가치가 인정되었다. 본 모델에 기초하여 디자인 된 시스템을 가지고 행한 사용자테스트(User tests)는 소프트웨어시스템에서 일반적으로 자주 나타나는(Usability pro-blems)가 없어 질 수 있음을 보여 주었다.
PDF

Cocchiarella, Nino B.
- Korean Journal of Logic
- /
- v.5 no.2
- /
- pp.1-21
- /
- 2002
A semantics for logical necessity, based on Carnap's criterion of adequacy, is given with respect to the ontology of logical atomism. A calculus for sentential (propositional) modal logic is described and shown to be complete with respect to this semantics. The semantics is then modified in terms of a restricted notion of 'all possible worlds' in the interpretation of necessity and shown to yield a completeness theorem for the modal logic S5. Such a restricted notion introduces material content into the meaning of necessity so that, in addition to atomic facts, there are "modal facts" that distinguish one world from another.
PDF