Search dblp for Publications

export results for "toc:db/journals/sigsoft/sigsoft3.bht:"

 download as .bib file

@article{DBLP:journals/sigsoft/DeMilloLP78,
  author       = {Richard A. DeMillo and
                  Richard J. Lipton and
                  Alan J. Perlis},
  title        = {Response from R. A. DeMillo, R. J. Lipton, A. J. Perlis},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {3},
  number       = {2},
  pages        = {16--17},
  year         = {1978},
  url          = {https://doi.org/10.1145/1005888.1005891},
  doi          = {10.1145/1005888.1005891},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/DeMilloLP78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/DijkstraDLP78,
  author       = {Edsger W. Dijkstra and
                  Richard A. DeMillo and
                  Richard J. Lipton and
                  Alan J. Perlis},
  title        = {On a political pamphlet from the middle ages},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {3},
  number       = {2},
  pages        = {14--16},
  year         = {1978},
  url          = {https://doi.org/10.1145/1005888.1005890},
  doi          = {10.1145/1005888.1005890},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/DijkstraDLP78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Gerhart78,
  author       = {Susan L. Gerhart},
  title        = {A proposal for publication and exchange of program proofs},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {3},
  number       = {1},
  pages        = {7--17},
  year         = {1978},
  url          = {https://doi.org/10.1145/1010734.1010735},
  doi          = {10.1145/1010734.1010735},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Gerhart78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Ghent78,
  author       = {Roger Van Ghent},
  title        = {Letter on real software, regarding the commentary by Dijkstra and
                  the reply by DeMillo, Lipton and Perlis},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {3},
  number       = {3},
  pages        = {20--21},
  year         = {1978},
  url          = {https://doi.org/10.1145/1010751.1010757},
  doi          = {10.1145/1010751.1010757},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Ghent78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Gilb78,
  author       = {Tom Gilb},
  title        = {Multidimensional quantified goals should direct software design processes},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {3},
  number       = {3},
  pages        = {26--28},
  year         = {1978},
  url          = {https://doi.org/10.1145/1010751.1010760},
  doi          = {10.1145/1010751.1010760},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Gilb78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Gilkey78,
  author       = {Thomas Gilkey},
  title        = {Comment on Karl Kleine's "selected bibliography"},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {3},
  number       = {2},
  pages        = {19},
  year         = {1978},
  url          = {https://doi.org/10.1145/1005888.1005893},
  doi          = {10.1145/1005888.1005893},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Gilkey78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Harrell78,
  author       = {Herbert Harrell},
  title        = {A note on methodological review},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {3},
  number       = {3},
  pages        = {5--7},
  year         = {1978},
  url          = {https://doi.org/10.1145/1010751.1010752},
  doi          = {10.1145/1010751.1010752},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Harrell78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Jeffrey78,
  author       = {H. J. Jeffrey},
  title        = {On Dijkstra's position paper on software reliability},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {3},
  number       = {2},
  pages        = {18},
  year         = {1978},
  url          = {https://doi.org/10.1145/1005888.1005892},
  doi          = {10.1145/1005888.1005892},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Jeffrey78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Kleine78,
  author       = {Karl Kleine},
  title        = {Selected annotated bibliography on software engineering},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {3},
  number       = {1},
  pages        = {18--25},
  year         = {1978},
  url          = {https://doi.org/10.1145/1010734.1010736},
  doi          = {10.1145/1010734.1010736},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Kleine78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Lamport78,
  author       = {Leslie Lamport},
  title        = {State the problem before describing the solution},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {3},
  number       = {1},
  pages        = {26},
  year         = {1978},
  url          = {https://doi.org/10.1145/1010734.1010737},
  doi          = {10.1145/1010734.1010737},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Lamport78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Lassagne78,
  author       = {Theodore D. Lassagne},
  title        = {Analysis is the key to better software design},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {3},
  number       = {3},
  pages        = {24--26},
  year         = {1978},
  url          = {https://doi.org/10.1145/1010751.1010759},
  doi          = {10.1145/1010751.1010759},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Lassagne78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Linden78,
  author       = {Theodore A. Linden},
  title        = {Specifying abstract data types by restriction},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {3},
  number       = {2},
  pages        = {7--13},
  year         = {1978},
  url          = {https://doi.org/10.1145/1005888.1005889},
  doi          = {10.1145/1005888.1005889},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Linden78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Linden78a,
  author       = {Theodore A. Linden},
  title        = {On formal specifications and completeness: reply to Farshid Nourani},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {3},
  number       = {3},
  pages        = {15--17},
  year         = {1978},
  url          = {https://doi.org/10.1145/1010751.1010755},
  doi          = {10.1145/1010751.1010755},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Linden78a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Maurer78,
  author       = {W. D. Maurer},
  title        = {Another letter on the correctness of real programs},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {3},
  number       = {3},
  pages        = {22--24},
  year         = {1978},
  url          = {https://doi.org/10.1145/1010751.1010758},
  doi          = {10.1145/1010751.1010758},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Maurer78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Meyer78,
  author       = {Steve Meyer},
  title        = {Should computer programs be verified?},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {3},
  number       = {3},
  pages        = {18--19},
  year         = {1978},
  url          = {https://doi.org/10.1145/1010751.1010756},
  doi          = {10.1145/1010751.1010756},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Meyer78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Nourani78,
  author       = {Farshid Nourani},
  title        = {A note on logic-oriented approaches to data abstraction},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {3},
  number       = {3},
  pages        = {13--15},
  year         = {1978},
  url          = {https://doi.org/10.1145/1010751.1010754},
  doi          = {10.1145/1010751.1010754},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Nourani78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Ottenstein78,
  author       = {Linda M. Ottenstein},
  title        = {Further validation of an error hypothesis},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {3},
  number       = {1},
  pages        = {27--28},
  year         = {1978},
  url          = {https://doi.org/10.1145/1010734.1010738},
  doi          = {10.1145/1010734.1010738},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Ottenstein78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Parker78,
  author       = {John Parker},
  title        = {A comparison of design methodologies},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {3},
  number       = {4},
  pages        = {12--19},
  year         = {1978},
  url          = {https://doi.org/10.1145/1010741.1010743},
  doi          = {10.1145/1010741.1010743},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Parker78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Parnas78,
  author       = {David Lorge Parnas},
  title        = {Another view of the Dijkstra-dMLP controversy},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {3},
  number       = {4},
  pages        = {20--21},
  year         = {1978},
  url          = {https://doi.org/10.1145/1010741.1010744},
  doi          = {10.1145/1010741.1010744},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Parnas78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Priebe78,
  author       = {Kathie Priebe},
  title        = {Some ideas on review methodology},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {3},
  number       = {4},
  pages        = {27--29},
  year         = {1978},
  url          = {https://doi.org/10.1145/1010741.1010747},
  doi          = {10.1145/1010741.1010747},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Priebe78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Raduchel78,
  author       = {William J. Raduchel},
  title        = {Managing software development},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {3},
  number       = {4},
  pages        = {22--26},
  year         = {1978},
  url          = {https://doi.org/10.1145/1010741.1010746},
  doi          = {10.1145/1010741.1010746},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Raduchel78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/RiddleW78,
  author       = {William E. Riddle and
                  Jack C. Wileden},
  title        = {Languages for representing software specifications and designs},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {3},
  number       = {4},
  pages        = {7--11},
  year         = {1978},
  url          = {https://doi.org/10.1145/1010741.1010742},
  doi          = {10.1145/1010741.1010742},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/RiddleW78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Shaw78,
  author       = {Mary Shaw},
  title        = {Letter on lebesgue, logic, and program testing},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {3},
  number       = {4},
  pages        = {21},
  year         = {1978},
  url          = {https://doi.org/10.1145/1010741.1010745},
  doi          = {10.1145/1010741.1010745},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Shaw78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/TurskiW78,
  author       = {Wladyslaw M. Turski and
                  Anthony I. Wasserman},
  title        = {Computer programming methodology},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {3},
  number       = {2},
  pages        = {20--21},
  year         = {1978},
  url          = {https://doi.org/10.1145/1005888.1005894},
  doi          = {10.1145/1005888.1005894},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/TurskiW78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Wurges78,
  author       = {Harald W{\"{u}}rges},
  title        = {Some remarks on the use of abstract specifications for operating systems},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {3},
  number       = {3},
  pages        = {8--12},
  year         = {1978},
  url          = {https://doi.org/10.1145/1010751.1010753},
  doi          = {10.1145/1010751.1010753},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Wurges78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/X78,
  title        = {Abstracts in software engineering: part 5},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {3},
  number       = {1},
  pages        = {28--32},
  year         = {1978},
  url          = {https://doi.org/10.1145/1010734.1010739},
  doi          = {10.1145/1010734.1010739},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/X78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/X78a,
  title        = {Abstracts in software engineering: part 6},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {3},
  number       = {3},
  pages        = {31--33},
  year         = {1978},
  url          = {https://doi.org/10.1145/1010751.1010761},
  doi          = {10.1145/1010751.1010761},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/X78a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/X78b,
  title        = {Abstracts in software engineering: part 6},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {3},
  number       = {4},
  pages        = {31--33},
  year         = {1978},
  url          = {https://doi.org/10.1145/1010741.1010749},
  doi          = {10.1145/1010741.1010749},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/X78b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Zelkowitz78,
  author       = {Marvin V. Zelkowitz},
  title        = {Productivity measurement on software engineering projects},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {3},
  number       = {4},
  pages        = {30--31},
  year         = {1978},
  url          = {https://doi.org/10.1145/1010741.1010748},
  doi          = {10.1145/1010741.1010748},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Zelkowitz78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}