Name
Abstract | ||
|---|---|---|
. A controversial issue in the formal methods community isthe degree to which mathematical sophistication and theorem provingskills should be needed to apply a formal method and its support tools.This paper describes the SCR (Software Cost Reduction) tools, partof a "practical" formal method---a method with a solid mathematicalfoundation that software developers can apply without theorem provingskills, knowledge of temporal and higher order logics, or consultation withformal... |
Year | DOI | Venue |
|---|---|---|
1998 | 10.1007/BFb0028775 | CAV |
Keywords | Field | DocType |
analyzing software requirements,requirements,software engineering,higher order logic,software requirements,formal method,software development | Notation,Model checking,Computer science,Automated theorem proving,Algorithm,Software,Formal methods,Software development,Software requirements,Formal verification | Conference |
Volume | ISSN | ISBN |
1427 | 0302-9743 | 3-540-64608-6 |
Citations | PageRank | References |
88 | 6.49 | 10 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Constance L. Heitmeyer | 1 | 898 | 151.71 |
| James Kirby | 2 | 274 | 19.31 |
| Bruce G. Labaw | 3 | 632 | 47.44 |
| Ramesh Bharadwaj | 4 | 416 | 32.59 |