1001 search results - page 50 / 201 » Testing Formal Dialectic |
145
click to vote
ICWS
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...
132
click to vote
SBMF
2009
Springer
15 years 9 months ago
2009
Springer
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
108
click to vote
DAC
2009
ACM
16 years 3 months ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...
137
click to vote
ISOLA
2010
Springer
15 years 26 days ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
128
click to vote
FCT
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Message sequence charts are an attractive formalism for specifying communicating systems. One way to test such a system is to substitute a component by a test process and...