4460 search results - page 52 / 892 » Formal methods for interactive systems |
AGTIVE
2003
Springer
14 years 27 days ago
2003
Springer
In this paper, the two types of UML interaction diagrams are considered. A translation of sequence diagrams into collaboration diagrams is constructed by means of graph transformat...
APSEC
2009
IEEE
13 years 5 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
HASE
2008
IEEE
14 years 2 months ago
2008
IEEE
—Formal methods provide remarkable tools allowing for high levels of confidence in the correctness of developments. Their use is therefore encouraged, when not required, for the...
ENTCS
2008
13 years 7 months ago
2008
We do not interact with systems without first performing some physical action on a physical device. This paper shows how formal notations and formal models can be developed to acc...
DARE
2000
13 years 9 months ago
2000
BUILD-IT is a planning tool based on computer vision technology, supporting complex planning and composition tasks. A group of people, seated around a table, interact with objects...