https://www.scipedia.com/wd/index.php?action=history&feed=atom&title=Paterno_et_al_2001aPaterno et al 2001a - Revision history2026-05-14T14:10:19ZRevision history for this page on the wikiMediaWiki 1.27.0-wmf.10https://www.scipedia.com/wd/index.php?title=Paterno_et_al_2001a&diff=174344&oldid=prevScipediacontent: Scipediacontent moved page Draft Content 535870328 to Paterno et al 2001a2020-10-14T12:29:38Z<p>Scipediacontent moved page <a href="/public/Draft_Content_535870328" class="mw-redirect" title="Draft Content 535870328">Draft Content 535870328</a> to <a href="/public/Paterno_et_al_2001a" title="Paterno et al 2001a">Paterno et al 2001a</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 12:29, 14 October 2020</td>
</tr><tr><td colspan='2' style='text-align: center;' lang='en'><div class="mw-diff-empty">(No difference)</div>
</td></tr></table>Scipediacontenthttps://www.scipedia.com/wd/index.php?title=Paterno_et_al_2001a&diff=174343&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..."2020-10-14T12:29:36Z<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 />
Document type: Part of book or chapter of book<br />
<br />
== Full document ==<br />
<pdf>Media:Draft_Content_535870328-beopen555-8034-document.pdf</pdf><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]</div>Scipediacontent