1782 search results - page 203 / 357 » Tool Support for Proof Engineering |
173
click to vote
INFSOF
2008
15 years 6 months ago
2008
Improving project management, product development and engineering processes is for many companies crucial to survive in a fast changing environment. However, these activities are ...
147
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, we describe SGSDesigner, the ODESGS Environment user interface. ODESGS Environment (the realization of the ODESGS Framework [1]) is an environment for supporting bo...
166
click to vote
SEMWEB
2007
Springer
16 years 17 days ago
2007
Springer
We introduce in this paper correspondence patterns as a tool to design ontology alignments. Based on existing research on patterns in the fields of software and ontology engineeri...
180
click to vote
EUROMICRO
2005
IEEE
16 years 2 days ago
2005
IEEE
Many component models have been proposed to address the challenge of reducing software development time and costs. Such models often offer similar functionality. We study how deve...
183
click to vote
ICFEM
2004
Springer
15 years 12 months ago
2004
Springer
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the development of reactive programs. In this work, ...