A mechanism for source code generation based on software's requirements specifications

YAMANAKA Hiroshi, TAMURA Naoki

Bibliographic Information

Other Title

要求仕様に基づくソフトウェアソースコードの自動生成法

Description

Software quality improvement and reduction of time-to-market are most siginificant issues in development of embedded softwares for consumer products and soon. Source code generation based on the requirements specifications is one of the approaches for this issue. There have been proposed many tools that generates source code based on state transition tables, however, these tools are unable to generate time-constraint source code, which is widely used in micro-computer software. In this paper, we present another approach to generate source code based on state-transition table. We applied extended state-transition table to describe time-constrained requirements, and automatically generate source code based on timer-interupt mechanisms of micro-processors.

Journal

IPSJ SIG Notes

IPSJ SIG Notes 122 93-100, 1999-03-18

Information Processing Society of Japan (IPSJ)

Details 詳細情報について

CRID: 1572543027082838272

NII Article ID: 110002931813

NII Book ID: AN10112981

ISSN: 09196072

Text Lang: ja

Data Source

CiNii Articles

Export

Report a problem