Sound Methods and Effective Tools for Engineering Modeling and Analysis

David Coppit & Kevin Sullivan
Modeling is indispensable in engineering. Safe, effective modeling methods require languages having clearly specified and validated semantics, and low-cost, feature rich, easy-to-use software tools. Today we lack cost effective means to develop such methods, with serious consequences for engineering. We present and evaluate an approach combining two techniques: formal methods to aid in language design and validation; and package oriented programming for effective tools at low cost. We have evaluated the approach in an end-to-end...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.