91 search results - page 15 / 19 » Runtime Validation of Behavioural Contracts for Component So... |
SIGSOFT
2001
ACM
15 years 10 months ago
2001
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...
76
Voted
ICSM
2000
IEEE
15 years 1 months ago
2000
IEEE
Software has for a long time been used for controlling different systems. Today, there is a trend towards integrating software into consumer electronics, home appliances, cars etc...
74
Voted
SOCO
2005
Springer
15 years 3 months ago
2005
Springer
Aspects that trigger on a sequence of join points instead of on a single join point are not explicitly supported in current AspectOriented approaches. Explicit protocols are howeve...
66
Voted
ISSRE
2000
IEEE
15 years 1 months ago
2000
IEEE
The behavior of nondeterminate systems can be hard to predict, since similar inputs at different times can generate different outputs. In other words, the behavior seen during tes...
EUROMICRO
2005
IEEE
15 years 3 months ago
2005
IEEE
Service Oriented Architectures and Web Services are emerging technologies, which have overall inherited problems and advantages from the component-based approach, but exacerbated ...