Study about high quality low cost modeling environments

摘要

As we know, the computer-aided modeling and analysis is important method to designingrnof engineering systems. Therefore, developing these tools is hard and often prohibitivelyrncostly, and the analysis results are often of unknown dependability. In this paper, wernstudy about the few successful models for component-based software development. Onernof the main contributions of this work is an experimental systems test of this hypothesisrnthat we evaluate the feasibility of such an approach by using it to develop an industriallyviablernenvironment for engineering modeling and analysis. To test this suppose, we willrndevelop a formal specification of the semantics for a particular modeling framework inrnthis manner, which will be the basis for assessing the feasibility of such an approach.