<--- Back to Details
First PageDocument Content
Programming paradigms / Declarative programming / Alloy / SQL / Imperative programming / C / Programming language / Abstraction / Constraint satisfaction / Computing / Software engineering / Computer programming
Date: 2012-02-19 15:58:07
Programming paradigms
Declarative programming
Alloy
SQL
Imperative programming
C
Programming language
Abstraction
Constraint satisfaction
Computing
Software engineering
Computer programming

Add to Reading List

Source URL: people.csail.mit.edu

Download Document from Source Website

File Size: 531,38 KB

Share Document on Facebook

Similar Documents

Alloy as an Introduction to Formal Methods

DocID: 1xVY1 - View Document

Formal methods / Logic puzzles / River crossing puzzle / CH / Alloy / Software engineering / Theoretical computer science

DYNALLOY: AN EXTENSION OF ALLOY FOR WRITING AND ANALYZING BEHAVIOURAL MODELS Germán Regis | César Cornejo | Simón Gutiérrez Brida | Mariano Politano | Fernando Raverta | Pablo Ponzio | Nazareno Aguirre | Juan Pablo G

DocID: 1xVTd - View Document

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

DocID: 1xVzA - View Document

Fundraising / Philanthropy / Fiscal sponsorship

alloy projectReport

DocID: 1xVsK - View Document

The Academic Failure with Alloy Alloy Amazing Type System

DocID: 1xV4R - View Document