Improving Software Quality through Syntax and Semantics Verification of Requirements Models
Software defects can frequently be traced to poorly-specified requirements. Many software teams manage their requirements using tools such as checklists and databases, which lack a formal semantic mapping to system behavior. Such a mapping can be especially helpful for safety-critical systems. Anoth...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | English |
| Published: |
University of North Texas
2018
|
| Subjects: | |
| Online Access: | https://digital.library.unt.edu/ark:/67531/metadc1404542/ |