45 search results - page 1 / 9 » A Compositional Testing Framework Driven by Partial Specific... |
PTS
2007
13 years 6 months ago
2007
ICSM
1994
IEEE
13 years 9 months ago
1994
IEEE
Although data pow analysis was first developed for use in compilers, its usefulness is now recognized in many software tools. Because of its compiler origins, the computation of d...
ICCS
1997
Springer
13 years 9 months ago
1997
Springer
Users need to be strongly involved in the specification process of network information systems. Characteristics of user-driven specification are described, and process composition ...
JOT
2010
13 years 1 days ago
2010
Model composition is a crucial activity in Model Driven Engineering (MDE). It is particularly useful when adopting a multi-modeling approach to analyze and design software systems...
ICWS
2010
IEEE
13 years 6 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...