Integration of Semantic Tools Into Document Editors

Integration of the tools used to prepare and verify software documents is vital to the effectiveness of the software development process. This paper identifies the key requirements of such integration, outlines three possible paradigms for integration of semantic verification tools with document editors, and reports on their prototype implementation and evaluation with respect to these requirements