Software Specification in Business Terminology

Jun GINBAYASHI  Keiji HASHIMOTO  

Publication
IEICE TRANSACTIONS on Information and Systems   Vol.E75-D   No.5   pp.648-656
Publication Date: 1992/09/25
Online ISSN: 
DOI: 
Print ISSN: 0916-8532
Type of Manuscript: Special Section PAPER (Special Issue on Software)
Category: 
Keyword: 
software engineering,  operational specification,  business application,  formal method,  

Full Text: PDF>>
Buy this Article




Summary: 
A specification formalism for business application software is presented. Our 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, only in business terminology without losing a certain level of formality. Also, to avoid redundancy of the specification, there are some implicit assumptions in the specification. We have analyzed some commonality of these assumptions hidden in specification documents and are trying to construct a language by formalizing the underlying system model.