From scenarios to code: an air traffic control case study
Two high profile workshops at OOPSLA and ICSE, an IEEE Computer article by David Harel and a growing number of research papers have all suggested algorithms that translate scenarios of a system's behavior into state machines. One of the uses of such algorithms is in the transition from requirem...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 495 |
|---|---|
| container_issue | |
| container_start_page | 490 |
| container_title | |
| container_volume | |
| creator | Whittle, J. Saboo, J. Kwan, R. |
| description | Two high profile workshops at OOPSLA and ICSE, an IEEE Computer article by David Harel and a growing number of research papers have all suggested algorithms that translate scenarios of a system's behavior into state machines. One of the uses of such algorithms is in the transition from requirements scenarios to component design. To date, however, most efforts have concentrated on the algorithmic details of the proposed translations. Less work has been done on evaluating these algorithms on a realistic case study. In this paper, we do exactly that for the algorithm presented in [10]. Our study is a component of an air traffic advisory system developed at NASA Ames Research Center. |
| doi_str_mv | 10.1109/ICSE.2003.1201227 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_1201227</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>1201227</ieee_id><sourcerecordid>1201227</sourcerecordid><originalsourceid>FETCH-LOGICAL-i173t-d311466b62b879b8f7887a3b267462d4d46ea5ef483d8a26cdd41110a54587653</originalsourceid><addsrcrecordid>eNotj81KAzEURoM_4LT6AOImLzDjvfm7iTsZWi0UXKjgrmQmGYi0M5KMi769Bbs6H2fxwWHsHqFBBPe4ad9XjQCQDQpAIeiCVai1rU9bX7IFkHEaLdHXFatAENRaaLphi1K-AcAo5yrm1nk68NLH0ec0FT5PvJ9CfOJ-5D5lPmc_DKk_yXHO0573vkRe5t9wvGXXg9-XeHfmkn2uVx_ta719e9m0z9s6Icm5DhJRGdMZ0VlynR3IWvKyE4aUEUEFZaLXcVBWBuuF6UNQeOrzWmlLRssle_j_TTHG3U9OB5-Pu3Oy_ANbE0a8</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>From scenarios to code: an air traffic control case study</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Whittle, J. ; Saboo, J. ; Kwan, R.</creator><creatorcontrib>Whittle, J. ; Saboo, J. ; Kwan, R.</creatorcontrib><description>Two high profile workshops at OOPSLA and ICSE, an IEEE Computer article by David Harel and a growing number of research papers have all suggested algorithms that translate scenarios of a system's behavior into state machines. One of the uses of such algorithms is in the transition from requirements scenarios to component design. To date, however, most efforts have concentrated on the algorithmic details of the proposed translations. Less work has been done on evaluating these algorithms on a realistic case study. In this paper, we do exactly that for the algorithm presented in [10]. Our study is a component of an air traffic advisory system developed at NASA Ames Research Center.</description><identifier>ISSN: 0270-5257</identifier><identifier>ISBN: 076951877X</identifier><identifier>ISBN: 9780769518770</identifier><identifier>EISSN: 1558-1225</identifier><identifier>DOI: 10.1109/ICSE.2003.1201227</identifier><language>eng</language><publisher>IEEE</publisher><subject>Air traffic control ; Algorithm design and analysis ; Automatic control ; Computer aided software engineering ; Concrete ; Conferences ; Control systems ; NASA ; Software design ; Unified modeling language</subject><ispartof>25th International Conference on Software Engineering, 2003. Proceedings, 2003, p.490-495</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/1201227$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,776,780,785,786,2052,4036,4037,27902,54895</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/1201227$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Whittle, J.</creatorcontrib><creatorcontrib>Saboo, J.</creatorcontrib><creatorcontrib>Kwan, R.</creatorcontrib><title>From scenarios to code: an air traffic control case study</title><title>25th International Conference on Software Engineering, 2003. Proceedings</title><addtitle>ICSE</addtitle><description>Two high profile workshops at OOPSLA and ICSE, an IEEE Computer article by David Harel and a growing number of research papers have all suggested algorithms that translate scenarios of a system's behavior into state machines. One of the uses of such algorithms is in the transition from requirements scenarios to component design. To date, however, most efforts have concentrated on the algorithmic details of the proposed translations. Less work has been done on evaluating these algorithms on a realistic case study. In this paper, we do exactly that for the algorithm presented in [10]. Our study is a component of an air traffic advisory system developed at NASA Ames Research Center.</description><subject>Air traffic control</subject><subject>Algorithm design and analysis</subject><subject>Automatic control</subject><subject>Computer aided software engineering</subject><subject>Concrete</subject><subject>Conferences</subject><subject>Control systems</subject><subject>NASA</subject><subject>Software design</subject><subject>Unified modeling language</subject><issn>0270-5257</issn><issn>1558-1225</issn><isbn>076951877X</isbn><isbn>9780769518770</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2003</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNotj81KAzEURoM_4LT6AOImLzDjvfm7iTsZWi0UXKjgrmQmGYi0M5KMi769Bbs6H2fxwWHsHqFBBPe4ad9XjQCQDQpAIeiCVai1rU9bX7IFkHEaLdHXFatAENRaaLphi1K-AcAo5yrm1nk68NLH0ec0FT5PvJ9CfOJ-5D5lPmc_DKk_yXHO0573vkRe5t9wvGXXg9-XeHfmkn2uVx_ta719e9m0z9s6Icm5DhJRGdMZ0VlynR3IWvKyE4aUEUEFZaLXcVBWBuuF6UNQeOrzWmlLRssle_j_TTHG3U9OB5-Pu3Oy_ANbE0a8</recordid><startdate>2003</startdate><enddate>2003</enddate><creator>Whittle, J.</creator><creator>Saboo, J.</creator><creator>Kwan, R.</creator><general>IEEE</general><scope>6IE</scope><scope>6IH</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIO</scope></search><sort><creationdate>2003</creationdate><title>From scenarios to code: an air traffic control case study</title><author>Whittle, J. ; Saboo, J. ; Kwan, R.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i173t-d311466b62b879b8f7887a3b267462d4d46ea5ef483d8a26cdd41110a54587653</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2003</creationdate><topic>Air traffic control</topic><topic>Algorithm design and analysis</topic><topic>Automatic control</topic><topic>Computer aided software engineering</topic><topic>Concrete</topic><topic>Conferences</topic><topic>Control systems</topic><topic>NASA</topic><topic>Software design</topic><topic>Unified modeling language</topic><toplevel>online_resources</toplevel><creatorcontrib>Whittle, J.</creatorcontrib><creatorcontrib>Saboo, J.</creatorcontrib><creatorcontrib>Kwan, R.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan (POP) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP) 1998-present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Whittle, J.</au><au>Saboo, J.</au><au>Kwan, R.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>From scenarios to code: an air traffic control case study</atitle><btitle>25th International Conference on Software Engineering, 2003. Proceedings</btitle><stitle>ICSE</stitle><date>2003</date><risdate>2003</risdate><spage>490</spage><epage>495</epage><pages>490-495</pages><issn>0270-5257</issn><eissn>1558-1225</eissn><isbn>076951877X</isbn><isbn>9780769518770</isbn><abstract>Two high profile workshops at OOPSLA and ICSE, an IEEE Computer article by David Harel and a growing number of research papers have all suggested algorithms that translate scenarios of a system's behavior into state machines. One of the uses of such algorithms is in the transition from requirements scenarios to component design. To date, however, most efforts have concentrated on the algorithmic details of the proposed translations. Less work has been done on evaluating these algorithms on a realistic case study. In this paper, we do exactly that for the algorithm presented in [10]. Our study is a component of an air traffic advisory system developed at NASA Ames Research Center.</abstract><pub>IEEE</pub><doi>10.1109/ICSE.2003.1201227</doi><tpages>6</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 0270-5257 |
| ispartof | 25th International Conference on Software Engineering, 2003. Proceedings, 2003, p.490-495 |
| issn | 0270-5257 1558-1225 |
| language | eng |
| recordid | cdi_ieee_primary_1201227 |
| source | IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | Air traffic control Algorithm design and analysis Automatic control Computer aided software engineering Concrete Conferences Control systems NASA Software design Unified modeling language |
| title | From scenarios to code: an air traffic control case study |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-28T17%3A24%3A57IST&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=From%20scenarios%20to%20code:%20an%20air%20traffic%20control%20case%20study&rft.btitle=25th%20International%20Conference%20on%20Software%20Engineering,%202003.%20Proceedings&rft.au=Whittle,%20J.&rft.date=2003&rft.spage=490&rft.epage=495&rft.pages=490-495&rft.issn=0270-5257&rft.eissn=1558-1225&rft.isbn=076951877X&rft.isbn_list=9780769518770&rft_id=info:doi/10.1109/ICSE.2003.1201227&rft_dat=%3Cieee_6IE%3E1201227%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=1201227&rfr_iscdi=true |