The collection of papers published in this book was initially presented at the Workshop on Software Factories and Ada, held on Capri, May 26-30, 1986. Of particular interest are the discussions of automation of the development process and the formalization of software development specifications.