Proposal of a Supporting Method to Generate a Decision Table from the Formal Specification
In recent years, the software quality becomes more important because the system becomes large scale and high performance. In general, many defects are embedded in the upstream process of the software development. As one reason of the above, specifications include ambiguous description. As a means fo...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Atlantis Press
2014-12-01
|
| Series: | Journal of Robotics, Networking and Artificial Life (JRNAL) |
| Subjects: | |
| Online Access: | https://www.atlantis-press.com/article/14948.pdf |