5255 search results - page 60 / 1051 » Formal Methods for Privacy |
SFM
2005
Springer
14 years 3 months ago
2005
Springer
ISOLA
2010
Springer
13 years 8 months ago
2010
Springer
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
FM
2009
Springer
14 years 4 months ago
2009
Springer
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
DATE
2006
IEEE
14 years 4 months ago
2006
IEEE
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...
EDUTAINMENT
2007
Springer
14 years 4 months ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...