Name
Abstract | ||
|---|---|---|
This paper describes the specification, validation and verification of system and software requirements using the SCR tabular method and tools. An example is presented to illustrate the SCR tabular notation, and an overview of each of the ten tools in the SCR toolset is presented. |
Year | Venue | Keywords |
|---|---|---|
2007 | JOURNAL OF UNIVERSAL COMPUTER SCIENCE | formal methods,requirements,SCR toolset |
Field | DocType | Volume |
Notation,Programming language,Software engineering,Verification and validation,Computer science,Formal specification,Verification,High-level programming language,Formal methods,Semantics,Software verification | Journal | 13 |
Issue | ISSN | Citations |
5 | 0948-695X | 7 |
PageRank | References | Authors |
0.79 | 19 | 1 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Constance L. Heitmeyer | 1 | 898 | 151.71 |