517 search results - page 16 / 104 » Specification transformers: a predicate transformer approach... |
ICFP
2008
ACM
14 years 8 months ago
2008
ACM
There are now a number of bidirectional programming languages, where every program can be read both as a forward transformation mapping one data structure to another and as a reve...
MODELS
2010
Springer
13 years 6 months ago
2010
Springer
Model transformation is one of the pillars of Model-Driven Engineering (MDE). The increasing complexity of systems and modelling languages has dramatically raised the complexity an...
TSP
2008
13 years 8 months ago
2008
This paper proposes a novel feature-based invariant descriptor termed Radon composite features (RCFs) for planar shapes. Instead of analyzing shapes directly in the spatial domain,...
GI
2009
Springer
13 years 6 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
UML
1998
Springer
14 years 19 days ago
1998
Springer
The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...