Software engineering tools

[1]  Margaret Hamilton,et al.  The functional life cycle model and its automation: USE.IT , 1983, J. Syst. Softw..

[2]  David Lorge Parnas,et al.  A technique for software module specification with examples , 1972, CACM.

[3]  Robert Balzer,et al.  Informality in Program Specifications , 1899, IEEE Transactions on Software Engineering.

[4]  Leon J. Osterweil,et al.  A Software Lifecycle Methodology and Tool Support , 1980 .

[5]  Tony Hoare,et al.  Hierarchical Program Structures , 1972 .

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

[7]  Anthony I. Wasserman,et al.  The future of programming , 1982, CACM.

[8]  Robert S. Boyer,et al.  Computational Logic , 1990, ESPRIT Basic Research Series.

[9]  Margaret Hamilton,et al.  The relationship between design and verification , 1979, J. Syst. Softw..

[10]  Charles R. Vick,et al.  The Software Development System , 1976, IEEE Transactions on Software Engineering.

[11]  Hartmut Ehrig,et al.  Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications , 1981, GI Jahrestagung.

[12]  H. C. Heacox,et al.  RDL: a language for software development , 1979, SIGP.

[13]  S. N. Gaulding,et al.  Process Design engineering a Methodology for Real-time Software development , 1976, ICSE '76.

[14]  William E. Howden.  Contemporary software development environments , 1982, CACM.

[15]  Barbara Liskov,et al.  Modular Program Construction Using Abstractions , 1979, Abstract Software Specifications.

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

[17]  Terry Winograd,et al.  Beyond programming languages , 1979, CACM.

[18]  John V. Guttag,et al.  Abstract data types and the development of data structures , 1977, CACM.

[19]  Ernest A. Hershey,et al.  PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems , 1976, IEEE Transactions on Software Engineering.

[20]  Peter P. Chen.  The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

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

[22]  Lawrence Robinson,et al.  Proof techniques for hierarchically structured programs , 1977, CACM.

[23]  Mack W. Alford.  A Requirements Engineering Methodology for Real-Time Processing Requirements , 1977, IEEE Transactions on Software Engineering.