default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM SIGSOFT Software Engineering Notes, Volume 3
Volume 3, Number 1, January 1978
- Susan L. Gerhart:
A proposal for publication and exchange of program proofs. 7-17 - Karl Kleine:
Selected annotated bibliography on software engineering. 18-25 - Leslie Lamport:
State the problem before describing the solution. 26 - Linda M. Ottenstein:
Further validation of an error hypothesis. 27-28 - Abstracts in software engineering: part 5. 28-32
Volume 3, Number 2, April 1978
- Theodore A. Linden:
Specifying abstract data types by restriction. 7-13 - Edsger W. Dijkstra, Richard A. DeMillo, Richard J. Lipton, Alan J. Perlis:
On a political pamphlet from the middle ages. 14-16 - Richard A. DeMillo, Richard J. Lipton, Alan J. Perlis:
Response from R. A. DeMillo, R. J. Lipton, A. J. Perlis. 16-17 - H. J. Jeffrey:
On Dijkstra's position paper on software reliability. 18 - Thomas Gilkey:
Comment on Karl Kleine's "selected bibliography". 19 - Wladyslaw M. Turski, Anthony I. Wasserman:
Computer programming methodology. 20-21
Volume 3, Number 3, July 1978
- Herbert Harrell:
A note on methodological review. 5-7 - Harald Würges:
Some remarks on the use of abstract specifications for operating systems. 8-12 - Farshid Nourani:
A note on logic-oriented approaches to data abstraction. 13-15 - Theodore A. Linden:
On formal specifications and completeness: reply to Farshid Nourani. 15-17 - Steve Meyer:
Should computer programs be verified? 18-19 - Roger Van Ghent:
Letter on real software, regarding the commentary by Dijkstra and the reply by DeMillo, Lipton and Perlis. 20-21 - W. Douglas Maurer:
Another letter on the correctness of real programs. 22-24 - Theodore D. Lassagne:
Analysis is the key to better software design. 24-26 - Tom Gilb:
Multidimensional quantified goals should direct software design processes. 26-28 - Abstracts in software engineering: part 6. 31-33
Volume 3, Number 4, October 1978
- William E. Riddle, Jack C. Wileden:
Languages for representing software specifications and designs. 7-11 - John Parker:
A comparison of design methodologies. 12-19 - David Lorge Parnas:
Another view of the Dijkstra-dMLP controversy. 20-21 - Mary Shaw
:
Letter on lebesgue, logic, and program testing. 21 - William J. Raduchel:
Managing software development. 22-26 - Kathie Priebe:
Some ideas on review methodology. 27-29 - Marvin V. Zelkowitz:
Productivity measurement on software engineering projects. 30-31 - Abstracts in software engineering: part 6. 31-33
Volume 3, Number 5, November 1978
SIGMETRICS Performance Evaluation Review 7(3-4)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
