首页>
外国专利>
Apparatus and method for synthesizing program specification from independent sets of tables
Apparatus and method for synthesizing program specification from independent sets of tables
展开▼
机译:从独立的表格集合中合成程序规范的设备和方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
Disclosed is an apparatus and method for synthesizing a plurality of program component specifications into a single program component specification. Each program component transforms its state in operation, responding to an input of an event and in turn outputs another event in accordance with the transformation to the other program components. PPThe program component specifications each includes a table showing events to be inputted therein, a table showing states of the program component in operation, a table showing state transformations in response to the input events, and a table showing events to be outputted therefrom according to the state transformations.
展开▼