| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4972275 | Information and Software Technology | 2017 | 4 Pages |
Abstract
Conclusion: The problem is not related to the tool but the way data types must be represented in Alloy. This study shows the importance of using automated analyses to test translation between different language constructs.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Human-Computer Interaction
Authors
Rohit Gheyi, Paulo Borba, Augusto Sampaio, Márcio Ribeiro,