Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM SIGSOFT Software Engineering Notes, Volume 5
Volume 5, Number 1, January 1980
- Paul M. Cashman, Anatol W. Holt:
A communication-oriented approach to structuring the software maintenance environment. 4-17 - Joseph V. Giordano:
Some verification problems in Pascal-like languages. 18-27 - Morrie Gasser, Jonathan K. Millen, William F. Wilson:
A note on information flow into arrays. 28-29 - Correction to Babb and Tripp paper. 29
- Some computer anecdotes from among those submitted in connection with the 7th symposium on operating systems principles. 30-33
- Kenneth A. Foster:
A comment on: "An exercise in automatic program verification". 36-37 - Wolfgang Polak:
Response to K. Foster's letter. 37-38 - Abstracts in software engineering. 39-44
Volume 5, Number 2, April 1980
- Peter Wegner:
The Ada language and environment. 8-14 - Dorothy E. Denning:
Embellishments to the note on information flow into arrays. 15-16 - David Gries:
Eliminating the chaff. 17-21 - Michael A. Pechura:
Programming as engineering: insights and comparisons. 22-25 - Robert L. Glass:
A benefit analysis of some software reliability methodologies. 26-33 - Murat M. Tanik:
Software development monitoring graphs. 34-37 - Peter Schorer:
More from Pete Shorer. 38-39
Volume 5, Number 3, July 1980
- Workshop on formal verification: (VERkshop). 4-47
- Robert L. Glass:
The importance of the individual. 48-50 - Dennis E. Hamilton:
If we're on first, what's on second?: a mixware software engineering discussion problem. 51-52 - Peter Schorer:
Still more from Peter Schorer. 52 - Dennis E. Hamilton:
A comment on David Gries' "Sermon". 52
Volume 5, Number 4, October 1980
- Donald G. Golden:
A plea for friendly software. 4-5 - Dennis E. Hamilton:
Don't look back, something's gaining on us: more mixware software engineering metaphor. 5-8 - Gary Perlman:
Two high-level skills for programming: a comment on R. L. Glass' "The importance of the individual". 9 - Murat M. Tanik:
A comparison of program complexity prediction models. 10-16 - Michael A. Hennell, W. M. McNicol, J. Hawkins:
The static analysis of Cobol programs. 17-25
a service of 
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 2024-05-14 21:12 CEST 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:
