Software specification in business terminology

Author

Ginbayashi, Jun ; Hashimoto, Keiji

Author_Institution

Fujitsu Ltd., Tokyo, Japan

fYear

1991

fDate

11-13 Sep 1991

Firstpage

161

Lastpage

168

Abstract

A specification formalism for business application software is presented. The approach is to investigate specification documents which are actually used in development projects of business applications in banking, insurance, and government systems. Since the specification documents are prepared mainly for users´ review for the developing software, the representation of the documents is designed to be easy to understand for users, incorporating only business terminology without losing a certain level of formality. Also, to avoid redundancy of the specification, there are some implicit assumptions in the specification. The authors have analyzed the commonality of the assumptions hidden in specification documents and are trying to construct a language by formalizing the underlying system model

Keywords

financial data processing; formal specification; banking; business application software; business terminology; development projects; government systems; insurance; redundancy; specification formalism; system model; Application software; Banking; Communication standards; Formal languages; Insurance; Local government; Software standards; Standards development; Systems engineering and theory; Terminology;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 1991. COMPSAC '91., Proceedings of the Fifteenth Annual International

Conference_Location

Tokyo

Print_ISBN

0-8186-2152-4

Type

conf

DOI

10.1109/CMPSAC.1991.170168

Filename

170168