Name
Abstract | ||
|---|---|---|
During the past decade, researchers have proposed numerous formal techniques for describing and analyzing system and software requirements. These include 1) special languages for specifying requirements, such as RSML and SCR, and 2) software tools, such as consistency checkers, simulators, model checkers, and theorem provers, for detecting errors in requirements specifications, for validating that the specifications capture the intended system behavior, and for verifying that the specifications satisfy selected properties. These properties include type correctness, consistency (no unwanted nondeterminism), and completeness (no missing cases) as well as application properties, such as security and safety properties. Although some limited progress has been made in applying these formal techniques in the practical development of requirements documents, use of the techniques by software developers remains rare. This is in sharp contrast to hardware design, where, at companies such as Intel and Motorola, the use of formally based tools such as model checkers is more common. Recently, these and other hardware companies have begun to integrate formally based techniques into their design environments. |
Year | DOI | Venue |
|---|---|---|
2000 | 10.1109/ICRE.2000.855590 | Schaumburg, IL, USA |
Keywords | Field | DocType |
model checker,software tool,software requirement,hardware company,design environment,requirements specification,formal technique,consistency checker,requirements document,transferring research results,software developer,software systems,application software,hardware,process design,thyristors,programming | Software design,Programming language,Software engineering,Computer science,Requirements analysis,Software construction,Software verification and validation,Software requirements specification,Software development,Software requirements,Software verification | Conference |
ISSN | ISBN | Citations |
1097-0592 | 0-7695-0565-1 | 0 |
PageRank | References | Authors |
0.34 | 7 | 1 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Constance L. Heitmeyer | 1 | 898 | 151.71 |