2748 search results - page 170 / 550 » Generating Object-Z Specifications from Use Cases |
109
Voted
KBSE
2010
IEEE
14 years 11 months ago
2010
IEEE
Software constantly undergoes changes throughout its life cycle, and thereby it evolves. As changes are introduced into a code base, we need to make sure that the effect of the ch...
88
Voted
USS
2008
15 years 3 months ago
2008
The inability of humans to generate and remember strong secrets makes it difficult for people to manage cryptographic keys. To address this problem, numerous proposals have been s...
100
Voted
CORR
2010
Springer
15 years 22 days ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
AUTOMATICA
2002
15 years 16 days ago
2002
This paper considers the problem of designing a controller for an unknown plant based on input/output measurements. The new design method we propose is direct (no model identificat...
103
Voted
PR
2007
15 years 4 days ago
2007
The eigenvalues of the Dirichlet Laplacian are used to generate three different sets of features for shape recognition and classification in binary images. The generated feature...