2127 search results - page 86 / 426 » Software Automation |
135
click to vote
ISICT
2003
15 years 4 months ago
2003
: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...
104
click to vote
WSC
2004
15 years 4 months ago
2004
Creating a simulation of a large enterprise system by manually coding all the details into a simulator tool is not just time consuming, but yields a system that is difficult to ma...
119
click to vote
SERP
2003
15 years 4 months ago
2003
Feature modeling is commonly used to capture the commonalities and variabilities of systems in a domain during Domain Analysis. The output of feature modeling will be some reusabl...
120
click to vote
SIGCSE
2008
ACM
15 years 2 months ago
2008
ACM
Providing consistent, instant, and detailed feedback to students has been a big challenge in teaching Web based computing, given the complexity of project assignments and the comp...
153
click to vote
ASE
2005
15 years 2 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...