2748 search results - page 170 / 550 » Generating Object-Z Specifications from Use Cases |
135
Voted
KBSE
2010
IEEE
15 years 1 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...
109
click to vote
USS
2008
15 years 5 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...
127
click to vote
CORR
2010
Springer
15 years 3 months 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...
122
Voted
AUTOMATICA
2002
15 years 3 months 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...
127
click to vote
PR
2007
15 years 2 months 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...