2016 search results - page 268 / 404 » Tool Support for Ontology Engineering |
165
click to vote
IWPC
2009
IEEE
16 years 1 months ago
2009
IEEE
Interruptions are a daily reality for professional programmers. Unfortunately, the strategies programmers use to recover lost knowledge and resume work have not yet been well stud...
143
click to vote
ICFEM
2009
Springer
16 years 27 days ago
2009
Springer
Formal specification languages are traditionally supported by theorem provers, but recently model checkers have proven to be useful tools. In this paper we present Eboc, an explic...
146
click to vote
RE
2009
Springer
16 years 27 days ago
2009
Springer
Heterogeneously-licensed systems pose new challenges to analysts and system architects. Appropriate intellectual property rights must be available for the installed system, but wi...
176
click to vote
COMPSAC
2008
IEEE
16 years 25 days ago
2008
IEEE
In this paper, we describe a framework for the computeraided evolution of the designs of object-oriented software systems. Evolution mechanisms are software structures that prepar...
156
click to vote
ICST
2008
IEEE
16 years 23 days ago
2008
IEEE
Microsoft is producing high-quality documentation for Windows client-server and server-server protocols. Our group in the Windows organization is responsible for verifying the doc...