1397 search results - page 55 / 280 » On the Need for Practical Formal Methods |
ASM
2010
ASM
13 years 11 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
SEKE
2005
Springer
14 years 1 months ago
2005
Springer
Mobile agents provide an effective and flexible style to develop advanced distributed systems. In order to promote interoperability and ensure the quality of mobile agent systems,...
PSD
2004
Springer
14 years 1 months ago
2004
Springer
Minimum-distance controlled perturbation is a recent family of methods for the protection of statistical tabular data. These methods are both efficient and versatile, since can dea...
APSEC
2007
IEEE
13 years 11 months ago
2007
IEEE
In market-driven product development large numbers of requirements threaten to overload the development organization. It is critical for product management to select the requireme...
FLAIRS
2004
13 years 9 months ago
2004
The simultaneous consideration of various notions (practice, procedure, prescribed task, effective task, task space, task search, task, method, activity) shows that the task accom...