Semantic Validation of Product and Process Models-Reference-Cited by-同舟云学术

Semantic Validation of Product and Process Models

Published:1997-01 Issue:1 Volume:11 Page:26-36
ISSN:0887-3801
Container-title:Journal of Computing in Civil Engineering
language:en
Short-container-title:Journal of Computing in Civil Engineering

Author:

Baugh John W.,Chadha Harpreet S.

Publisher

American Society of Civil Engineers (ASCE)

Subject

Computer Science Applications,Civil and Structural Engineering

Link

http://ascelibrary.org/doi/pdf/10.1061/%28ASCE%290887-3801%281997%2911%3A1%2826%29

Reference34 articles.

1. AutoCAD release 11 reference manual. (1990). Autodesk Ltd. San Rafael Calif.

2. Baugh J. W. Jr. (1992). “Is engineering software amenable to formal specification?” Proc. 1st Int. Workshop on Larch U. Martin and J. M. Wing eds. Springer-Verlag New York N.Y.

3. Data Abstraction in Engineering Software Development

4. Bloor M. S. and Owen J. (1991). “CAD/CAM product-data exchange: the next step.” Computer-Aided Des. 23(4).

5. Bond A. H. Eastman C. M. and Chase S. C. (1991). “Theoretical foundations of EDM product models.” Des. and Computation Res. Rep. Grad. School of Arch. and Urban Plng. Univ. of California Los Angeles Calif.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A model for automated monitoring of road construction;Construction Management and Economics;2005-11

2. Finite State Verification of Intelligent Transportation Systems;Journal of Computing in Civil Engineering;2000-01

3. Design and verification of real-time systems;Artificial Intelligence in Structural Engineering;1998