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
1 year 46 weeks

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