<--- Back to Details
First PageDocument Content
Software development / Computing / Alloy / Unified Modeling Language / Class diagram / Data model / Universal / Conceptual model / Reification / Software engineering / Knowledge representation / Object-oriented programming
Date: 2010-03-22 09:29:12
Software development
Computing
Alloy
Unified Modeling Language
Class diagram
Data model
Universal
Conceptual model
Reification
Software engineering
Knowledge representation
Object-oriented programming

Add to Reading List

Source URL: www.inf.ufes.br

Download Document from Source Website

File Size: 524,39 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