Sciweavers

6040 search results - page 232 / 1208
» Generating Instance Models from Meta Models
Sort
View
AIS
2004
Springer
14 years 2 months ago
Timed I/O Test Sequences for Discrete Event Model Verification
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...
Ki Jung Hong, Tag Gon Kim
CAD
2004
Springer
13 years 10 months ago
Reconstruction of piecewise planar objects from point clouds
This article discusses the reverse engineering problem of reconstructing objects with planar faces. We will present the main geometric features of a modeling system which are the ...
Martin Peternell, Tibor Steiner
UML
2001
Springer
14 years 3 months ago
Conformance Testing from UML Specifications. Experience Report
: UMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML). TGV is a tool for the generation of conforma...
Lydie du Bousquet, Hugues Martin, Jean-Marc J&eacu...
SEMWEB
2004
Springer
14 years 4 months ago
From Tables to Frames
Turning the current Web into a Semantic Web requires automatic approaches for annotation of existing data since manual approaches will not scale in general. We here present an app...
Aleksander Pivk, Philipp Cimiano, York Sure
CC
2009
Springer
153views System Software» more  CC 2009»
13 years 8 months ago
From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...
Richard Warburton, Sara Kalvala