%A D.J. Reifer %T The smart stub as a software management tool %J SIGSOFT Software Engineering Notes %K SEN %V 1 %N 2 %D October 1976 %P 4-8 %A D.L. Parnas %A L. Robinson %A J.C. King %T Language design for reliable software %J SIGSOFT Software Engineering Notes %K SEN %V 2 %N 3 %D April 1977 %P 5-21 %A I.K. Wendel %A R.L. Kleir %T Fortran error detection through static analysis %J SIGSOFT Software Engineering Notes %K SEN %V 2 %N 3 %D April 1977 %P 22-28 %A W.E. Riddle %A J.H. Sayler %A A.R. Segal %A J. Wileden %T An introduction to the dream software design system %J SIGSOFT Software Engineering Notes %K SEN %V 2 %N 4 %D July 1977 %P 11-23 %A E.W. Dijkstra %T A position paper on software reliability %J SIGSOFT Software Engineering Notes %K SEN %V 2 %N 5 %D October 1977 %P 3-5 %A D.I. Good %T Constructing verified and reliable communications systems %J SIGSOFT Software Engineering Notes %K SEN %V 2 %N 5 %D October 1977 %P 8-13 %A R.L. Brown %A P.G. Tuttle %T High-level language utilization of special hardware features %J SIGSOFT Software Engineering Notes %K SEN %V 2 %N 5 %D October 1977 %P 14-20 %A D. Gelperin %T Testing maintainability %J SIGSOFT Software Engineering Notes %K SEN %V 4 %N 2 %D April 1979 %P 7-12 %A R.E. Fairley %T MSE79: second draft of a master's curriculum in software engineering %J SIGSOFT Software Engineering Notes %K SEN %V 4 %N 2 %D April 1979 %P 13-16 %A R. Hamlet %T Florida testing workshop %J SIGSOFT Software Engineering Notes %K SEN %V 4 %N 2 %D April 1979 %P 17-18 %A W.G. Bail %T User experience %J SIGSOFT Software Engineering Notes %K SEN %V 4 %N 3 %D July 1979 %P 7-14 %O Specifications for Reliable Software, Panel Report %A K. Heninger %T Why not more progress ? %J SIGSOFT Software Engineering Notes %K SEN %V 4 %N 3 %D July 1979 %P 15-16 %O Specifications for Reliable Software, Panel Report %A P. Zave %T Approaches to specification %J SIGSOFT Software Engineering Notes %K SEN %V 4 %N 3 %D July 1979 %P 17-18 %O Specifications for Reliable Software, Panel Report %A M. Ardis %T What next ? %J SIGSOFT Software Engineering Notes %K SEN %V 4 %N 3 %D July 1979 %P 19-21 %O Specifications for Reliable Software, Panel Report %A D. Marca %T A method for specifying structured programs %J SIGSOFT Software Engineering Notes %K SEN %V 4 %N 3 %D July 1979 %P 22-31 %A T. Gilb %T Comment on "Testing maintainability" by David Gelperin %J SIGSOFT Software Engineering Notes %K SEN %V 4 %N 3 %D July 1979 %P 32-33 %A J.J. Horning %T A note on program reliability %J SIGSOFT Software Engineering Notes %K SEN %V 4 %N 4 %D October 1979 %P 6-8 %A R.G. Babb %A L.L. Tripp %T An approach to defining areas within the field of software engineering %J SIGSOFT Software Engineering Notes %K SEN %V 4 %N 4 %D October 1979 %P 9-17 %A J.E. Emery %T Small-scale software components %J SIGSOFT Software Engineering Notes %K SEN %V 4 %N 4 %D October 1979 %P 18-21 %A P. Schorer %T A program testing problem %J SIGSOFT Software Engineering Notes %K SEN %V 4 %N 4 %D October 1979 %P 22 %A P.M. Cashman %A A.W. Holt %T A communication-oriented approach to structuring the software maintenance environment %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 1 %D January 1980 %P 4-17 %A J.V. Giordano %T Some verification problems in pascal-like languages %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 1 %D January 1980 %P 18-27 %A M. Gasser %A J.K. Millen %A W.F. Wilson %T A note on information flow into arrays %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 1 %D January 1980 %P 28 %A R.G. Babb %A L.L. Tripp %T Correction: "An approach to defining areas within the field of software engineering" %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 1 %D January 1980 %P 29 %T Some computer anecdotes from 7SOSP %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 1 %D January 1980 %P 30-35 %A K. Foster %T A comment on W. Polak's "An exercise in automatic program verification" %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 1 %D January 1980 %P 36 %A W. Polak %T A response to K. Foster from W. Polak %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 1 %D January 1980 %P 37-38 %A J.R. Rice %T A letter concerning P. Schorer's and R.L. Glass' contributions in the previous issue %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 1 %D January 1980 %P 39 %A P. Wegner %T The Ada language and environment %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 2 %D April 1980 %P 8-14 %A D.E. Denning %T Embellishments to the note on information flow into arrays %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 2 %D April 1980 %P 15-16 %A D. Gries %T Eliminating the chaff, a sermon %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 2 %D April 1980 %P 17-21 %A M. Pechura %T Programming as engineering: insights and comparisons %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 2 %D April 1980 %P 22-25 %A R.L. Glass %T A benefit analysis of some software reliability methodologies %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 2 %D April 1980 %P 26-33 %A M.M. Tanik %T Software development monitoring graphs %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 2 %D April 1980 %P 34-37 %A P. Schorer %T More on "A program testing problem" %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 2 %D April 1980 %P 38-39 %A D. Good %T Summary: verification environments %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 5 %A B. Boyer %T Summary: theorem provers %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 5 %A K. Levitt %T Summary: methodology and specifications %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 6 %A S. Gerhart %T Summary: verifying systems and networks %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 6-7 %A J. Millen %T Summary: formal models and security %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 7 %A P. Neumann %T Summary: conclusions %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 7-8 %A S.T. Walker %T Thoughts on the impact of verification technology on trusted computer systems (and vice versa) %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 8 %A V.G. Cerf %A W.E. Carlson %A L.E. Druffel %T DARPA interests in applications of program verification %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 9 %A K.N. Levitt %A P.G. Neumann %T An overview of SRI work in verification %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 9-11 %A G.A. Haynes %T Position paper on program verification %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 11-12 %A D. Craigen %A D. Bonyun %T Two projects in program verification %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 12-13 %A R.M. Cohen %T A review of the Gypsy verification environment %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 13 %A S. German %A F. von Henke %A D. Luckham %A D. Oppen %A W. Polak %T Program verification at Stanford %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 13-16 %A B. Boyer %A J. Moore %T The fortran verification system %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 16-17 %A M. Moriconi %T Toward incremental and language-independent program verification systems %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 17-18 %A S.D. Crocker %T Toward practical verification systems %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 18-20 %A D. Thompson %T User interfaces, user models, and user habitability %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 21-22 %A D.I. Good %T The problem with program verification is computer science %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 22-23 %A J. Moore %T A statement of position %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 23-24 %A A. Cohn %T Remarks on machine proof %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 24-26 %A B. Boyer %A J. Moore %T A theorem-proving for recursive functions %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 26-27 %A D.R. Musser %T The unique termination method of program verification %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 27-28 %A V.R. Pratt %T Modeling as a paradigm for verification %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 28-29 %A J. Goguen %T Thoughts on the specification, design and verification %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 29-33 %A J. Keeton-Williams %T Needed: verifiable guidelines on how to design a methodology %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 33 %A J. Scheid %T INA JO: SDC's formal development methodology %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 33-34 %A S. Owicki %A L. Lamport %T Concurrent program verification %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 34-36 %A G.V. Bochmann %T On the construction of submodule specifications %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 36 %A D. Kemmerer %A B. Walker %A G. Popek %T Retrospective: verification experiences with the UCLA operating system kernel %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 36-38 %A S.L. Gerhart %T Applications of affirm to protocol specification and verification %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 38 %A D.I. Good %T A verified distributed system %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 38-40 %A R.A. Kemmerer %A M. Schaefer %T Applications of SDC's formal development methodology %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 40 %A W.E. Boebert %T Formal verification of embedded software %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 41-42 %A M. Corasick %T Mitre computer security verification activities %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 42 %A J.K. Millen %T Verification of security properties %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 42-43 %A S.R. Ames %A J.G. Keeton-Williams %T Excerpts from demonstrating security for trusted applications on a security kernel base %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 43-44 %A R.J. Feiertag %T Automated proof of multilevel security %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 44-46 %A C. Landwehr %T Assertions for verification of multi-level secure military message systems %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 46-47 %A R.L. Glass %T The importance of the individual %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 48-50 %A D.E. Hamilton %T If we're on first, what's on second ? %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 51 %A D.E. Hamilton %T Comments on David Gries' sermon, "Eliminating the chaff": (Zen and the art of chaffing?) %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 52 %A P. Schorer %A R.L. Glass %T Still more on "A program testing problem" %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 3 %D July 1980 %P 52 %A D. Golden %T A plea for friendly software %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 4 %D October 1980 %P 4 %A D.E. Hamilton %T Don't look back, something's gaining on us %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 4 %D October 1980 %P 5-8 %A G. Perlman %T Comments on R.L. Glass' "The importance of the individual" %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 4 %D October 1980 %P 9 %A M.M. Tanik %T A comparison of program complexity prediction models %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 4 %D October 1980 %P 10-16 %A M.A. Hennell %A W.M. McNicol %A J. Hawkins %T The static analysis of Cobol programs %J SIGSOFT Software Engineering Notes %K SEN %V 5 %N 4 %D October 1980 %P 17-25 %A E.W. Dijkstra %T American programming's plight %J SIGSOFT Software Engineering Notes %K SEN %V 6 %N 1 %D January 1981 %P 5 %A E.C. Rosen %T Vulnerabilities of network control protocols: an example %J SIGSOFT Software Engineering Notes %K SEN %V 6 %N 1 %D January 1981 %P 6-8 %A J.C. King %T Program reduction using symbolic evaluation %J SIGSOFT Software Engineering Notes %K SEN %V 6 %N 1 %D January 1981 %P 9-13 %A S.E. Goodman %T An experiment in software engineering %J SIGSOFT Software Engineering Notes %K SEN %V 6 %N 1 %D January 1981 %P 15 %A P. Neumann %A S. Gerhart %T Reportage on 5th ICSE in San Diego %J SIGSOFT Software Engineering Notes %K SEN %V 6 %N 2 %D April 1981 %P 5-7 %A Y. Mano %A K. Omaki %A K. Torii %T An intelligent multi-display terminal system - towards a better programming environment %J SIGSOFT Software Engineering Notes %K SEN %V 6 %N 2 %D April 1981 %P 8-14 %A P.E. Schilling %T A program model for design %J SIGSOFT Software Engineering Notes %K SEN %V 6 %N 2 %D April 1981 %P 15-16 %A D.E. Hamilton %T We have met the enemy and she is us - a mixup'd search for portable software %J SIGSOFT Software Engineering Notes %K SEN %V 6 %N 2 %D April 1981 %P 18-22 %A Donn B. Parker %T Telecommunications security and privacy; testimony before the Subcommittee on Transportation, Aviation and Materials, Committee on Science and Technology, United States House of Representatives %J SIGSOFT Software Engineering Notes %K SEN %V 8 %N 5 %D October 1983 %P 10-17 %A Geoffrey S. Goodfellow %T Telecommunications security and privacy; testimony before the Subcommittee on Transportation, Aviation and Materials, Committee on Science and Technology, United States House of Representatives %J SIGSOFT Software Engineering Notes %K SEN %V 8 %N 5 %D October 1983 %P 18-23 %A Mike Adler %A Michael A. Gray %T A formalization of Myers cause-effect graphs for unit testing %J SIGSOFT Software Engineering Notes %K SEN %V 8 %N 5 %D October 1983 %P 24-32 %A H. Krcmar %T Organizational aspects of software penetration in industry %J SIGSOFT Software Engineering Notes %K SEN %V 8 %N 5 %D October 1983 %P 33 %A Mario Bolognani %A Sergio de\ Julio %T A Master on software engineering degree in Southern Italy %J SIGSOFT Software Engineering Notes %K SEN %V 8 %N 5 %D October 1983 %P 37-39 %A Kenneth A. Foster %T Comment on "The application of error-sensitive testing strategies to debugging" %J SIGSOFT Software Engineering Notes %K SEN %V 8 %N 5 %D October 1983 %P 40-42 %A Bertrand Meyer %T Some mistakes are worse than others %J SIGSOFT Software Engineering Notes %K SEN %V 8 %N 5 %D October 1983 %P 43-48 %A Clifton C. Dutton %T Requirements tools: phase I in a software development methodology %J SIGSOFT Software Engineering Notes %K SEN %V 9 %N 1 %D January 1984 %P 19-25 %A Lori A. Clarke %A Debra J. Richardson %T A reply to Foster's "Comment on 'The application of error-sensitive testing strategies to debugging'" %J SIGSOFT Software Engineering Notes %K SEN %V 9 %N 1 %D January 1984 %P 24-28 %A Alain J. Martin %T On David Gries's plateau problem %J SIGSOFT Software Engineering Notes %K SEN %V 9 %N 1 %D January 1984 %P 29-30 %A Kenneth Magel %T Principles for software environments %J SIGSOFT Software Engineering Notes %K SEN %V 9 %N 1 %D January 1984 %P 32-35 %A Kenneth Magel %T The user-definable interface project %J SIGSOFT Software Engineering Notes %K SEN %V 9 %N 1 %D January 1984 %P 36-40 %A Ned Chapin %T Software maintenance with fourth-generation languages %J SIGSOFT Software Engineering Notes %K SEN %V 9 %N 1 %D January 1984 %P 41-42 %A Kris A. Jamsa %T Object oriented design vs structured design - a student's perspective %J SIGSOFT Software Engineering Notes %K SEN %V 9 %N 1 %D January 1984 %P 43-49 %A Hans Janssens %T The strange power of Fortran: a very short calendar printing program %J SIGSOFT Software Engineering Notes %K SEN %V 9 %N 1 %D January 1984 %P 50-51 %A William E. Riddle %T Report on the Software Process Workshop %J SIGSOFT Software Engineering Notes %K SEN %V 9 %N 2 %D April 1984 %P 13-20 %A William E. Riddle %T The magic number eighteen plus or minus three: a study of software technology maturation %J SIGSOFT Software Engineering Notes %K SEN %V 9 %N 2 %D April 1984 %P 21-37 %A M.M. Lehman %A V. Stenning %A W.M. Turski %T Another look at software design methodology %J SIGSOFT Software Engineering Notes %K SEN %V 9 %N 2 %D April 1984 %P 38-53 %A R.C. Shaw %A P.N. Hudson %A N.W. Davis %T Introduction of a formal technique into a software development environment (early observations) %J SIGSOFT Software Engineering Notes %K SEN %V 9 %N 2 %D April 1984 %P 54-79 %A Jorge L. Diaz-Herrera %T Pragmatic problems with step-wise refinement program development %J SIGSOFT Software Engineering Notes %K SEN %V 9 %N 2 %D April 1984 %P 80-88 %A Mee-Yee Chan %A Siu-Yuen Yam %T A program testing assistant for Basic-Plus %J SIGSOFT Software Engineering Notes %K SEN %V 9 %N 2 %D April 1984 %P 89-103 %A Tom Gilb %T Software engineering: using "desing objectives" tools (DBO) %J SIGSOFT Software Engineering Notes %K SEN %V 9 %N 2 %D April 1984 %P 104-113 %A Girish Parikh %T What is software maintenance really ? what is in a name ? %J SIGSOFT Software Engineering Notes %K SEN %V 9 %N 2 %D April 1984 %P 114-115 %A Girish Parikh %T Software maintenance lab %J SIGSOFT Software Engineering Notes %K SEN %V 9 %N 2 %D April 1984 %P 116 %A Vijay Kumar Garg %T Screen-oriented high-level debugger (SHD) for Pascal %J SIGSOFT Software Engineering Notes %K SEN %V 9 %N 2 %D April 1984 %P 117-125 %A Kenneth A. Foster %T A reply to a reply ... %J SIGSOFT Software Engineering Notes %K SEN %V 9 %N 2 %D April 1984 %P 126 %A Andrew E. Yiannakos %T Quality assurance and quality control in the software development process %J SIGSOFT Software Engineering Notes %K SEN %V 9 %N 2 %D April 1984 %P 130-132 %A Harlan K. Seyfer %T Verification, validation, and testing: a bibliography of bibliographies & TOCs of bound works %J SIGSOFT Software Engineering Notes %K SEN %V 9 %N 2 %D April 1984 %P 133-144 %A Pamela Zave %T An overview of the PAISLey project - 1984 %J SIGSOFT Software Engineering Notes %K SEN %V 9 %N 4 %D July 1984 %P 12-19 %A Stanley Lee %A Suzanne Sluizer %T Report on the Panel on Software Engineering and Social Responsibility at the Seventh International Conference on Software Engineering %J SIGSOFT Software Engineering Notes %K SEN %V 9 %N 4 %D July 1984 %P 20-21 %A Peter Freeman %A Anthony I. Wasserman %A Raymond C. Houghton,\ Jr. %T Comparing software development methodologies for Ada: a study plan %J SIGSOFT Software Engineering Notes %K SEN %V 9 %N 4 %D July 1984 %P 22-55 %A Dave Brown %T My accordian's stuffed full of paper - or - why we did so badly in the design phase %J SIGSOFT Software Engineering Notes %K SEN %V 9 %N 4 %D July 1984 %P 58-60 %A Dick Dunn %T Two observations on large software projects %J SIGSOFT Software Engineering Notes %K SEN %V 9 %N 5 %D October 1984 %P 8-10 %A Marvin V. Zelkowitz %T A taxonomy of prototype designs %J SIGSOFT Software Engineering Notes %K SEN %V 9 %N 5 %D October 1984 %P 11-12 %A Scott H. Costello %T Software engineering under deadline pressure %J SIGSOFT Software Engineering Notes %K SEN %V 9 %N 5 %D October 1984 %P 15-19 %A Antonio Kung %A Michael Ian Thomas %T Applying a generalized host/target concept for developing subsystems in Pascal %J SIGSOFT Software Engineering Notes %K SEN %V 9 %N 5 %D October 1984 %P 20-22 %A Rafael Bonet %A Antonio Kung %T Structuring into subsystems: the experience of a prototyping approach %J SIGSOFT Software Engineering Notes %K SEN %V 9 %N 5 %D October 1984 %P 23-27 %A Mark K. Joseph %T Programming with small blocks %J SIGSOFT Software Engineering Notes %K SEN %V 9 %N 5 %D October 1984 %P 28-42 %A Herbert Weber %T The distributed development system - a monolithic software development environment %J SIGSOFT Software Engineering Notes %K SEN %V 9 %N 5 %D October 1984 %P 43-72 %A Neil W. Rickert %T The parable of the two programmers %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 1 %D January 1985 %P 16-18 %A J.L. Lawrence %T Why is software always late ? %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 1 %D January 1985 %P 19-30 %A J.L. Lawrence %T The RC2000: a software success story %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 1 %D January 1985 %P 31-42 %A Bruce Blum %T Understanding the software paradox %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 1 %D January 1985 %P 43-47 %A Dennis P. Geller %T B-ware - contradictions in a software development plan %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 1 %D January 1985 %P 48-51 %A Lars Olenfeldt %T Object/event analysis %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 1 %D January 1985 %P 52-57 %A K.A. Foster %T Revision of an error sensitive test rule %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 1 %D January 1985 %P 58-67 %A W.D. Mauer %T The parable of the two programmers, continued %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 2 %D April 1985 %P 19-21 %A Tim E. Barrios %T The parable of the two programmers - still more %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 2 %D April 1985 %P 21-22 %A Graham Tate %A Thomas W.G. Docker %T A rapid prototyping system based on data flow principles %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 2 %D April 1985 %P 28-34 %A Neil W. Rickert %T A system for managing shared files %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 2 %D April 1985 %P 35-40 %A Patrick H. Loy %T System partitioning: a critical and often belittled development phase %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 2 %D April 1985 %P 41-44 %A Dick Dunn %T The emerging social significance of the magnetic-tape write-enable ring %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 2 %D April 1985 %P 47-50 %A David P. Schwartz %T Summary of IEEE CSM WG meeting #5, 23-25 Jan 85 %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 2 %D April 1985 %P 51-57 %A Girish Parikh %T Software maintenance news %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 2 %D April 1985 %P 58-59 %A Raymond C. Houghton,\ Jr. %T Annotated bibliography of recent papers on software development environments %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 2 %D April 1985 %P 62-76 %A Jerrold Heyman %A William M. Lively %T Syntax-directed editing revisited %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 3 %D July 1985 %P 24-27 %A Jeff Parker %T Towards more intelligent programming environments %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 3 %D July 1985 %P 28-32 %A Les Belady %A Charles Richter %T The MCC software technology program %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 3 %D July 1985 %P 33-36 %A Vijay Kumar Garg %T Functional composition - a mechanism to compose programs %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 3 %D July 1985 %P 37-39 %A R.D. Penteado %A P.C. Masiero %A F.S. Germano %T Structure charts for Jackson system development %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 3 %D July 1985 %P 40-46 %A Mark Spinrad %A Curt Abraham %T The Wild-West lifecycle (WILI) %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 3 %D July 1985 %P 47-48 %A Tom Gilb %T Evolutionary delivery versus the "waterfall model" %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 3 %D July 1985 %P 49-61 %A Rudy Bazelmans %T Productivity - the role of the tools group %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 3 %D July 1985 %P 63-75 %A Robert G. Reynolds %T PARTIAL: a tool to monitor the stepwise refinement of Ada programs %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 3 %D July 1985 %P 76-94 %A Jean Renard Ward %T Unix as an environment for non-Unix software development; a case history %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 3 %D July 1985 %P 95-108 %A David Lorge Parnas %T Software aspects of strategic defense systems %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 5 %D October 1985 %P 15-23 %A Jim Horning %T Computing support of battle management %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 5 %D October 1985 %P 24-27 %A Martin J. Moore %T Software engineering and SDI %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 5 %D October 1985 %P 28 %E David Weiss %T Strategic Defense Initiative software feasibility (panel discussion at the 8th ICSE) %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 5 %D October 1985 %P 29 %A Kyu Y. Lee %T Response to Jum Horning's letter %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 5 %D October 1985 %P 30 %A Martha Branstad %A Leonard L. Tripp %T Summary of SESAW III %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 5 %D October 1985 %P 33-36 %K software engineering standards application workshop %A Rudy Bazelmans %T Evolution of configuration management %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 5 %D October 1985 %P 37-46 %A Vincent A. Mastro %T Three dimensional system development %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 5 %D October 1985 %P 47-59 %A Rajeev Aggarwal %T Management of dormant files %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 5 %D October 1985 %P 60-61 %A Jayashree Ramanathan %A John M. Rose %T TRIAD - beyond isolated systems for development-in-the-large and programming-in-the-small %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 5 %D October 1985 %P 62-72 %A Jayashree Ramanathan %A Robert Vermilyer %A Thorbjorn Anderson %A John M. Rose %T The use of a relational data base in method driven environments %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 5 %D October 1985 %P 73-78 %A Girish Parikh %T Discovering the world of software maintenance: selected readings %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 5 %D October 1985 %P 79-88 %A Girish Parikh %T Software maintenance: penny wise, pound foolish %J SIGSOFT Software Engineering Notes %K SEN %V 10 %N 5 %D October 1985 %P 89-98 %A David B. Benson %T The role of failure in successful design %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 1 %D January 1986 %P 15 %A Fletcher J. Buckley %T The search for software quality, or one more trip down the yellow brick road %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 1 %D January 1986 %P 16-18 %A Walter Tichy %T SDI software %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 1 %D January 1986 %P 20 %A Mitchell D. Lubars %T Code reusability in the large versus code reusability in the small %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 1 %D January 1986 %P 21-28 %A Stan Skelton %T Measurements of migratability and transportability %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 1 %D January 1986 %P 29-34 %A James V. Chelini %A Edmund B. Hudson %A Stephen M. Reidy %T A preliminary study of Ada expansion ratios %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 1 %D January 1986 %P 35-46 %A Tom Gilb %T Third International Workshop on Software Specification and Design %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 1 %D January 1986 %P 47-48 %A Tom Gilb %T Estimating software attributes: some unconventional points of view %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 1 %D January 1986 %P 49-59 %A F. Buckley %T A review of the quality aspects of the approved software engineering standards %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 1 %D January 1986 %P 60-63 %A Reza Pazirandeh %T Test plan methodology %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 1 %D January 1986 %P 64-72 %A William E. Riddle %T Software Environments Workshop report %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 1 %D January 1986 %P 73-102 %A Ira Pohl %T SDI software: AI is not the answer %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 2 %D April 1986 %P 18-19 %A Osamu Iseki %A Ben Shneiderman %T Applying direct manipulation concepts: direct manipulation disk operating system (DMDOS) %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 2 %D April 1986 %P 22-26 %A I.W. Pirie %T The LIFESPAN system %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 2 %D April 1986 %P 27-28 %A P. Lempp %T A possibility to make project progress visible: the progress diagram within the EPOS-system %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 2 %D April 1986 %P 32-35 %A Richard J. Botting %T Into the fourth dimension - an introduction to dynamic analysis and design %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 2 %D April 1986 %P 36-48 %A Girish Parikh %T Exploring the world of software maintenance I. what is software maintenance ? %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 2 %D April 1986 %P 49-52 %A Girish Parikh %T The new world of "AI-system" (artificial intelligence in software maintenance) %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 2 %D April 1986 %P 53-56 %A Catherine W. McDonald %A William Riddle %A Christine Youngblut %T STARS methodology area summary, volume II: preliminary views on the software life cycle and methodology selection %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 2 %D April 1986 %P 58-85 %A John J. Jordan %T The neo-classical Napoleonic method of project management %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 3 %D July 1986 %P 26-36 %A Marvin Early %T Relating software requirements to software design %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 3 %D July 1986 %P 37-39 %A Jack W. Crenshaw %T Comment on "A preliminary study of Ada expansion ratios" %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 3 %D July 1986 %P 42-43 %A Gary Perlman %T Coding quality tools in programming methods - a report on tool novelty and usefulness %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 3 %D July 1986 %P 44-50 %A Karsten Schwan %A Jim Matthews %T Graphical views of parallel programs %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 3 %D July 1986 %P 51-64 %A V.E. Church %A D.N. Card %A W.W. Agresti %A Q.L. Jordan %T An approach for assessing software prototypes %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 3 %D July 1986 %P 65-76 %A Dan Conde %T Bibliography on version control and configuration management %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 3 %D July 1986 %P 81-85 %A Jim Galbraith %T Softool users' group meeting attracts industry leaders %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 3 %D July 1986 %P 86-86 %A R.L. Van Tilburg %A David P. Schwartz %T Final status on the IEE guide to software configuration management (P1042) %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 3 %D July 1986 %P 87 %A Girish Parikh %T Exporing the world of software maintenance II: sex and software maintenance: the taboo topics %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 3 %D July 1986 %P 88-92 %A Mark Dowson %T The structure of the software process %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 4 %D August 1986 %P 5-10 %A Jack C. Wileden %T This is IT: a meta-model of the software process %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 4 %D August 1986 %P 11-16 %A Michael Evangelist %A J.F. Pellegrin %T Foundational problems in software process research %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 4 %D August 1986 %P 17-20 %A Barry W. Boehm %T A spiral model of software development and enhancement %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 4 %D August 1986 %P 22-42 %A B.I. Blum %T Thoughts on the software process %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 4 %D August 1986 %P 43-45 %A Mark Dowson %T Position paper %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 4 %D August 1986 %P 46-47 %A M.M. Lehman %T Approach to a disciplined development process - the ISTAR integrated project support environment %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 4 %D August 1986 %P 49-60 %A Sol J. Greenspan %T On the role of domain knowledge in knowledge-based approaches to software development %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 4 %D August 1986 %P 61-65 %A S. Jahnichen %A G. Goos %T Towards an alternative model for software developments %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 4 %D August 1986 %P 66-70 %A Bill Curtis %T Position paper %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 4 %D August 1986 %P 71-74 %A Charles A. Richter %T An assessment of structured analysis and structured design %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 4 %D August 1986 %P 75-83 %A Naoki Yonezaki %A Hajime Enomoto %A Motoshi Saeki %T Logical environment for natural language approach %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 4 %D August 1986 %P 84-90 %A E.D. Callender %T A meta-model for the software processes %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 4 %D August 1986 %P 91-92 %A Pamela Zave %T Let's put more emphasis on prescriptive methods %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 4 %D August 1986 %P 98-100 %A Mark A. Ardis %T Comparison of algebraic and state-machine specification methods %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 4 %D August 1986 %P 101-105 %A Stephanie White %T Two embedded computer system requirements models issues for investigation %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 4 %D August 1986 %P 106-112 %A Jon Bentley %T The role of performance in the software process %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 4 %D August 1986 %P 113 %A Aloysius K. Mok %T The Von Neumann straitjacket - the process construct %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 4 %D August 1986 %P 114-119 %A Robert Balzer %T Program enhancement: a position paper %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 4 %D August 1986 %P 125-129 %A Naftaly H. Minsky %T What should we do about the evolution of software - a position paper %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 4 %D August 1986 %P 130-133 %A Dewayne E. Perry %T Position paper: tools for evolving software %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 4 %D August 1986 %P 134-135 %A Mitchell D. Lubars %T Affording higher reliability through software reusability %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 5 %D October 1986 %P 39-42 %A Gregory McFarland %T The benefots of bottom-up design %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 5 %D October 1986 %P 43-51 %A T.H. Tse %A L. Pong %T An application of Petri nets in structured analysis %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 5 %D October 1986 %P 53-56 %A Edward Winters %T Requirements checklist for a system development workstation %J SIGSOFT Software Engineering Notes %K SEN %V 11 %N 5 %D October 1986 %P 57-62 %A S.S. Brilliant %A N.G. Leveson %T The consistent comparison problem in N-version software %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 1 %D February 1987 %P 29-34 %A Juhani Iivari %T A hierarchical spiral model for the software process: notes on Boehm's spiral model %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 1 %D February 1987 %P 35-37 %A Sharam Hekmapour %T Experience with evolutionary prototyping in a large software project %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 1 %D February 1987 %P 38-41 %A M. Ratclife %T Report on a workshop on software reuse held at Hereford, UK on 1,2 May 1986 %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 1 %D February 1987 %P 42-47 %A Jim Galbraith %T Softool users' group meets %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 1 %D February 1987 %P 48 %A B.I. Blum %T GAO report FGMSD-80-4 revisited %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 1 %D February 1987 %P 49-50 %A Peter Coad,\ Jr. %T Design approaches and DoD-STD-2167 %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 1 %D February 1987 %P 50 %A Peter B. Henderson %T Software development/programming environments %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 1 %D February 1987 %P 51-52 %K PSDE %A M.M. Lehman %A W.M. Turski %T Essential properties of IPSEs %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 1 %D February 1987 %P 52-55 %A Karl Reed %T Practical software engineering environments: report on the ACM SIGSOFT/SIGPLAN Software Engineering Symposium %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 1 %D February 1987 %P 56-62 %A P. Soupos %A S. Goutas %A D. Christodoulakis %A C. Zaroliagis %T The Graspin DB - a software development environment database %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 1 %D February 1987 %P 63 %A Raymond C. Houghton,\ Jr. %A Dolores R. Wallace %T Characteristics and functions of software engineering environments: an overview %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 1 %D February 1987 %P 64-84 %A Nancy Leveson %T A scary tale - Sperry avionics module testing bites the dust ? %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 2 %D April 1987 %P 23-25 %A Paul V. Mannino %T A presentation and comparison of four information systems development methodologies %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 2 %D April 1987 %P 26-29 %A Patrick O. Bobbie %T Productivity through automated tools %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 2 %D April 1987 %P 30-31 %A Walter L. Johnson %T Some comments on coding practice %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 2 %D April 1987 %P 32-35 %A Dolores R. Wallace %T Planning for software verification and validation (abstract only) %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 2 %D April 1987 %P 37 %A Amitai Ritter %T Highlights of the new approach for structuring complex systems %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 2 %D April 1987 %P 38-42 %A Tom Gilb %A Lech Krzanik %T Design by objectives (DBO): a basis for automated software engineering design %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 2 %D April 1987 %P 42-49 %A Herb Krasner %T CSCW '86 conference summary report %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 2 %D April 1987 %P 50-51 %A Girish Parikh %T The several worlds of software maintenance - a proposed software maintenance taxonomy %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 2 %D April 1987 %P 51-53 %A Ian Sommerville %T Software engineering environments conference - 1986 %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 2 %D April 1987 %P 54-55 %A Stowe Bod %T Status of the DAPSE project: a distributed Ada programming support environment %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 2 %D April 1987 %P 56 %A Jack Goldberg %T Some principles and techniques for designing safe systems %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 3 %D July 1987 %P 17-19 %A Mikio Aoyama %T Concurrent development of software systems: a new development paradigm %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 3 %D July 1987 %P 20-24 %A J. Dahler %A P. Gerber %A H.-P. Gisiger %A A. Kundig %T A graphical tool for the design and prototyping of distributed systems %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 3 %D July 1987 %P 25-36 %A Ben Livson %T Future software development management system concepts %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 3 %D July 1987 %P 37-41 %A Fletcher J. Buckley %T The roles of a SQA person %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 3 %D July 1987 %P 42-44 %K software quality assurance, company spy, policeman, helper %A Peter Kokol %T Some applications of spreadsheet programs in software engineering %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 3 %D July 1987 %P 45-50 %A Patricia Huang %T Survey in software development %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 3 %D July 1987 %P 51-54 %A S.J. Pratt %T Catastrophe theory and software engineering %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 3 %D July 1987 %P 55-57 %A Curtis R. Cook %T Prototype software complexity metrics tool %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 3 %D July 1987 %P 58-60 %A Girish Parikh %T "Experter" - the generic term for an expert system %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 3 %D July 1987 %P 61 %A Michael Butterworth %T Another use of comments in coding practice %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 3 %D July 1987 %P 62 %A Jim Galbraith %T Softool users group meets %J SIGSOFT Software Engineering Notes %K SEN %V 12 %N 3 %D July 1987 %P 62-63