3706 search results - page 552 / 742 » The Transformational Approach to Program Development |
134
Voted
ICWE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Web Services and Web Service composition languages for Web Service choreography are becoming more and more important in the area for inter-enterprise application and proc...
127
Voted
ICWE
2004
Springer
15 years 8 months ago
2004
Springer
Current Web Engineering methods develop "closed" web applications from conceptual models. This fact makes difficult the integration and the interoperability of different ...
124
Voted
IFM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
118
click to vote
OTM
2004
Springer
15 years 8 months ago
2004
Springer
Exceptionally large amounts of both distributed data and computational resources are becoming available through the Grid. This will enable efficient exchange and processing of very...
119
click to vote
ADC
2003
Springer
15 years 7 months ago
2003
Springer
Defeasible logic is a non-monotonic logic with applications in rule-based domains such as law. To ease the development and improve the accuracy of expert systems based on defeasib...