Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

20

ICSE
2000
IEEE-ACM

favoriteEmaildiscussreport

97views Software Engineering» more ICSE 2000»

Alcoa: the alloy constraint analyzer

14 years 2 months ago

Alcoa: the alloy constraint analyzer

Download sdg.csail.mit.edu

Daniel Jackson, Ian Schechter, Ilya Shlyakhter

Real-time Traffic

ICSE 2000 | Software Engineering |

claim paper

Related Content

» Lightweight Modeling of Java Virtual Machine Security Constraints

» UML2Alloy A Challenging Model Transformation

» Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer

» QueryAware Test Generation Using a Relational Constraint Solver

» Analyzing architectural styles with alloy

» COM revisited toolassisted modelling of an architectural framework

» Constraint Prioritization for Efficient Analysis of Declarative Models

» Automating commutativity analysis at the design level

» Security in Context Analysis and Refinement of Software Architectures

Post Info
More Details (n/a)

Added	25 Aug 2010
Updated	25 Aug 2010
Type	Conference
Year	2000
Where	ICSE
Authors	Daniel Jackson, Ian Schechter, Ilya Shlyakhter

Comments (0)