16725 search results - page 2807 / 3345 » Engineering Software Correctness |
159
click to vote
ISORC
2003
IEEE
16 years 7 days ago
2003
IEEE
This paper presents our experiments for integrating OMG MIOP (Multicast Inter-ORB Protocol) specifications into a CORBA ORB. We proposed an integration model which allows the coex...
157
click to vote
ISORC
2003
IEEE
16 years 7 days ago
2003
IEEE
: Structuring real-time concurrent programs in the form of groups of fixed-priority processes is an old art which is appropriate for only a small fraction of modern real-time distr...
164
click to vote
ISORC
2003
IEEE
16 years 7 days ago
2003
IEEE
The processes of accessing a shared communication media have been extensively researched in the dependability and real-time area. For embedded systems, the primary approaches have...
171
click to vote
ISSRE
2003
IEEE
16 years 7 days ago
2003
IEEE
A large number of coverage criteria to generate tests from logical expressions have been proposed. Although there have been large variations in the terminology, the articulation o...
166
click to vote
ISSRE
2003
IEEE
16 years 7 days ago
2003
IEEE
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...