The design of a PDL environment

The need to improve software productivity and reliability has become an area of increasing importance to the software engineering community. During the early processes of the software life cycle, there is a strong need to emphasize the use of tools which provide a representation of the program structure that can be easily understood and modified. Thus, a significant usage of Program Design Languages (PDLs) as a design tool in software engineering environments has surfaced in recent years. This paper discusses the desired characteristics of such a design tool and highlights the shortcomings of existing PDLs. Finally, we discuss the design of a PDL environment which overcomes many of the shortcomings associated with existing PDLs.

[1]  Maurice H. Halstead,et al.  Elements of software science (Operating and programming systems series) , 1977 .

[2]  Walter F. Tichy.  Software Development Control Based On System Structure Description , 1980 .

[3]  Otthein Herzog,et al.  SLAN-4-A software specification and design language , 1980, IEEE Transactions on Software Engineering.

[4]  Bill P. Buckles.  Formal module level specifications , 1977, ACM '77.

[5]  Daryl Pregibon,et al.  An analysis of static metrics and faults in C software , 1985, J. Syst. Softw..

[6]  Atul Prakash,et al.  Programming in the large , 1986, IEEE Transactions on Software Engineering.

[7]  Jean E. Sammet,et al.  PDL/Ada: a design language based on Ada , 1982, ALET.

[8]  Boris Beizer,et al.  Software System Testing and Quality Assurance , 1984 .

[9]  James F. Stay.  HIPO and Integrated Program Design , 1976, IBM Syst. J..

[10]  Maurice H. Halstead,et al.  Elements of software science , 1977 .

[11]  Michael B. Jones,et al.  Matchmaker: an interface specification language for distributed processing , 1985, POPL.

[12]  Michael E. Atwood,et al.  Flowcharts versus program design languages: an experimental comparison , 1983, CACM.

[13]  A StandishThomas.  Interactive Ada in the Arcturus environment , 1983 .

[14]  Andrew Shenq-Yen Wang,et al.  The estimation of software size and effort: an approach based on the evolution of software metrics (measurement) , 1984 .

[15]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[16]  Edmund B. Daly.  Management of Software Development , 1977, IEEE Transactions on Software Engineering.

[17]  Barry W. Boehm,et al.  Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.

[18]  D. Potier,et al.  Experiments with computer software complexity and reliability , 1982, ICSE '82.

[19]  William B. Frakes,et al.  Software reuse through information retrieval , 1986, SIGF.

[20]  Stephen H. Caine,et al.  PDL: a tool for software design , 1975, AFIPS '75.

[21]  B. Shneiderman,et al.  Flowchart techniques for structured programming , 1973, SIGP.

[22]  Michael Jackson,et al.  Principles of program design , 1975 .

[23]  Deborah A. Boehm-Davis,et al.  An Empirical Evaluation of Language-Tailored PDLS , 1982 .

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

[25]  Paul Rook,et al.  Controlling software projects , 1986, Softw. Eng. J..

[26]  Walter F. Tichy.  Software development control based on module interconnection , 1979, ICSE 1979.

[27]  Stephen M. Thebaut,et al.  The saturation effect in large-scale software development: its impact and control , 1983 .

[28]  M. M. Lehman.  The software engineering environment , 1979 .

[29]  S. Zeldin,et al.  High order software - A methodology for defining software , 1975 .

[30]  Thomas E. Bell,et al.  An Extendable Approach to Computer-Aided Software Requirements Engineering , 1976, IEEE Transactions on Software Engineering.

[31]  Douglas T. Ross,et al.  Software design using: SADT , 1977, ACM Annual Conference.

[32]  Walter F. Tichy.  Software Development Based on Module Interconnection , 1979, ICSE.

[33]  Jean E. Sammet,et al.  PDL/Ada—a design language based on Ada , 1981, ACM '81.

[34]  Thomas A. Standish.  Interactive Ada#8482; in the Arcturus environment , 1983, ALET.

[35]  Pearl Brereton,et al.  Software engineering environments , 1988 .

[36]  S. Zeldin,et al.  Higher Order Software—A Methodology for Defining Software , 1976, IEEE Transactions on Software Engineering.

[37]  Otthein Herzog,et al.  SLAN-4: A Language for the Specification and Design of Large Software Systems , 1983, IBM J. Res. Dev..

[38]  Herbert E. Dunsmore,et al.  A Survey of Program Design Languages (PDLs) , 1985 .

[39]  David Lorge Parnas,et al.  Review of David L. Parnas' "Designing Software for Ease of Extension and Contraction" , 2004 .

[40]  William E. Beregi.  Architecture Prototyping in the Software Engineering Environment , 1984, IBM Syst. J..

[41]  Kenneth S. Hendis.  Quantifying software quality , 1981, ACM '81.

[42]  C. Zheng,et al.  ; 0 ; , 1951 .

[43]  P. D. Ting,et al.  An Insider's Survey on Software Development , 1982, ICSE '82.