<--- Back to Details
First PageDocument Content
Object Constraint Language / ECO / Eclipse / Package / Model-driven engineering / KeY / Domain-specific language / Alloy Analyzer / Metamodeling / Software / Unified Modeling Language / Computing
Date: 2014-09-21 22:36:42
Object Constraint Language
ECO
Eclipse
Package
Model-driven engineering
KeY
Domain-specific language
Alloy Analyzer
Metamodeling
Software
Unified Modeling Language
Computing

Add to Reading List

Source URL: flux.cs.queensu.ca

Download Document from Source Website

File Size: 1,68 MB

Share Document on Facebook

Similar Documents

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

Logic programming / Alloy Analyzer / Massachusetts Institute of Technology / Relational algebra / Circumscription / Relational model / Alloy / Scenario / Tuple

Aluminum: Principled Scenario Exploration through Minimality Tim Nelson1 , Salman Saghafi1 , Daniel J. Dougherty1 , Kathi Fisler1 , Shriram Krishnamurthi2 1 Department of Computer Science

DocID: 1oGSF - View Document

Crime prevention / Cryptography / Information governance / National security / Computer security / Covert channel / Information flow / Program slicing / Mandatory access control / Alloy Analyzer / Domain-specific language / Information security

A Security Domain Model for Static Analysis and Verification of Software Programs Alan B. Shaffer Naval Postgraduate School Computer Science Dept Monterey, CA, USA

DocID: 1lKCl - View Document

System / Systems science / Systems theory / Science / Economic model / Conceptual model / Alloy Analyzer / Model-driven architecture / Ethology / Philosophy of mind / Cybernetics

Microsoft Word - mise19-rubin3.doc

DocID: 1gjTE - View Document