3514 search results - page 307 / 703 » Evolving Specification Engineering |
195
click to vote
CONCURRENCY
2008
15 years 6 months ago
2008
ce that allows navigation from an abstract model of the experiment to instance data collected during a specific experiment run. We outline modest extensions to a commercial workflo...
144
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
We present the integration of refinement method of VSE verification tool, successfully used in industrial applications, in the Heterogeneous Tool Set HETS. The connection is done v...
254
click to vote
IESA
2009
15 years 4 months ago
2009
This paper presents an approach for comparing two architectures for ontology-based semantic annotation for service interoperability, the EMPOWER architecture using platform specif...
211
Voted
AMAST
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We present a declarative debugger for Maude specifications that allows to debug wrong answers (a wrong result is obtained) and missing answers (a correct but incomplete r...
188
click to vote
TCIAIG
2010
15 years 1 months ago
2010
Procedural terrain generation is used to create landforms for applications such as computer games and flight simulators. While most of the existing work has concentrated on algori...