@article{ART001219432},
author={임근},
title={Verification method and Simulation of Object model Converted to Formal Specification},
journal={Journal of The Korea Society of Computer and Information},
issn={1598-849X},
year={2007},
volume={12},
number={6},
pages={123-130}
TY - JOUR
AU - 임근
TI - Verification method and Simulation of Object model Converted to Formal Specification
JO - Journal of The Korea Society of Computer and Information
PY - 2007
VL - 12
IS - 6
PB - The Korean Society Of Computer And Information
SP - 123
EP - 130
SN - 1598-849X
AB - In this paper, We define convert rules from objects and relation presented in object model to the state and operation domain in formal specification. Namely, object and relation in information model conveted to state domain in formal specification. State, event and behavior converted to operation domain. And that way informal object model change to formal language, it can be verify through formal method. Verification process make an offer convenience and confidence in software development early phase. And we implement simulation tool in order to verification method of formal specification and to consistency verified model between user's requirement. It is possible to select the suitable model and reduce the costs and efforts on software development.
KW - SW development;Prototyping language;Model verification
DO -
UR -
ER -
임근. (2007). Verification method and Simulation of Object model Converted to Formal Specification. Journal of The Korea Society of Computer and Information, 12(6), 123-130.
임근. 2007, "Verification method and Simulation of Object model Converted to Formal Specification", Journal of The Korea Society of Computer and Information, vol.12, no.6 pp.123-130.
임근 "Verification method and Simulation of Object model Converted to Formal Specification" Journal of The Korea Society of Computer and Information 12.6 pp.123-130 (2007) : 123.
임근. Verification method and Simulation of Object model Converted to Formal Specification. 2007; 12(6), 123-130.
임근. "Verification method and Simulation of Object model Converted to Formal Specification" Journal of The Korea Society of Computer and Information 12, no.6 (2007) : 123-130.
임근. Verification method and Simulation of Object model Converted to Formal Specification. Journal of The Korea Society of Computer and Information, 12(6), 123-130.
임근. Verification method and Simulation of Object model Converted to Formal Specification. Journal of The Korea Society of Computer and Information. 2007; 12(6) 123-130.
임근. Verification method and Simulation of Object model Converted to Formal Specification. 2007; 12(6), 123-130.
임근. "Verification method and Simulation of Object model Converted to Formal Specification" Journal of The Korea Society of Computer and Information 12, no.6 (2007) : 123-130.
