Tanya Widen. Formal language design in the context of domain engineering. Master 's thesis, Oregon Graduate Institute, June 1998.  Home/Search   Document Details and Download   Summary   Related Articles

....subprocess for gathering, analyzing, and capturing domain information. The subprocess of going from a CA to an application engineering tool and environment are less well defined, and it is here that SDA provides some support. The results of combining FAST with SDA are described in Widen s thesis[Wid98] 3.3 Amphion The Amphion[LPPU94] project utilizes formal specifications and automated deductive synthesis to allow non programmers to effectively utilize scientific libraries. A domain theory is created for each domain that relates the problem area to library operations. In one application of ....

....to improve Lucent s own internal method training activities. Currently, they are discovering flaws in their tools and representations that would have been discovered had our technology been used. The results are contained in the following artifacts: ffl Evaluation of the integration of SDA FAST [Wid98] ffl Domain Analysis for Switch Maintenance Configuration Control (technical report) ffl SM CC domain models (technical report) ffl Switch Specification Tool (switch specification prototype tool) Currently, Shulman and I are working on a language for specifying static switch configurations. ....

Tanya Widen. Formal language design in the context of domain engineering. Master 's thesis, Oregon Graduate Institute, June 1998.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC