Daniel Jackson is Professor in the Department of Electrical Engineering and Computer Science and leads the Software Design Group at the Computer Science and Artificial Intelligence Lab at MIT.
Software Abstractions Logic, Language, and Analysis Daniel Jackson Cloth / April 2006 A new approach to software verification introduces Alloy, a language that captures the essence of software abstraction with an analysis that is fully automated. Price $40.00 | ADD TO CART
