6197 search results - page 447 / 1240 » Sandbridge Software Tools |
355
click to vote
DATE
2005
IEEE
16 years 15 days ago
2005
IEEE
Designers of factory automation applications increasingly demand for tools for rapid prototyping of hardware extensions to existing systems and verification of resulting behavior...
164
click to vote
SEFM
2005
IEEE
16 years 14 days ago
2005
IEEE
The three main assertion-based verification approaches are: Design by Contract (DBC), Extended Static Checking (ESC) and Verified Design by Contract (VDBC). Each approach offers a...
181
click to vote
CBSE
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. This paper proposes a conceptual framework for the reliability assessment of software components that incorporates test case execution and output evaluation. Determining ...
170
click to vote
CLUSTER
2002
IEEE
15 years 12 months ago
2002
IEEE
This paper describes an object-oriented software architecture for cluster integration and management that enables extensibility, portability, and scalability. This architecture ha...
175
click to vote
COMPSAC
2002
IEEE
15 years 12 months ago
2002
IEEE
Legacy systems are often business critical and are associated with high maintenance costs. In this paper, we present an overview of a method, Renaissance, which aims to manage the...