61 search results - page 1 / 13 » Industrial Practice in Formal Methods: A Review |
FM
2009
Springer
13 years 11 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...
FMICS
2010
Springer
13 years 6 months ago
2010
Springer
ICSE
1997
IEEE-ACM
13 years 8 months ago
1997
IEEE-ACM
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
ICIW
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract— Composition of web services is much studied to support business-to-business and enterprise application integration in e-Commerce. Current web service composition approa...
JUCS
2007
13 years 4 months ago
2007
: This paper outlines the emergence of formal techniques, explaining why they were slow to take on an industrially acceptable form. The contemporary scene, in which formal techniqu...