Abstract | ||
---|---|---|
When developing products or solutions in industry and assessing their quality, formal methods provide the most rigorous tools for checking for safety and security flaws. In this talk we share our first-hand general experience in this area, and furthermore ... |
Year | DOI | Venue |
---|---|---|
2006 | 10.1109/ISoLA.2006.56 | ISoLA |
Keywords | Field | DocType |
security flaw,formal method,nasa experience,first-hand general experience,software assurance research infusion,rigorous tool,software engineering,working group | Software Engineering Process Group,Software deployment,Personal software process,Software engineering,Software peer review,Engineering management,Software project management,Engineering,Software assurance,Software construction,Social software engineering | Conference |
ISBN | Citations | PageRank |
978-0-7695-3071-0 | 2 | 0.52 |
References | Authors | |
0 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Michael G. Hinchey | 1 | 697 | 91.11 |
Thomas Pressburger | 2 | 537 | 46.76 |
Martin S. Feather | 3 | 575 | 126.66 |
Lawrence Markosian | 4 | 84 | 11.56 |
Wes Deadrick | 5 | 2 | 0.52 |