Using Spec Explorer for Automatic Checking of Constraints in Software Controlled Systems.
In software engineering, several formal models and tools are proposed for defining system requirements and constraints formally. Such formal definitions can help in the automatic checking and verification for them. It can also help in the automatic test case generation, execution and verification. I...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Inforec Association
2011-01-01
|
| Series: | Informatică economică |
| Subjects: | |
| Online Access: | http://revistaie.ase.ro/content/59/01%20-%20Emari,%20Alsmadi.pdf |