http://www.colloquiam.com/wd/index.php?action=history&feed=atom&title=Paterno_Santoro_2007aPaterno Santoro 2007a - Revision history2026-05-11T09:24:11ZRevision history for this page on the wikiMediaWiki 1.27.0-wmf.10http://www.colloquiam.com/wd/index.php?title=Paterno_Santoro_2007a&diff=182546&oldid=prevScipediacontent: Scipediacontent moved page Draft Content 670420193 to Paterno Santoro 2007a2021-01-21T13:56:21Z<p>Scipediacontent moved page <a href="/public/Draft_Content_670420193" class="mw-redirect" title="Draft Content 670420193">Draft Content 670420193</a> to <a href="/public/Paterno_Santoro_2007a" title="Paterno Santoro 2007a">Paterno Santoro 2007a</a></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<tr style='vertical-align: top;' lang='en'>
<td colspan='1' style="background-color: white; color:black; text-align: center;">← Older revision</td>
<td colspan='1' style="background-color: white; color:black; text-align: center;">Revision as of 13:56, 21 January 2021</td>
</tr><tr><td colspan='2' style='text-align: center;' lang='en'><div class="mw-diff-empty">(No difference)</div>
</td></tr></table>Scipediacontenthttp://www.colloquiam.com/wd/index.php?title=Paterno_Santoro_2007a&diff=182545&oldid=prevScipediacontent: Created page with " == Abstract == In this paper we present a method that aims to integrate the use of formal techniques in the design process of interactive applications, with particular atten..."2021-01-21T13:56:18Z<p>Created page with " == Abstract == In this paper we present a method that aims to integrate the use of formal techniques in the design process of interactive applications, with particular atten..."</p>
<p><b>New page</b></p><div><br />
== Abstract ==<br />
<br />
In this paper we present a method that aims to integrate the use of formal techniques in the design process of interactive applications, with particular attention to those applications where both usability and safety are main concerns. The method is supported by a set of tools. We will also discuss how the resulting environment can be helpful in reasoning about multi-user interactions using the task model of an interactive application. Examples are provided from a case study in the field of air traffic control.<br />
<br />
<br />
== Original document ==<br />
<br />
The different versions of the original document can be found in:<br />
<br />
* [http://giove.isti.cnr.it/attachments/publications/2000-A2-003.pdf http://giove.isti.cnr.it/attachments/publications/2000-A2-003.pdf]<br />
<br />
* [http://link.springer.com/content/pdf/10.1007/3-540-44675-3_9 http://link.springer.com/content/pdf/10.1007/3-540-44675-3_9],<br />
: [http://dx.doi.org/10.1007/3-540-44675-3_9 http://dx.doi.org/10.1007/3-540-44675-3_9] under the license http://www.springer.com/tdm<br />
<br />
* [https://link.springer.com/chapter/10.1007/3-540-44675-3_9 https://link.springer.com/chapter/10.1007/3-540-44675-3_9],<br />
: [http://giove.isti.cnr.it/attachments/publications/2000-A2-003.pdf http://giove.isti.cnr.it/attachments/publications/2000-A2-003.pdf],<br />
: [https://dblp.uni-trier.de/db/conf/dsvis/dsvis2000.html#PaternoS00 https://dblp.uni-trier.de/db/conf/dsvis/dsvis2000.html#PaternoS00],<br />
: [https://www.scipedia.com/public/Paterno_et_al_2001a https://www.scipedia.com/public/Paterno_et_al_2001a],<br />
: [http://dx.doi.org/10.1007/3-540-44675-3_9 http://dx.doi.org/10.1007/3-540-44675-3_9],<br />
: [https://rd.springer.com/chapter/10.1007/3-540-44675-3_9 https://rd.springer.com/chapter/10.1007/3-540-44675-3_9],<br />
: [https://academic.microsoft.com/#/detail/2160384810 https://academic.microsoft.com/#/detail/2160384810]</div>Scipediacontent