default search action
Search dblp for Publications
export results for "toc:db/journals/tosem/tosem2.bht:"
@article{DBLP:journals/tosem/Broy93, author = {Manfred Broy}, title = {Functional Specification of Time-Sensitive Communicating Systems}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {2}, number = {1}, pages = {1--46}, year = {1993}, url = {https://doi.org/10.1145/151299.151302}, doi = {10.1145/151299.151302}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/Broy93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/Ciancarini93, author = {Paolo Ciancarini}, title = {Coordinating Rule-Based Software Processes with {ESP}}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {2}, number = {3}, pages = {203--227}, year = {1993}, url = {https://doi.org/10.1145/152388.152393}, doi = {10.1145/152388.152393}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/Ciancarini93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/DemilloO93, author = {Richard A. DeMillo and A. Jefferson Offutt}, title = {Experimental Results from an Automatic Test Case Generator}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {2}, number = {2}, pages = {109--127}, year = {1993}, url = {https://doi.org/10.1145/151257.151258}, doi = {10.1145/151257.151258}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/DemilloO93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/Dillon93, author = {Laura K. Dillon}, title = {A Visual Model for Ada Tasking}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {2}, number = {4}, pages = {311--345}, year = {1993}, url = {https://doi.org/10.1145/158431.158432}, doi = {10.1145/158431.158432}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/Dillon93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/FeldmanS93, author = {Yishai A. Feldman and Haim Schneider}, title = {Simulating Reactive Systems by Deduction}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {2}, number = {2}, pages = {128--175}, year = {1993}, url = {https://doi.org/10.1145/151257.151259}, doi = {10.1145/151257.151259}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/FeldmanS93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/GiswoldN93, author = {William G. Griswold and David Notkin}, title = {Automated Assistance for Program Restructuring}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {2}, number = {3}, pages = {228--269}, year = {1993}, url = {https://doi.org/10.1145/152388.152389}, doi = {10.1145/152388.152389}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tosem/GiswoldN93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/HarroldGS93, author = {Mary Jean Harrold and Rajiv Gupta and Mary Lou Soffa}, title = {A Methodology for Controlling the Size of a Test Suite}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {2}, number = {3}, pages = {270--285}, year = {1993}, url = {https://doi.org/10.1145/152388.152391}, doi = {10.1145/152388.152391}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tosem/HarroldGS93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/KaiserK93, author = {Gail E. Kaiser and Simon M. Kaplan}, title = {Parallel and Distributed Incremental Attribute Evaluation Algorithms for Multiuser Software Development Environments}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {2}, number = {1}, pages = {47--92}, year = {1993}, url = {https://doi.org/10.1145/151299.151312}, doi = {10.1145/151299.151312}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/KaiserK93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/Klint93, author = {Paul Klint}, title = {A Meta-Environment for Generating Programming Environments}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {2}, number = {2}, pages = {176--201}, year = {1993}, url = {https://doi.org/10.1145/151257.151260}, doi = {10.1145/151257.151260}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/Klint93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/PodgurskiP93, author = {Andy Podgurski and Lynn Pierce}, title = {Retrieving Reusable Software by Sampling Behaviour}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {2}, number = {3}, pages = {286--303}, year = {1993}, url = {https://doi.org/10.1145/152388.152392}, doi = {10.1145/152388.152392}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/PodgurskiP93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/WangME93, author = {Farn Wang and Aloysius K. Mok and E. Allen Emerson}, title = {Distributed Real-Time System Specification and Verification in {APTL}}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {2}, number = {4}, pages = {346--378}, year = {1993}, url = {https://doi.org/10.1145/158431.158434}, doi = {10.1145/158431.158434}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/WangME93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/WhittakerP93, author = {James A. Whittaker and Jesse H. Poore}, title = {Markow Analysis of Software Specifications}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {2}, number = {1}, pages = {93--106}, year = {1993}, url = {https://doi.org/10.1145/151299.151326}, doi = {10.1145/151299.151326}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/WhittakerP93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/ZaveJ93, author = {Pamela Zave and Michael Jackson}, title = {Conjunction as Composition}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {2}, number = {4}, pages = {379--411}, year = {1993}, url = {https://doi.org/10.1145/158431.158438}, doi = {10.1145/158431.158438}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/ZaveJ93.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.