517 search results - page 31 / 104 » Specification transformers: a predicate transformer approach... |
ECBS
1999
IEEE
14 years 24 days ago
1999
IEEE
Model interpreters play an essential role in modelintegrated systems: they transform domain-specific models into executable models. The state-ot-the-art of model interpreter writi...
AAAI
2007
13 years 10 months ago
2007
In this paper, we consider the problem of composing a set of web services, where the requirements are specified in terms of the input and output messages of the composite workfl...
ISBI
2004
IEEE
14 years 9 months ago
2004
IEEE
Microscopy imaging often suffers from limited depth-offocus. However, the specimen can be `optically sectioned' by moving the object along the optical axis; different areas a...
VLC
2008
13 years 8 months ago
2008
Ensuring model quality is a key success factor in many computer science areas, and becomes crucial in recent software engineering paradigms like the one proposed by model-driven s...
SQJ
2008
13 years 8 months ago
2008
- We present a comprehensive UML statechart diagram analysis framework. This framework allows one to progressively perform different analysis operations to analyze UML statechart d...