The desire for a unified framework for all phases of work on an information processing system (including conception, analysis, programming, debugging, and maintenance) led to specifying a language whose basic concepts...
详细信息
The desire for a unified framework for all phases of work on an information processing system (including conception, analysis, programming, debugging, and maintenance) led to specifying a language whose basic concepts are minimal and yet sufficient to express all necessary notions. First CIVA's kernal is presented along with a notion of modularity. Then the constructs and relations of the language are defined in detail. Based upon this language, an entire system was created which facilitates the use of the resulting program-packages, including providing user-aids.
Decision tables often exceed the given formats. Tables of this kind have to be decomposed into sub-tables. The problems arising can be solved with the aid of the formal systems described.
Decision tables often exceed the given formats. Tables of this kind have to be decomposed into sub-tables. The problems arising can be solved with the aid of the formal systems described.
暂无评论