The software development workbench WSDW

This paper presents the architecture and some tools of the software development workbench WSDW. The authors propose a structure-oriented workbench, in which interactive software tools are integrated through sharing a unique high level program representation, satisfying the request of independence from the source language. The data structure representing programs, the web structure, is based upon the mathematical concept of relation and it is easily implemented as a Prolog data base. Program transformations, given as web transformations, can be expressed as rewriting rules, so that software tools can be implemented as sets of rewriting rules and then added to the WSDW.<<ETX>>

[1]  Karl J. Ottenstein,et al.  The program dependence graph in a software development environment , 1984, SDE 1.

[2]  Giuseppe Santucci,et al.  The architecture of Diagram Server , 1990, Proceedings of the 1990 IEEE Workshop on Visual Languages.

[3]  Richard C. Waters.  Program Translation via Abstraction and Reimplementation , 1988, IEEE Trans. Software Eng..

[4]  Stefano Crespi-Reghizzi,et al.  Software Prototyping by Relational Techniques: Experiences with Program Construction Systems , 1988, IEEE Trans. Software Eng..

[5]  Polle Zellweger,et al.  The structure of Cedar , 1985, ACM SIGPLAN Notices.

[6]  Atul Prakash,et al.  GENESIS: AN INTEGRATED ENVIRONMENT FOR SUPPORTING DEVELOPMENT AND EVOLUTION OF SOFTWARE. , 1985 .

[7]  CeriS.,et al.  Software Prototyping by Relational Techniques , 1988 .

[8]  David W. Binkley,et al.  Interprocedural slicing using dependence graphs , 1990, TOPL.

[9]  Anas N. Al-Rabadi,et al.  A comparison of modified reconstructability analysis and Ashenhurst‐Curtis decomposition of Boolean functions , 2004 .

[10]  Thomas Reps,et al.  The synthesizer generator , 1984 .

[11]  Giuseppe Liotta,et al.  A tailorable and extensible automatic layout facility , 1991, Proceedings 1991 IEEE Workshop on Visual Languages.

[12]  Andrea Maggiolo-Schettini,et al.  Web Structures: A Tool for Representing and Manipulating Programs , 1988, IEEE Trans. Software Eng..

[13]  A. Nico Habermann,et al.  Software Development Environments , 1987, Computer.

[14]  David Notkin,et al.  Gandalf: Software development environments , 1986, IEEE Transactions on Software Engineering.

[15]  Steven P. Reiss.  Graphical program development with PECAN program development systems , 1984 .

[16]  David B. Leblang,et al.  Computer-Aided Software Engineering in a distributed workstation environment , 1984 .

[17]  Edsger W. Dijkstra,et al.  Letters to the editor: go to statement considered harmful , 1968, CACM.

[18]  Larry Masinter,et al.  The Interlisp Programming Environment , 1981, Computer.

[19]  Bernard Lang,et al.  Programming Environments Based on Structured Editors: The MENTOR Experience, , 1980 .

[20]  Dan Jonsson.  Next: the elimination of Goto-patches? , 1989, SIGP.

[21]  Guido Persch.  Automating the transformational development of software , 1987 .