紀要論文 Development of Software Components for Extracting Details from SOFL Formal Specifications

Liang, Bing

(10) 2015-03-24 , 法政大学大学院情報科学研究科
ISSN:1881-0667
NII書誌ID(NCID):AA12222297
内容記述
SOFL(Structured Object-Oriented Formal Language) formal specifications are useful and expressive in describing functional requirements for software development. Currently, the specifications can be specified and compiled by the SOFL tool and stored in an XML file, but the structure of the generated XML file is considerably complicated, which leads to the difficulty in reusing the XML file for developing other applications. To address this problem, software components which can extract details from the XML file to support reusing them is necessary. This paper introduces the software components which encapsulate a set of certain functionalities toextract details from compiled SOFL formal specifications. It can provide the extracted information in certain data structure. The implementation of the software components is also described. An example is presented to demonstrate the effectiveness of thecomponents.
本文を読む

http://repo.lib.hosei.ac.jp/bitstream/10114/10982/1/12t2010.pdf

このアイテムのアクセス数:  回

その他の情報