4460 search results - page 103 / 892 » Formal methods for interactive systems |
140
Voted
INTERACT
2003
15 years 4 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...
126
click to vote
AIIDE
2008
15 years 5 months 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...
135
click to vote
FMCAD
2000
Springer
15 years 7 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...
112
click to vote
FMSB
2008
15 years 5 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...
121
click to vote
COMPSAC
1997
IEEE
15 years 7 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 ...