Software Engineering Institute
Ethan Hadar, Irit Hadar, John Harrison, Sofia Sherman
A presentation from the Architecture and Agile 2 track at SATURN 2012, May 7-11, 2012, St Petersburg, FL.
Ethan Hadar, Irit Hadar, Jay Harrison, Sofia Sherman
This presentation from SATURN 2011 provides an overview of the automatic Abstract Specification Tool.