1782 search results - page 82 / 357 » Tool Support for Proof Engineering |
155
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
Legislation is constantly affecting the way in which software developers can create software systems, and deliver them to their users. This raises the need for methods and tools t...
153
click to vote
KIC
2000
15 years 6 months ago
2000
: In this paper, we propose a fundamental idea of a new CAD architecture to facilitate design knowledge management. This architecture is useful to develop an advanced design suppor...
168
click to vote
UAI
1996
15 years 6 months ago
1996
Developing a large belief network, like any large system, requires systems engineering to manage the design and construction process. We propose that network engineering follow a ...
149
Voted
AICCSA
2005
IEEE
15 years 7 months ago
2005
IEEE
Object-oriented frameworks are a powerful reuse technique but they are also very complex and difficult to design. Framework’s design aims at separating the invariant aspects acr...
179
click to vote
MATES
2004
Springer
15 years 11 months ago
2004
Springer
Most of the Agent-Oriented software engineering methodologies that have been developed in the last years tend to propose a model-based approach to software development. To be put i...