277 search results - page 5 / 56 » An Approach to Specify and Test Component-Based Dependable S... |
110
click to vote
MODELLIERUNG
2001
15 years 29 days ago
2001
: Scenarios/use cases have gained wide-spread use over the last couple of years. In software engineering they are mainly used to capture requirements and specify a system. Many sof...
ISORC
2000
IEEE
15 years 4 months ago
2000
IEEE
We describe a real-time, component-based system for an inspection application. We chose the inspection application and the accompanying task (or scenario) so that we might fully e...
JSS
2006
14 years 11 months ago
2006
When architecting dependable systems, in addition to improving system dependability by means of construction (fault-tolerant and redundant mechanisms, for instance), it is also im...
117
click to vote
ICLP
2004
Springer
15 years 5 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
110
click to vote
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...