The Concept of an Efficient Computer Aided Software Engineering Tool

Abstract In our contribution the acquired experiences by developing of a Computer Aided Software Engineering ( CASE ) tool concept are described. The tool is named ASET ( Automated Software Engineering Tool ). The most important feature of ASET is the covering of most phases of software life cycle. In the paper, the assortment of formal methods is founded, on which the fundamental rules on the tool are based. ASET is foreseen for the developing of the program systems, realized with the procedural languages and optionally with the data base support. A nonprocedural fifth generation language is used for the accomplishment of some components of the tool. Special attention is paid to the dialogue with the user.