davis@COMMUNITY-CHEST.MITRE.ORG (10/11/88)
I have an interest in merging AI technology with software development for large, conventional projects, particularly in Ada. I observe a trend in private industry and government toward attempting to use Expert system tools as a part of delivered products, to be used by non-engineers/scientists. An aspect of this trend is the potential to assist members of development teams in software engineering in managing complexity. There have been some articles published in this general area during the last 4-5 years, dealing with high-level/specification languages, modelling, and rule-based formal proofs of software requirements, which suggests that some useful work is being done. I would like to see if there is an interest in these areas on the part of others who read the AI bulletin board, and to offer published information related to these interests. Dave Davis