Software specification in business terminology

Software specification in business terminology

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 main...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Ginbayashi, J., Hashimoto, K.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Application software
Banking
Communication standards
Formal languages
Insurance
Local government
Software standards
Standards development
Systems engineering and theory
Terminology
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 168
container_issue
container_start_page 161
container_title
container_volume
creator Ginbayashi, J.
Hashimoto, K.
description 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.< >
doi_str_mv 10.1109/CMPSAC.1991.170168
format Conference Proceeding
fullrecord <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_170168</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>170168</ieee_id><sourcerecordid>170168</sourcerecordid><originalsourceid>FETCH-LOGICAL-i174t-6bb2efad9db7d8c2e5d31aeac1d12471191050b7eeab63dc806da41f196ab5793</originalsourceid><addsrcrecordid>eNotj8tKAzEUQAMiqLU_0NX8wIy5mTyXZahWqChU1-UmuZGUdqZMRqR_r9CezdkdOIwtgDcA3D11bx_bZdeAc9CA4aDtDXvgFqwWoIS8Y_NS9vwfqcBZfs-a7ZCmXxypKicKOeWAUx76KveV_ym5p1KqicZj7ofD8H1-ZLcJD4XmV8_Y1_Pqs1vXm_eX1265qTMYOdXae0EJo4veRBsEqdgCEgaIIKQBcMAV94YIvW5jsFxHlJDAafTKuHbGFpduJqLdacxHHM-7y1H7B-_0QqM</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Software specification in business terminology</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Ginbayashi, J. ; Hashimoto, K.</creator><creatorcontrib>Ginbayashi, J. ; Hashimoto, K.</creatorcontrib><description>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.&lt; &gt;</description><identifier>ISBN: 0818621524</identifier><identifier>ISBN: 9780818621529</identifier><identifier>DOI: 10.1109/CMPSAC.1991.170168</identifier><language>eng</language><publisher>IEEE Comput. Soc. Press</publisher><subject>Application software ; Banking ; Communication standards ; Formal languages ; Insurance ; Local government ; Software standards ; Standards development ; Systems engineering and theory ; Terminology</subject><ispartof>[1991] Proceedings The Fifteenth Annual International Computer Software &amp; Applications Conference, 1991, p.161-168</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/170168$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,2056,4048,4049,27924,54919</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/170168$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Ginbayashi, J.</creatorcontrib><creatorcontrib>Hashimoto, K.</creatorcontrib><title>Software specification in business terminology</title><title>[1991] Proceedings The Fifteenth Annual International Computer Software &amp; Applications Conference</title><addtitle>CMPSAC</addtitle><description>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.&lt; &gt;</description><subject>Application software</subject><subject>Banking</subject><subject>Communication standards</subject><subject>Formal languages</subject><subject>Insurance</subject><subject>Local government</subject><subject>Software standards</subject><subject>Standards development</subject><subject>Systems engineering and theory</subject><subject>Terminology</subject><isbn>0818621524</isbn><isbn>9780818621529</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>1991</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNotj8tKAzEUQAMiqLU_0NX8wIy5mTyXZahWqChU1-UmuZGUdqZMRqR_r9CezdkdOIwtgDcA3D11bx_bZdeAc9CA4aDtDXvgFqwWoIS8Y_NS9vwfqcBZfs-a7ZCmXxypKicKOeWAUx76KveV_ym5p1KqicZj7ofD8H1-ZLcJD4XmV8_Y1_Pqs1vXm_eX1265qTMYOdXae0EJo4veRBsEqdgCEgaIIKQBcMAV94YIvW5jsFxHlJDAafTKuHbGFpduJqLdacxHHM-7y1H7B-_0QqM</recordid><startdate>1991</startdate><enddate>1991</enddate><creator>Ginbayashi, J.</creator><creator>Hashimoto, K.</creator><general>IEEE Comput. Soc. Press</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>1991</creationdate><title>Software specification in business terminology</title><author>Ginbayashi, J. ; Hashimoto, K.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i174t-6bb2efad9db7d8c2e5d31aeac1d12471191050b7eeab63dc806da41f196ab5793</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>1991</creationdate><topic>Application software</topic><topic>Banking</topic><topic>Communication standards</topic><topic>Formal languages</topic><topic>Insurance</topic><topic>Local government</topic><topic>Software standards</topic><topic>Standards development</topic><topic>Systems engineering and theory</topic><topic>Terminology</topic><toplevel>online_resources</toplevel><creatorcontrib>Ginbayashi, J.</creatorcontrib><creatorcontrib>Hashimoto, K.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Ginbayashi, J.</au><au>Hashimoto, K.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Software specification in business terminology</atitle><btitle>[1991] Proceedings The Fifteenth Annual International Computer Software &amp; Applications Conference</btitle><stitle>CMPSAC</stitle><date>1991</date><risdate>1991</risdate><spage>161</spage><epage>168</epage><pages>161-168</pages><isbn>0818621524</isbn><isbn>9780818621529</isbn><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.&lt; &gt;</abstract><pub>IEEE Comput. Soc. Press</pub><doi>10.1109/CMPSAC.1991.170168</doi><tpages>8</tpages></addata></record>
fulltext fulltext_linktorsrc
identifier ISBN: 0818621524
ispartof [1991] Proceedings The Fifteenth Annual International Computer Software & Applications Conference, 1991, p.161-168
issn
language eng
recordid cdi_ieee_primary_170168
source IEEE Electronic Library (IEL) Conference Proceedings
subjects Application software
Banking
Communication standards
Formal languages
Insurance
Local government
Software standards
Standards development
Systems engineering and theory
Terminology
title Software specification in business terminology
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-11T11%3A13%3A55IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Software%20specification%20in%20business%20terminology&rft.btitle=%5B1991%5D%20Proceedings%20The%20Fifteenth%20Annual%20International%20Computer%20Software%20&%20Applications%20Conference&rft.au=Ginbayashi,%20J.&rft.date=1991&rft.spage=161&rft.epage=168&rft.pages=161-168&rft.isbn=0818621524&rft.isbn_list=9780818621529&rft_id=info:doi/10.1109/CMPSAC.1991.170168&rft_dat=%3Cieee_6IE%3E170168%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=170168&rfr_iscdi=true