4460 search results - page 103 / 892 » Formal methods for interactive systems |
INTERACT
2003
14 years 11 months ago
2003
: Activity Theory (AT) has been a recognised framework for enhancing design practices in HCI and related disciplines for a couple of decades. In most cases, AT has been deployed as...
AIIDE
2008
15 years 9 days ago
2008
Dialogue in commercial games is largely created by teams of writers and designers who hand-author every line of dialogue and hand-specify the dialogue structure using finite state...
FMCAD
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. In this paper we describe the formal specification and verification of the efficient algorithm for real-time model checking implemented in the model checker RAVEN. It was...
FMSB
2008
14 years 11 months ago
2008
Petri nets are a widely used formalism to qualitatively model concurrent systems such as a biological cell. We present techniques for modelling biological processes as Petri nets f...
COMPSAC
1997
IEEE
15 years 2 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...