Building reliable interactive information systems
User software engineering (USE) is a methodology, with supporting tools, for the specification, design, and implementation of interactive information systems. With the USE approach, the user interface is formally specified with augmented state transition diagrams, and the operations may be formally...
Gespeichert in:
| Veröffentlicht in: | IEEE transactions on software engineering 1986-01, Vol.SE-12 (1), p.147-156 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 156 |
|---|---|
| container_issue | 1 |
| container_start_page | 147 |
| container_title | IEEE transactions on software engineering |
| container_volume | SE-12 |
| creator | Wasserman, Anthony I. Pircher, Peter A. Shewmake, David T. |
| description | User software engineering (USE) is a methodology, with supporting tools, for the specification, design, and implementation of interactive information systems. With the USE approach, the user interface is formally specified with augmented state transition diagrams, and the operations may be formally specified with preconditions and postconditions. The USE state transition diagrams may be directly executed with the application development tool RAPID/USE. RAPID/USE and its associated tool RAPSUM create and analyze logging information that is useful for system testing, and for evaluation and modification of the user interface. The authors briefly describe the USE transition diagrams and the formal specification approach, and show how these tools and techniques aid in the creation of reliable interactive information systems. |
| doi_str_mv | 10.1109/TSE.1986.6312928 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_RIE</sourceid><recordid>TN_cdi_proquest_miscellaneous_35078888</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>6312928</ieee_id><sourcerecordid>23973503</sourcerecordid><originalsourceid>FETCH-LOGICAL-c379t-ac5392ce8b823fdd092af284605d19be709d802b3283fc42373be3b284f61b173</originalsourceid><addsrcrecordid>eNqF0EtLAzEUBeAgCtbqXnBTRNxNvcltJslSS31AwYV1HTKZjKTMoyYzQv-9Ka0u3JhNAvnugXsIuaQwpRTU3eptMaVK5tMcKVNMHpERVagy5AyOyQhAyYxzqU7JWYxrAOBC8BGhD4OvS99-TIKrvSlqN_Ft74Kxvf_avasuNKb3XTuJ29i7Jp6Tk8rU0V0c7jF5f1ys5s_Z8vXpZX6_zCwK1WfGclTMOllIhlVZgmKmYnKWAy-pKpwAVUpgBTKJlZ0xFFg4LJKoclpQgWNyu8_dhO5zcLHXjY_W1bVpXTdEjRyETOdfyFCJhDHB6z9w3Q2hTUtoqjhXkM8gIdgjG7oYg6v0JvjGhK2moHdN69S03jWtD02nkZtDronW1FUwrfXxd04oRJrniV3tmXfO_f7-hHwDLgqFBg</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>195590640</pqid></control><display><type>article</type><title>Building reliable interactive information systems</title><source>IEEE Electronic Library (IEL)</source><creator>Wasserman, Anthony I. ; Pircher, Peter A. ; Shewmake, David T.</creator><creatorcontrib>Wasserman, Anthony I. ; Pircher, Peter A. ; Shewmake, David T.</creatorcontrib><description>User software engineering (USE) is a methodology, with supporting tools, for the specification, design, and implementation of interactive information systems. With the USE approach, the user interface is formally specified with augmented state transition diagrams, and the operations may be formally specified with preconditions and postconditions. The USE state transition diagrams may be directly executed with the application development tool RAPID/USE. RAPID/USE and its associated tool RAPSUM create and analyze logging information that is useful for system testing, and for evaluation and modification of the user interface. The authors briefly describe the USE transition diagrams and the formal specification approach, and show how these tools and techniques aid in the creation of reliable interactive information systems.</description><identifier>ISSN: 0098-5589</identifier><identifier>EISSN: 1939-3520</identifier><identifier>DOI: 10.1109/TSE.1986.6312928</identifier><identifier>CODEN: IESEDJ</identifier><language>eng</language><publisher>New York, NY: IEEE</publisher><subject>Applied sciences ; Design ; Development ; Electronics ; Engineering ; Exact sciences and technology ; Hardware ; Information systems ; Interactive ; Interactive information systems ; Libraries ; RAPID/USE ; Reliability ; Software ; software development methodology ; Software reliability ; Testing ; transition diagrams ; User interface ; User interfaces ; User Software Engineering</subject><ispartof>IEEE transactions on software engineering, 1986-01, Vol.SE-12 (1), p.147-156</ispartof><rights>1987 INIST-CNRS</rights><rights>Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Jan 1986</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c379t-ac5392ce8b823fdd092af284605d19be709d802b3283fc42373be3b284f61b173</citedby></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/6312928$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>314,780,784,796,4024,27923,27924,27925,54758</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/6312928$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=7933166$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>Wasserman, Anthony I.</creatorcontrib><creatorcontrib>Pircher, Peter A.</creatorcontrib><creatorcontrib>Shewmake, David T.</creatorcontrib><title>Building reliable interactive information systems</title><title>IEEE transactions on software engineering</title><addtitle>TSE</addtitle><description>User software engineering (USE) is a methodology, with supporting tools, for the specification, design, and implementation of interactive information systems. With the USE approach, the user interface is formally specified with augmented state transition diagrams, and the operations may be formally specified with preconditions and postconditions. The USE state transition diagrams may be directly executed with the application development tool RAPID/USE. RAPID/USE and its associated tool RAPSUM create and analyze logging information that is useful for system testing, and for evaluation and modification of the user interface. The authors briefly describe the USE transition diagrams and the formal specification approach, and show how these tools and techniques aid in the creation of reliable interactive information systems.</description><subject>Applied sciences</subject><subject>Design</subject><subject>Development</subject><subject>Electronics</subject><subject>Engineering</subject><subject>Exact sciences and technology</subject><subject>Hardware</subject><subject>Information systems</subject><subject>Interactive</subject><subject>Interactive information systems</subject><subject>Libraries</subject><subject>RAPID/USE</subject><subject>Reliability</subject><subject>Software</subject><subject>software development methodology</subject><subject>Software reliability</subject><subject>Testing</subject><subject>transition diagrams</subject><subject>User interface</subject><subject>User interfaces</subject><subject>User Software Engineering</subject><issn>0098-5589</issn><issn>1939-3520</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1986</creationdate><recordtype>article</recordtype><recordid>eNqF0EtLAzEUBeAgCtbqXnBTRNxNvcltJslSS31AwYV1HTKZjKTMoyYzQv-9Ka0u3JhNAvnugXsIuaQwpRTU3eptMaVK5tMcKVNMHpERVagy5AyOyQhAyYxzqU7JWYxrAOBC8BGhD4OvS99-TIKrvSlqN_Ft74Kxvf_avasuNKb3XTuJ29i7Jp6Tk8rU0V0c7jF5f1ys5s_Z8vXpZX6_zCwK1WfGclTMOllIhlVZgmKmYnKWAy-pKpwAVUpgBTKJlZ0xFFg4LJKoclpQgWNyu8_dhO5zcLHXjY_W1bVpXTdEjRyETOdfyFCJhDHB6z9w3Q2hTUtoqjhXkM8gIdgjG7oYg6v0JvjGhK2moHdN69S03jWtD02nkZtDronW1FUwrfXxd04oRJrniV3tmXfO_f7-hHwDLgqFBg</recordid><startdate>198601</startdate><enddate>198601</enddate><creator>Wasserman, Anthony I.</creator><creator>Pircher, Peter A.</creator><creator>Shewmake, David T.</creator><general>IEEE</general><general>Institute of Electrical and Electronics Engineers</general><general>IEEE Computer Society</general><scope>IQODW</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>JQ2</scope><scope>K9.</scope><scope>7SC</scope><scope>8FD</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>7SP</scope><scope>F28</scope><scope>FR3</scope></search><sort><creationdate>198601</creationdate><title>Building reliable interactive information systems</title><author>Wasserman, Anthony I. ; Pircher, Peter A. ; Shewmake, David T.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c379t-ac5392ce8b823fdd092af284605d19be709d802b3283fc42373be3b284f61b173</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1986</creationdate><topic>Applied sciences</topic><topic>Design</topic><topic>Development</topic><topic>Electronics</topic><topic>Engineering</topic><topic>Exact sciences and technology</topic><topic>Hardware</topic><topic>Information systems</topic><topic>Interactive</topic><topic>Interactive information systems</topic><topic>Libraries</topic><topic>RAPID/USE</topic><topic>Reliability</topic><topic>Software</topic><topic>software development methodology</topic><topic>Software reliability</topic><topic>Testing</topic><topic>transition diagrams</topic><topic>User interface</topic><topic>User interfaces</topic><topic>User Software Engineering</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Wasserman, Anthony I.</creatorcontrib><creatorcontrib>Pircher, Peter A.</creatorcontrib><creatorcontrib>Shewmake, David T.</creatorcontrib><collection>Pascal-Francis</collection><collection>CrossRef</collection><collection>ProQuest Computer Science Collection</collection><collection>ProQuest Health & Medical Complete (Alumni)</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><collection>Electronics & Communications Abstracts</collection><collection>ANTE: Abstracts in New Technology & Engineering</collection><collection>Engineering Research Database</collection><jtitle>IEEE transactions on software engineering</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Wasserman, Anthony I.</au><au>Pircher, Peter A.</au><au>Shewmake, David T.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Building reliable interactive information systems</atitle><jtitle>IEEE transactions on software engineering</jtitle><stitle>TSE</stitle><date>1986-01</date><risdate>1986</risdate><volume>SE-12</volume><issue>1</issue><spage>147</spage><epage>156</epage><pages>147-156</pages><issn>0098-5589</issn><eissn>1939-3520</eissn><coden>IESEDJ</coden><abstract>User software engineering (USE) is a methodology, with supporting tools, for the specification, design, and implementation of interactive information systems. With the USE approach, the user interface is formally specified with augmented state transition diagrams, and the operations may be formally specified with preconditions and postconditions. The USE state transition diagrams may be directly executed with the application development tool RAPID/USE. RAPID/USE and its associated tool RAPSUM create and analyze logging information that is useful for system testing, and for evaluation and modification of the user interface. The authors briefly describe the USE transition diagrams and the formal specification approach, and show how these tools and techniques aid in the creation of reliable interactive information systems.</abstract><cop>New York, NY</cop><pub>IEEE</pub><doi>10.1109/TSE.1986.6312928</doi><tpages>10</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 0098-5589 |
| ispartof | IEEE transactions on software engineering, 1986-01, Vol.SE-12 (1), p.147-156 |
| issn | 0098-5589 1939-3520 |
| language | eng |
| recordid | cdi_proquest_miscellaneous_35078888 |
| source | IEEE Electronic Library (IEL) |
| subjects | Applied sciences Design Development Electronics Engineering Exact sciences and technology Hardware Information systems Interactive Interactive information systems Libraries RAPID/USE Reliability Software software development methodology Software reliability Testing transition diagrams User interface User interfaces User Software Engineering |
| title | Building reliable interactive information systems |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-22T20%3A19%3A33IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_RIE&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Building%20reliable%20interactive%20information%20systems&rft.jtitle=IEEE%20transactions%20on%20software%20engineering&rft.au=Wasserman,%20Anthony%20I.&rft.date=1986-01&rft.volume=SE-12&rft.issue=1&rft.spage=147&rft.epage=156&rft.pages=147-156&rft.issn=0098-5589&rft.eissn=1939-3520&rft.coden=IESEDJ&rft_id=info:doi/10.1109/TSE.1986.6312928&rft_dat=%3Cproquest_RIE%3E23973503%3C/proquest_RIE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=195590640&rft_id=info:pmid/&rft_ieee_id=6312928&rfr_iscdi=true |