Abstract | ||
---|---|---|
Based on a study by Adelard (UK) commissioned by the German Bundesamt fuer Sicherheit in der Informationstechnik this paper identifies crucial factors leading to the success or failure of the application of formal methods and provides ideas of improved technology adoption perspectives by analysing the formal methods market. |
Year | DOI | Venue |
---|---|---|
2000 | 10.1007/3-540-40891-6_19 | SAFECOMP |
Keywords | Field | DocType |
future prospects,improved technology adoption perspective,formal methods market,formal method,der informationstechnik,crucial factor,formal methods diffusion,past lessons | Systems engineering,Engineering management,Computer science,Operations research,Computer design,Formal methods,Early adopter,German | Conference |
Volume | ISSN | ISBN |
1943 | 0302-9743 | 3-540-41186-0 |
Citations | PageRank | References |
4 | 0.56 | 15 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Robin E. Bloomfield | 1 | 227 | 44.91 |
Dan Craigen | 2 | 270 | 45.96 |
Frank Koob | 3 | 18 | 3.36 |
Markus Ullmann | 4 | 91 | 24.39 |
Stefan Wittmann | 5 | 21 | 4.31 |