Recent research results in formalizing and automating software specification move us closer to a computer-based specification assistant. In this paper, we review three projects that we believe are particularly relevant to this goal. For each project we describe first the underlying model, and second our efforts to study it by construction of a prototype tool based on the model. Finally, we discuss incorporating the results of our study into a knowledge-based system that assists in the construction of a formal specification.