Title :
Toolset to support a systematic strategy for AI development
Author :
Siddiqi, Jawed ; Morrey, I.
Author_Institution :
Comput. Res. Centre, Sheffield Hallam Univ., UK
Abstract :
AI developments have been based on an exploratory approach whereas software engineering approaches can be characterised as specification-based. We present an integrated toolset that accommodates and encourages a mixed-mode development, thereby maximising the strengths and minimising the weaknesses of both approaches. Moreover, the interactive nature of the toolset provides an effective means to validate the adequacy of the developing system
Keywords :
artificial intelligence; computer aided software engineering; formal specification; formal verification; interactive systems; knowledge engineering; software tools; artificial intelligence development strategy; developing system adequacy validation; exploratory approach; interactive nature; mixed-mode development; software development toolset; software engineering; specification-based approach; systematic strategy; Artificial intelligence; Calculus; Computer languages; Formal specifications; Maintenance; Programming; Prototypes; Set theory; Software engineering; Testing;
Conference_Titel :
Tools with Artificial Intelligence, 1995. Proceedings., Seventh International Conference on
Conference_Location :
Herndon, VA
Print_ISBN :
0-8186-7312-5
DOI :
10.1109/TAI.1995.479510
