Alloy Community

User login

Automatic Visualization of Relational Logic Models

Authors: 
Derek Rayside, Felix Chang, Greg Dennis, Robert Seater, and Daniel Jackson
Publication Venue: 
First Workshop on the Layout of (Software) Engineering Diagrams (LED'07)
When Published: 
Sep 27 2007


Attachment


Size
alloy-led07.pdf191.43 KB

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