383 search results - page 38 / 77 » Testing Concurrent Systems: A Formal Approach |
124
click to vote
DATE
2000
IEEE
15 years 7 months ago
2000
IEEE
In current microprocessors and systems, an increasingly high silicon portion is derived through automatic synthesis, with designers working exclusively at the RT-level, and design...
133
click to vote
CSFW
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
141
Voted
RIAO
2007
15 years 4 months ago
2007
In this paper, we describe a novel methodology that integrates the design of the (i) user interface; (ii) interaction logger; and (iii) log analyzer. It is based on formalizing, v...
140
Voted
VL
1999
IEEE
15 years 7 months ago
1999
IEEE
Although there has been considerable research into ways to design visual programming environments to improve the processes of creating new programs and of understanding existing o...
153
Voted
ENTCS
2010
15 years 25 days ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...