Alloy Community

User login

alloy

Home » User account
alloy's picture

info

Website
http://alloy.mit.edu
Name
Daniel Jackson
Role
researcher

History

Member for
4 years 6 weeks

Recent Activities
GroupMIT-SDG alloy3 years 26 weeks ago
SoftwareAlloy Analyzer 3.0 alloy3 years 26 weeks ago
SoftwareAlloy Analyzer 2.0 alloy3 years 26 weeks ago
PublicationBoolean Compilation of Relational Specifications alloy3 years 28 weeks ago
PublicationIsomorph-free Model Enumeration: A New Method for Checking Relational Specifications alloy3 years 28 weeks ago
PublicationA Comparison of Object Modelling Notations: Alloy, UML and Z alloy3 years 28 weeks ago
PublicationA Nitpick Analysis of Mobile IPv6 alloy3 years 28 weeks ago
PublicationSome Shortcomings of OCL, the Object Constraint Language of UML alloy3 years 28 weeks ago
PublicationThe Future of Software Analysis alloy3 years 28 weeks ago
PublicationEnforcing Design Constraints with Object Logic alloy3 years 28 weeks ago
PublicationFinding Bugs with a Constraint Solver alloy3 years 28 weeks ago
PublicationAutomating First-Order Relational Logic alloy3 years 28 weeks ago
PublicationLightweight Extraction of Object Models from Bytecode alloy3 years 28 weeks ago
PublicationA Micromodularity Mechanism alloy3 years 28 weeks ago
PublicationLightweight Analysis of Object Interactions alloy3 years 28 weeks ago
PublicationAlloy: A Lightweight Object Modelling Notation alloy3 years 28 weeks ago
PublicationModule Dependencies in Software Design alloy3 years 28 weeks ago
PublicationDebugging Overconstrained Declarative Models Using Unsatisfiable Cores alloy3 years 28 weeks ago
PublicationLightweight Formal Analysis of a Multicast Key Management Scheme alloy3 years 28 weeks ago
PublicationCritical Feature Analysis of a Radiotherapy Machine alloy3 years 28 weeks ago
123next ›last »

Syndicate content  

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte