<--- 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

Firewall software / Computing / Computer security / Cyberwarfare / Computer network security / Cybercrime / Application firewall / Web application firewall / Fastly / Firewall / Waf / Cyberattack

Fastly WAF Management Package QUICK VALUE PACK AGES Unleash the value of Fastly without tying up scarce IT resources

DocID: 1xVYh - View Document

Business Financing Package © PeopleImages

DocID: 1xVKv - View Document

User interface techniques / Software / Graphical user interface / Software architecture / Package manager / Gui / User interface / Human behavior / Computing

Package ‘GroupSeq’ April 11, 2018 Title A GUI-Based Program to Compute Probabilities Regarding Group Sequential Designs VersionDescription A graphical user interface to compute group sequential designs

DocID: 1xVz0 - View Document

Statistical natural language processing / Artificial intelligence / Data management / Information science / Topic model / Information / Latent Dirichlet allocation / Tag cloud

stm: R Package for Structural Topic Models

DocID: 1xVhg - View Document

Computer programming / Recursion / Mathematical logic / Software engineering / Computability theory / Theory of computation / Theoretical computer science / -recursive function / Recursive definition / Well-founded relation / Functional programming / Pattern matching

Defining Recursive Functions in Isabelle/HOL Alexander Krauss Abstract This tutorial describes the use of the function package, which provides general recursive function definitions for Isabelle/HOL. We start with very

DocID: 1xVds - View Document