Persons


Daniel Jackson

A-B-C- D-E-F- G-H-I- J-K-L- M-N-O- P-Q-R- S-T-U- V-W-X- Y-Z

Name

Daniel Jackson

E-Mail

dnj@lcs.mit.ed

Homepage


http://sdg.lcs.mit.edu/~dnj/

Address

1)MIT Lab for Computer Science 
545 Technology Square 
Cambridge, MA 02139 
USA
Fax: 617 258 8607

2)Carnegie Mellon University
Adjunct Assoc. Prof.Of Computer Science
Computer Science Department
5000 Forbes Avenue
Pittsburgh, PA 15213 
USA
(412) 268-2565

Institution

MIT - Massachusetts Institute of Technology
Carnegie Mellon University

Publications

2000:
/Jackson D., 2000/ Reasoning & Analysis: A Roadmap
/Jackson D., 2000a/ Demo: Alcoa: The Alloy Constraint Analyzer

1999:
/Jackson D., 1999/ Lightweight Extraction of Object Models from Bytecode

1998:
/Jackson D., 1998/ An Intermediate Design Language and its Analysis

Conferences

Programme Committee
FSE'98	Lake Buena Vista, FL, USA