517 search results - page 52 / 104 » Specification transformers: a predicate transformer approach... |
196
click to vote
JUCS
2010
15 years 1 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
197
click to vote
DOLAP
2009
ACM
16 years 25 days ago
2009
ACM
Extract-Transform-Load (ETL) activities are software modules responsible for populating a data warehouse with operational data, which have undergone a series of transformations on...
168
click to vote
POLICY
2004
Springer
15 years 11 months ago
2004
Springer
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of p...
156
click to vote
EUROSSC
2007
Springer
16 years 14 days ago
2007
Springer
We describe and evaluate a distributed architecture for the online recognition of user activity sequences. In a lower layer, simple heterogeneous atomic activities were recognised ...
173
click to vote
ESTIMEDIA
2003
Springer
15 years 11 months ago
2003
Springer
In order to extensively explore design space one has to specify a n a very abstract level. Transforming a specification into a correct implementation is usually an error prone tas...