Towards a Web-based Analyzer to improve the teaching of Alloy Alcino Cunha, Nuno Macedo José Pereira, Bruno Carvalho, Ricardo Silva

First Page		Document Content
Date: 2018-06-13 06:07:43 Formal methods Computing Alloy Massachusetts Institute of Technology Z notation Software engineering Modeling languages Object Process Methodology Economic model		Towards a Web-based Analyzer to improve the teaching of Alloy Alcino Cunha, Nuno Macedo José Pereira, Bruno Carvalho, Ricardo Silva Add to Reading List Source URL: alloytools.org Download Document from Source Website File Size: 283,76 KB Share Document on Facebook

	Numerical Issues and Inﬂuences in the Design of Algebraic Modeling Languages for Optimization Robert Fourer Northwestern University David M. Gay AMPL Optimization LLC DocID: 1vl9g - View Document
	On Programming Languages for Probabilistic Modeling a dissertation presented by Daniel E. Huang DocID: 1uYWC - View Document
	Formal Verification of Code Generators for Modeling Languages (Invited Talk) Xavier Leroy Inria, Paris, France DocID: 1tNbI - View Document
	First Workshop On the Globalization of Modeling Languages (GEMOC 2013) ? Benoit Combemale1 and Julien De Antoni2 and Robert B. France3 and Frédéric Boulanger4 and Sébastien Mosser5 and Marc Pantel6 and Bernhard Rumpe7 DocID: 1tc9j - View Document
	Higher-Order Rewriting of Model-to-Text Templates for Integrating Domain-specific Modeling Languages Bernhard Hoisl1,2 , Stefan Sobernig1 , and Mark Strembeck1,2 1 Institute for Information Systems and New Media, WU Vie DocID: 1sYKw - View Document