2016 search results - page 278 / 404 » Tool Support for Ontology Engineering |
163
click to vote
TASE
2008
IEEE
15 years 5 months ago
2008
IEEE
The safety of pointer programs is an important issue in high-assurance software design, and their verification remains a major challenge. Pointer Logic has been proposed to verify...
230
click to vote
IWPC
2010
IEEE
15 years 4 months ago
2010
IEEE
—A tool supporting the automatic identification of programming idioms specific to the construction of C++ generic libraries is presented. The goal is to assist developers in unde...
148
click to vote
ER
2009
Springer
15 years 4 months ago
2009
Springer
Developing a mobile Web site represents an opportunity to reach a large part of the Web audience for an organization. It is also a challenge as Web engineers have to follow specifi...
171
click to vote
PEPM
2012
ACM
14 years 1 months ago
2012
ACM
This paper describes Scala-Virtualized, which extends the Scala language and compiler with a small number of features that enable combining the benefits of shallow and deep embed...
190
click to vote
IJVR
2006
15 years 6 months ago
2006
In this article we propose an architecture for the inclusion and exploitation of semantic aspects in a CAD environment. Our schema focuses on the enhancement and improvement of a c...