7118 search results - page 791 / 1424 » Electrical and Computer Engineering |
157
click to vote
MSR
2005
ACM
16 years 11 days ago
2005
ACM
Software continually changes due to performance improvements, new requirements, bug fixes, and adaptation to a changing operational environment. Common changes include modificatio...
169
click to vote
ATAL
2005
Springer
16 years 11 days ago
2005
Springer
We describe OWL-P (OWL for Processes and Protocols), a methodology and software tool for specifying and enacting interaction protocols among autonomous agents. We use the Web Onto...
167
click to vote
ATAL
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obl...
179
click to vote
EMSOFT
2005
Springer
16 years 10 days ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
217
click to vote
FASE
2005
Springer
16 years 10 days ago
2005
Springer
Scenarios are a popular means for capturing behavioural requirements of software systems early in the lifecycle. Scenarios show how components interact to provide system level func...