Rafeh, Reza (2006) The modelling language zinc. Principles and Practice of Constraint Programming - CP 2006, Nantes, France, September 25-29, 2006.
Full text not available from this repository.
Official URL: http://link.springer.com/chapter/10.1007/11889205_...
Abstract or Summary
We describe the Zinc modelling language. Zinc provides set constraints, user defined types, constrained types, and polymorphic predicates and functions. The last allows Zinc to be readily extended to different application domains by user-defined libraries. Zinc is designed to support a modelling methodology in which the same conceptual model can be automatically mapped into different design models, thus allowing modellers to easily “plug and play” with different solving techniques and so choose the most appropriate for that problem.
| Item Type: | Paper presented at a conference, workshop or other event, and published in the proceedings |
|---|---|
| Keywords that describe the item: | Zine Modelling |
| Subjects: | Q Science > QA Mathematics > QA76 Computer software |
| Divisions: | Schools > Centre for Business, Information Technology and Enterprise > School of Information Technology |
| ID Code: | 5129 |
| Deposited By: | |
| Deposited On: | 11 Jan 2017 01:02 |
| Last Modified: | 03 Jul 2020 01:45 |
Repository Staff Only: item control page
