621 search results - page 66 / 125 » Functional and structural properties in the Model-Driven Eng... |
114
click to vote
IJCV
1998
14 years 9 months ago
1998
This paper presents a method that uses the level sets of volumes to reconstruct the shapes of 3D objects from range data. The strategy is to formulate 3D reconstruction as a stati...
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
SPLC
2010
14 years 7 months ago
2010
Abstract. Feature modeling is a technique for capturing commonality and variability. Feature models symbolize a representation of the possible application configuration space, and ...
COMPSAC
2008
IEEE
14 years 11 months ago
2008
IEEE
The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
IJCAI
2003
14 years 11 months ago
2003
Motivated by medical terminology applications, we investigate the decidability of the well known expressive DL, SHIQ, extended with role inclusion axioms (RIAs) of the form R ◦ ...