Characterizing Sets of Systems: Across-Systems Properties and their Representation

Characterizing Sets of Systems: Across-Systems Properties and their Representation

The term property conveys multiple meanings in different domains. However, in computting systems domain [18], they are used to describe characteristics that the system should exhibit but their assessment (on a given system) is usually a complex and cumbersome activity. Formal description techniques...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Elodie Bouzekri, Alexandre Canny, Célia Martinie, Philippe Palanque
Format: Buchkapitel
Sprache:eng
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page
container_issue
container_start_page 255
container_title
container_volume
creator Elodie Bouzekri
Alexandre Canny
Célia Martinie
Philippe Palanque
description The term property conveys multiple meanings in different domains. However, in computting systems domain [18], they are used to describe characteristics that the system should exhibit but their assessment (on a given system) is usually a complex and cumbersome activity. Formal description techniques are aimed at describing both the system and their expected properties and to demonstrate (or not) that the system really exhibits these properties. Fig. 1 presents the process advocated by DO178-C standard [22] for the design of computing systems in the aeronautics domain. That process highlights the need for explicit representation of expected properties for a given
format Book Chapter
fullrecord <record><control><sourceid>jstor</sourceid><recordid>TN_cdi_jstor_books_jj_19783659_38</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><jstor_id>jj.19783659.38</jstor_id><sourcerecordid>jj.19783659.38</sourcerecordid><originalsourceid>FETCH-jstor_books_jj_19783659_383</originalsourceid><addsrcrecordid>eNpjZOAytDQ0NDM1NjSOYGbgtTS3gPINLM05GHiLizOTDEwMTc2NjC1MORnknDMSixKTS1KLMqsy89IVglNLihXy0xSCK4tLUnOLeRhY0xJzilN5oTQ3g6Kba4izh25WcUl-UXxSfn52cXxWVrwh0BpjM1PLeGMLY2LUAADLDC3J</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>book_chapter</recordtype></control><display><type>book_chapter</type><title>Characterizing Sets of Systems: Across-Systems Properties and their Representation</title><source>Ubiquity Press Books (Open Access)</source><creator>Elodie Bouzekri ; Alexandre Canny ; Célia Martinie ; Philippe Palanque</creator><contributor>Fernando Loizides ; Antigoni Parmaxi ; Marco Winckler ; Jose Abdelnour-Nocera ; Usashi Chatterjee</contributor><creatorcontrib>Elodie Bouzekri ; Alexandre Canny ; Célia Martinie ; Philippe Palanque ; Fernando Loizides ; Antigoni Parmaxi ; Marco Winckler ; Jose Abdelnour-Nocera ; Usashi Chatterjee</creatorcontrib><description>The term property conveys multiple meanings in different domains. However, in computting systems domain [18], they are used to describe characteristics that the system should exhibit but their assessment (on a given system) is usually a complex and cumbersome activity. Formal description techniques are aimed at describing both the system and their expected properties and to demonstrate (or not) that the system really exhibits these properties. Fig. 1 presents the process advocated by DO178-C standard [22] for the design of computing systems in the aeronautics domain. That process highlights the need for explicit representation of expected properties for a given</description><identifier>ISBN: 9781911653097</identifier><identifier>ISBN: 1911653091</identifier><identifier>EISBN: 191165313X</identifier><identifier>EISBN: 9781911653134</identifier><language>eng</language><publisher>Cardiff University Press</publisher><ispartof>Human Computer Interaction and Emerging Technologies, 2020, p.255</ispartof><rights>2020 The authors</rights><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>775,776,780,789</link.rule.ids></links><search><contributor>Fernando Loizides</contributor><contributor>Antigoni Parmaxi</contributor><contributor>Marco Winckler</contributor><contributor>Jose Abdelnour-Nocera</contributor><contributor>Usashi Chatterjee</contributor><creatorcontrib>Elodie Bouzekri</creatorcontrib><creatorcontrib>Alexandre Canny</creatorcontrib><creatorcontrib>Célia Martinie</creatorcontrib><creatorcontrib>Philippe Palanque</creatorcontrib><title>Characterizing Sets of Systems: Across-Systems Properties and their Representation</title><title>Human Computer Interaction and Emerging Technologies</title><description>The term property conveys multiple meanings in different domains. However, in computting systems domain [18], they are used to describe characteristics that the system should exhibit but their assessment (on a given system) is usually a complex and cumbersome activity. Formal description techniques are aimed at describing both the system and their expected properties and to demonstrate (or not) that the system really exhibits these properties. Fig. 1 presents the process advocated by DO178-C standard [22] for the design of computing systems in the aeronautics domain. That process highlights the need for explicit representation of expected properties for a given</description><isbn>9781911653097</isbn><isbn>1911653091</isbn><isbn>191165313X</isbn><isbn>9781911653134</isbn><fulltext>true</fulltext><rsrctype>book_chapter</rsrctype><creationdate>2020</creationdate><recordtype>book_chapter</recordtype><sourceid/><recordid>eNpjZOAytDQ0NDM1NjSOYGbgtTS3gPINLM05GHiLizOTDEwMTc2NjC1MORnknDMSixKTS1KLMqsy89IVglNLihXy0xSCK4tLUnOLeRhY0xJzilN5oTQ3g6Kba4izh25WcUl-UXxSfn52cXxWVrwh0BpjM1PLeGMLY2LUAADLDC3J</recordid><startdate>20200507</startdate><enddate>20200507</enddate><creator>Elodie Bouzekri</creator><creator>Alexandre Canny</creator><creator>Célia Martinie</creator><creator>Philippe Palanque</creator><general>Cardiff University Press</general><scope/></search><sort><creationdate>20200507</creationdate><title>Characterizing Sets of Systems</title><author>Elodie Bouzekri ; Alexandre Canny ; Célia Martinie ; Philippe Palanque</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-jstor_books_jj_19783659_383</frbrgroupid><rsrctype>book_chapters</rsrctype><prefilter>book_chapters</prefilter><language>eng</language><creationdate>2020</creationdate><toplevel>online_resources</toplevel><creatorcontrib>Elodie Bouzekri</creatorcontrib><creatorcontrib>Alexandre Canny</creatorcontrib><creatorcontrib>Célia Martinie</creatorcontrib><creatorcontrib>Philippe Palanque</creatorcontrib></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Elodie Bouzekri</au><au>Alexandre Canny</au><au>Célia Martinie</au><au>Philippe Palanque</au><au>Fernando Loizides</au><au>Antigoni Parmaxi</au><au>Marco Winckler</au><au>Jose Abdelnour-Nocera</au><au>Usashi Chatterjee</au><format>book</format><genre>bookitem</genre><ristype>CHAP</ristype><atitle>Characterizing Sets of Systems: Across-Systems Properties and their Representation</atitle><btitle>Human Computer Interaction and Emerging Technologies</btitle><date>2020-05-07</date><risdate>2020</risdate><spage>255</spage><pages>255-</pages><isbn>9781911653097</isbn><isbn>1911653091</isbn><eisbn>191165313X</eisbn><eisbn>9781911653134</eisbn><abstract>The term property conveys multiple meanings in different domains. However, in computting systems domain [18], they are used to describe characteristics that the system should exhibit but their assessment (on a given system) is usually a complex and cumbersome activity. Formal description techniques are aimed at describing both the system and their expected properties and to demonstrate (or not) that the system really exhibits these properties. Fig. 1 presents the process advocated by DO178-C standard [22] for the design of computing systems in the aeronautics domain. That process highlights the need for explicit representation of expected properties for a given</abstract><pub>Cardiff University Press</pub></addata></record>
fulltext fulltext
identifier ISBN: 9781911653097
ispartof Human Computer Interaction and Emerging Technologies, 2020, p.255
issn
language eng
recordid cdi_jstor_books_jj_19783659_38
source Ubiquity Press Books (Open Access)
title Characterizing Sets of Systems: Across-Systems Properties and their Representation
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-28T02%3A05%3A34IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-jstor&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=bookitem&rft.atitle=Characterizing%20Sets%20of%20Systems:%20Across-Systems%20Properties%20and%20their%20Representation&rft.btitle=Human%20Computer%20Interaction%20and%20Emerging%20Technologies&rft.au=Elodie%20Bouzekri&rft.date=2020-05-07&rft.spage=255&rft.pages=255-&rft.isbn=9781911653097&rft.isbn_list=1911653091&rft_id=info:doi/&rft_dat=%3Cjstor%3Ejj.19783659.38%3C/jstor%3E%3Curl%3E%3C/url%3E&rft.eisbn=191165313X&rft.eisbn_list=9781911653134&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_jstor_id=jj.19783659.38&rfr_iscdi=true