{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T05:25:39Z","timestamp":1740115539871,"version":"3.37.3"},"reference-count":0,"publisher":"IOS Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"abstract":"<jats:p>Software development in general lacks richness in expressing appropriately the requirement, as well related supportive tools. Despite the advances in this field, the solutions have still not overcome and the proposed way of thinking is far from resolving the problems on software development and maintenance. It is desirable for user to design and make all system except for the outside environment of system. And also the system made have program structure in which we can easily verify the function of the system formally and maintain its validity. Furthermore, that methodology can cope more widely with a change in the external environment such as network, external apparatus, of the system that made. We can cope with the maintenance and changes in the outside environment of the system easily by this method.<\/jats:p>","DOI":"10.3233\/978-1-58603-916-5-377","type":"book-chapter","created":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T12:06:08Z","timestamp":1740053168000},"source":"Crossref","is-referenced-by-count":0,"title":["Design Concept of Automatic Program Generation Tool for Reactive Requirement"],"prefix":"10.3233","author":[{"family":"Arai Osamu","sequence":"additional","affiliation":[]},{"family":"Fujita Hamido","sequence":"additional","affiliation":[]}],"member":"7437","container-title":["Frontiers in Artificial Intelligence and Applications","New Trends in Software Methodologies, Tools and Techniques"],"original-title":[],"deposited":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T12:26:12Z","timestamp":1740054372000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.medra.org\/servlet\/aliasResolver?alias=iospressISSNISBN&issn=0922-6389&volume=182&spage=377"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/978-1-58603-916-5-377","relation":{},"ISSN":["0922-6389"],"issn-type":[{"value":"0922-6389","type":"print"}],"subject":[],"published":{"date-parts":[[2008]]}}}