PROPEL: An approach supporting user guidance in developing precise and understandable property specifications
Property specifications are often used in requirements engineering to concisely describe a single aspect of system behavior. Although each property has a narrow focus, it can still be difficult to specify a property correctly. There are often subtle, but important, details in desired system behavior...
| Main Author: | |
|---|---|
| Language: | EN |
| Published: |
ScholarWorks@UMass Amherst
2008
|
| Subjects: | |
| Online Access: | https://scholarworks.umass.edu/dissertations/AAI3339555 |