450 search results - page 3 / 90 » Formal Methods for Industrial Products |
CN
2002
13 years 7 months ago
2002
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architect...
FM
2009
Springer
14 years 2 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...
FM
2003
Springer
14 years 20 days ago
2003
Springer
This paper describes the lessons we learned over a thirteen year period while helping to develop the shutdown systems for the nuclear generating station at Darlington, Ontario, Can...
FM
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. The emerging Unified Modelling Language has been touted as merging the best features of existing modelling languages, and has been adopted by leading companies and vendo...
ERSHOV
2006
Springer
13 years 11 months ago
2006
Springer
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...