Daniel Jackson's home page
Automatic analysis of software designs and specifications.
Design methods, requirements, formal specification, model checking.
Some Recent Publications
Faster Checking of Software Specifications By Eliminating Isomorphs.
Daniel Jackson, Craig A. Damon and Somesh Jha.
Proc. ACM Conf. on Principles of Programming Languages ,
Elements of Style: Analyzing a Software Design Feature with a Counterexample
Daniel Jackson and Craig Damon.
IEEE Trans. on Software Engineering, Vol. 22, No. 7, July 1996.
Automatic Analysis of Architectural Style.
Daniel Jackson. submitted for publication.
Detecting Shared Representations Using Type Inference.
Robert O'Callahan and Daniel Jackson.
Technical Report CMU-CS-95-202, September 1995.
Problem Decomposition for Reuse. Daniel Jackson and Michael Jackson.
Software Engineering Journal, Vol. 11, No. 1, January 1996.
A New Model of Program Dependences for Reverse Engineering.
Daniel Jackson and Eugene J. Rollins.
Proc. SIGSOFT Conf. on Foundations of Software Engineering,
New Orleans, Dec. 1994.
Abstract Model Checking of Infinite Specifications.
Daniel Jackson. Proc. Formal Methods Europe, Barcelona, Oct. 1994.
Structuring Z Specifications With Views. ACM Trans. on Software
Engineering and Methodology, Vol. 4, No. 4, October 1995.
(15-672: Methods of Software Development)
Programming Systems Seminar
Fourth ACM Conf. on Foundations of Software Engineering
First ACM Workshop on Automated Analysis of Software
, Aaron Greenhouse
What Thoreau had
to say about the Web.