DocumentCode
2904368
Title
Toolset to support a systematic strategy for AI development
Author
Siddiqi, Jawed ; Morrey, I.
Author_Institution
Comput. Res. Centre, Sheffield Hallam Univ., UK
fYear
1995
fDate
5-8 Nov 1995
Firstpage
168
Lastpage
171
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Tools with Artificial Intelligence, 1995. Proceedings., Seventh International Conference on
Conference_Location
Herndon, VA
ISSN
1082-3409
Print_ISBN
0-8186-7312-5
Type
conf
DOI
10.1109/TAI.1995.479510
Filename
479510
Link To Document