Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

The Design of the Zinc Modelling Language

2008136 citationsJournal Article

Authors

Kim Marriott · Monash University

Nicholas Nethercote · Data61

Reza Rafeh · Monash University

Peter J. Stuckey · Data61

María García de la Banda · Monash University

Mark Wallace · Monash University

Topics & Keywords

Model-Driven Software Engineering Techniques Logic, programming, and type systems Advanced Software Engineering Methodologies

Publication Details

Published in: Constraints

Volume 13, Issue 3, pp. 229-267

DOI: 10.1007/s10601-008-9041-4

Field-Weighted Citation Impact: 27.64

The Design of the Zinc Modelling Language | Researchclopedia