3742 search results - page 264 / 749 » On the Use of Formal Techniques for Validation |
162
click to vote
WCE
2007
15 years 7 months ago
2007
—This paper presents one of the outcomes of a research project concerned with the development of a method for synthesizing, under controlled conditions in the laboratory, the ran...
157
click to vote
EICS
2009
ACM
16 years 1 months ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
168
click to vote
FORTE
2008
15 years 8 months ago
2008
In software engineering, graphical formalisms, like state-transition tables and automata, are very often indispensable parts of the specifications. Such a formalism usually leads t...
183
click to vote
IDA
2006
Springer
15 years 6 months ago
2006
Springer
Clustering or co-clustering techniques have been proved useful in many application domains. A weakness of these techniques remains the poor support for grouping characterization. ...
159
click to vote
ATVA
2005
Springer
16 years 4 days ago
2005
Springer
Esterel is an imperative synchronous programming language for the design of reactive systems. Esterel extends Esterel with a noninstantaneous jump instruction (compatible with conc...