1782 search results - page 208 / 357 » Tool Support for Proof Engineering |
204
click to vote
I3E
2001
15 years 7 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
171
click to vote
WSC
1998
15 years 7 months ago
1998
Many simulation systems are standalone, running only on a desktop and having limited capabilities to integrate with other technologies such as company databases, workflow engines,...
180
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Aligning ontologies is a crucial and tedious task. Matching algorithms and tools provide support to facilitate the task of the user in defining correspondences between ontologies ...
164
click to vote
TOOLS
2010
IEEE
15 years 4 months ago
2010
IEEE
While traditional approaches to code profiling help locate performance bottlenecks, they offer only limited support for removing these bottlenecks. The main reason is the lack of v...
134
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Testing is one of the most indispensable tasks in software engineering. The role of testing in software development has grown significantly because testing is able to rev...