8828 search results - page 53 / 1766 » Formal methods in practice |
COMPOS
1997
Springer
15 years 2 months ago
1997
Springer
ANOR
2005
14 years 9 months ago
2005
An alternate formulation of the classical vehicle routing problem with stochastic demands (VRPSD) is considered. We propose a new heuristic method to solve the problem. The algori...
MEMOCODE
2008
IEEE
15 years 4 months ago
2008
IEEE
The second MEMOCODE hardware/software codesign contest invites participants to solve a practical hardware/software codesign problem within the time span of one month. The larger o...
FM
2008
Springer
14 years 11 months ago
2008
Springer
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
FORTE
1996
14 years 11 months ago
1996
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...