Knowledge-Based Software Architectures: Acquisition, Specification, and Verification
IEEE Transactions on Knowledge and Data Engineering
Model-Based Automatic Generation of Sequence-Control Programs from Design Information
IEEE Expert: Intelligent Systems and Their Applications
WET-ICE '96 Proceedings of the 5th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE'96)
Hi-index | 0.00 |
The Lockheed Environment for Automatic Programming (LEAP), an asset-based software synthesis system, is discussed. LEAP captures and exploits design knowledge to produce application system descriptions, software implementations, and other design artifacts. Its asset-based synthesis approach allows software production to be incrementally automated and in large part produced by system engineers. The development, synthesis, and testing of system packages for an autonomous underwater application are discussed.