Search dblp for Publications

export results for "toc:db/journals/tosem/tosem2.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.