488 search results - page 42 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
149
click to vote
FORTE
1997
15 years 4 months ago
1997
Distributed programming and object-oriented programming are two popular programming paradigms. The former is driven by advances in networking technology whereas the latter provide...
111
click to vote
WSC
2004
15 years 4 months ago
2004
An interactive tool has been developed for visualizing and creating scaled battlefield based scenarios for use in a simulation testbed to develop and test distributed data fusion ...
121
click to vote
SNPD
2008
15 years 4 months ago
2008
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
158
click to vote
JAVA
1999
Springer
15 years 7 months ago
1999
Springer
The Java language incurs a runtime overhead for exception checks and object accesses without an interior pointer in order to ensure safety. It also requires type inclusion test, d...
103
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
This paper presents a case study concerning the challenges and requirements posed by next generation language resources, realized as an overall model of open, distributed and coll...