15779 search results - page 2319 / 3156 » Change-oriented software engineering |
172
click to vote
ER
2005
Springer
16 years 1 months ago
2005
Springer
This paper proposes an agent-oriented meta-model that provides rigorous concepts for conducting enterprise modelling. The aim is to allow analysts to produce an enterprise model th...
215
click to vote
FASE
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
209
click to vote
FASE
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
187
Voted
FASE
2005
Springer
16 years 1 months ago
2005
Springer
Web Services are the basic building blocks of next generation Internet applications, based on dynamic service discovery and composition. Dedicated discovery services will store bot...
203
Voted
FASE
2005
Springer
16 years 1 months ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...