403 search results - page 38 / 81 » Integrating Z into Large Projects Tools and Techniques |
116
click to vote
ICWS
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...
128
click to vote
DSN
2008
IEEE
15 years 6 months ago
2008
IEEE
: Automated tools for understanding application behavior and its changes during the application life-cycle are essential for many performance analysis and debugging tasks. Applicat...
125
click to vote
CAI
2002
Springer
14 years 11 months ago
2002
Springer
Grid technology has evolved over the past several years to provide the services and infrastructure needed for building "virtual" systems and organizations. With this Gri...
111
click to vote
GG
2008
Springer
15 years 26 days ago
2008
Springer
The model-driven development of model transformations requires both a technique to model model transformations as well as a means to transform transformation models. Therefore, t...
MIE
2008
15 years 1 months ago
2008
The concepts and architecture underlying a large-scale integrating project funded within the 7th EU Framework Programme (FP7) are discussed. The main objective of the project is to...