default search action
Search dblp for Publications
export results for "toc:db/journals/sigsoft/sigsoft3.bht:"
@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} }
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.