Integration of Semantic Tools into Document Editors

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

[1]  Jim Welsh,et al.  A Model Implementation of Standard Pascal , 1986 .

[2]  David Notkin The GANDALF project , 1985, J. Syst. Softw..

[3]  Roger Ison An Experimental Ada Programming Support Environment in the HP CASEdge Integration Framework , 1989, SEE.

[4]  Jim Welsh,et al.  Supporting multiple tool integration paradigms within a single environment , 1993, Proceedings of 6th International Workshop on Computer-Aided Software Engineering.

[5]  Jim Welsh,et al.  An Adaptive Program Editor , 1986, Aust. Comput. J..

[6]  Patrick Borras,et al.  Centaur: the system , 1988, Software Development Environments.

[7]  Erhard Plödereder,et al.  An overview of DOD-STD-1838A (proposed) the common APSE interface set: revision , 1988, SDE 3.

[8]  Jim Welsh,et al.  Software Documents: Concepts and Tools , 1994, Softw. Concepts Tools.

[9]  Huw Oliver Adding Control Integration to PCTE , 1991, Software Development Environments and CASE Technology.

[10]  Luke Wildman,et al.  UQ2: A Multilingual Document Editor , 1990 .

[11]  Ian Thomas,et al.  An overview of PCTE and PCTE+ , 1989, SDE 3.

[12]  S. Meyers Difficulties in integrating multiview development systems , 1991, IEEE Software.

[13]  Laurence Rideau,et al.  Distributed Architecture for Programming Environments , 1996 .

[14]  Thomas W. Reps,et al.  Generating Language-Based Environments , 1982 .

[15]  Jim Welsh,et al.  Incremental semantic evaluation in language‐based editors , 1992, Softw. Pract. Exp..

[16]  R. Stallman EMACS the extensible, customizable self-documenting display editor , 1981, SIGPLAN SIGOA Symposium on Text Manipulation.

[17]  Yun Yang,et al.  Tool Integration Techniques , 1991 .

[18]  Steven P. Reiss Interacting with the field environment , 1990, Softw. Pract. Exp..