315 search results - page 12 / 63 » A formal approach to software components classification and ... |
177
click to vote
COMPSAC
2004
IEEE
15 years 9 months ago
2004
IEEE
Off-The-Shelf (OTS) software components are being used within complex safety-critical applications. However, to use these untrustworthy components with confidence, it is necessary...
164
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...
150
click to vote
SIGADA
2005
Springer
15 years 11 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
163
click to vote
SOQUA
2004
15 years 7 months ago
2004
We present an approach for the use case and scenario-based testing of software components. Use cases and scenarios are applied to describe the functional requirements of a software...
164
click to vote
RISE
2005
Springer
15 years 11 months ago
2005
Springer
Usually complex systems are controlled by an operator co-operating with a computer-based controller. The controlling software runs in continuous interaction with the operator and c...