1782 search results - page 110 / 357 » Tool Support for Proof Engineering |
201
click to vote
SAC
2011
ACM
14 years 9 months ago
2011
ACM
We propose a novel approach and tool for collaborative software engineering and development. In model-based software engineering, the underlying data structure is a complex, direc...
204
click to vote
GSEM
2004
Springer
15 years 11 months ago
2004
Springer
Occam is a parallel processing language designed by a team at INMOS in conjunction with the design of the transputer processor, and based on Sir T. Hoare's ideas of Communica...
191
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
156
click to vote
DSS
2002
15 years 6 months ago
2002
Competitive Intelligence (CI) aims to monitor a firm's external environment for information relevant to its decision-making process. As an excellent information source, the I...
154
click to vote
WCRE
2010
IEEE
15 years 4 months ago
2010
IEEE
—Automatic and advanced merging algorithms help programmers to merge their modifications in main development repositories. However, there is little support to help release maste...