5255 search results - page 218 / 1051 » Formal Methods for Privacy |
141
click to vote
TCS
2002
15 years 3 months ago
2002
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
107
Voted
COLING
2010
14 years 11 months ago
2010
There has been relatively little work focused on determining the formality level of individual lexical items. This study applies information from large mixedgenre corpora, demonst...
158
click to vote
ICFCA
2005
Springer
15 years 9 months ago
2005
Springer
A key difficulty in the maintenance and evolution of complex software systems is to recognize and understand the implicit dependencies that define contracts that must be respecte...
139
click to vote
FM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Expectation (average) properties of continuous random variables are widely used to judge performance characteristics in engineering and physical sciences. This paper pres...
119
click to vote
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...