Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tosem/CheungK99,
  author       = {Shing{-}Chi Cheung and
                  Jeff Kramer},
  title        = {Checking Safety Properties Using Compositional Reachability Analysis},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {8},
  number       = {1},
  pages        = {49--78},
  year         = {1999},
  url          = {https://doi.org/10.1145/295558.295570},
  doi          = {10.1145/295558.295570},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tosem/CheungK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tosem/CiapessoniMCMM99,
  author       = {Emanuele Ciapessoni and
                  Piergiorgio Mirandola and
                  Alberto Coen{-}Porisini and
                  Dino Mandrioli and
                  Angelo Morzenti},
  title        = {From Formal Models to Formally Based Methods: An Industrial Experience},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {8},
  number       = {1},
  pages        = {79--113},
  year         = {1999},
  url          = {https://doi.org/10.1145/295558.295566},
  doi          = {10.1145/295558.295566},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tosem/CiapessoniMCMM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tosem/CookW99,
  author       = {Jonathan E. Cook and
                  Alexander L. Wolf},
  title        = {Software Process Validation: Quantitatively Measuring the Correspondence
                  of a Process to a Model},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {8},
  number       = {2},
  pages        = {147--176},
  year         = {1999},
  url          = {https://doi.org/10.1145/304399.304401},
  doi          = {10.1145/304399.304401},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tosem/CookW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tosem/DamianiFB99,
  author       = {Ernesto Damiani and
                  Maria Grazia Fugini and
                  Carlo Bellettini},
  title        = {A Hierarchy-aware Approach to Faceted Classification of Objected-Oriented
                  Components},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {8},
  number       = {3},
  pages        = {215--262},
  year         = {1999},
  url          = {https://doi.org/10.1145/310663.310665},
  doi          = {10.1145/310663.310665},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tosem/DamianiFB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tosem/DamianiFB99a,
  author       = {Ernesto Damiani and
                  Maria Grazia Fugini and
                  Carlo Bellettini},
  title        = {Corrigenda: a hierarchy-aware approach to faceted classification of
                  object-oriented components},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {8},
  number       = {4},
  pages        = {425--472},
  year         = {1999},
  url          = {https://doi.org/10.1145/322993.322997},
  doi          = {10.1145/322993.322997},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tosem/DamianiFB99a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tosem/Devanbu99,
  author       = {Premkumar T. Devanbu},
  title        = {{GENOA} - {A} Customizable, Front-end-Retargetable Source Code Analysis
                  Framework},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {8},
  number       = {2},
  pages        = {177--212},
  year         = {1999},
  url          = {https://doi.org/10.1145/304399.304402},
  doi          = {10.1145/304399.304402},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tosem/Devanbu99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tosem/Jezequel99,
  author       = {Jean{-}Marc J{\'{e}}z{\'{e}}quel},
  title        = {Reifying Variants in Configuration Management},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {8},
  number       = {3},
  pages        = {284--295},
  year         = {1999},
  url          = {https://doi.org/10.1145/310663.310668},
  doi          = {10.1145/310663.310668},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tosem/Jezequel99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tosem/Kuhn99,
  author       = {D. Richard Kuhn},
  title        = {Fault classes and error detection capability of specification-based
                  testing},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {8},
  number       = {4},
  pages        = {411--424},
  year         = {1999},
  url          = {https://doi.org/10.1145/322993.322996},
  doi          = {10.1145/322993.322996},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tosem/Kuhn99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tosem/McCannR99,
  author       = {Peter J. McCann and
                  Gruia{-}Catalin Roman},
  title        = {Modeling Mobile {IP} in Mobile {UNITY}},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {8},
  number       = {2},
  pages        = {115--146},
  year         = {1999},
  url          = {https://doi.org/10.1145/304399.304400},
  doi          = {10.1145/304399.304400},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tosem/McCannR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tosem/Ostroff99,
  author       = {Jonathan S. Ostroff},
  title        = {Composition and Refinement of Discrte Real-Time Systems},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {8},
  number       = {1},
  pages        = {1--48},
  year         = {1999},
  url          = {https://doi.org/10.1145/295558.295560},
  doi          = {10.1145/295558.295560},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tosem/Ostroff99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tosem/PodgurskiMMWY99,
  author       = {Andy Podgurski and
                  Wassim Masri and
                  Yolanda McCleese and
                  Francis G. Wolff and
                  Charles Yang},
  title        = {Estimation of Software Reliability by Stratified Sampling},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {8},
  number       = {3},
  pages        = {263--283},
  year         = {1999},
  url          = {https://doi.org/10.1145/310663.310667},
  doi          = {10.1145/310663.310667},
  timestamp    = {Mon, 01 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tosem/PodgurskiMMWY99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tosem/PohlWDHJK99,
  author       = {Klaus Pohl and
                  Klaus Weidenhaupt and
                  Ralf D{\"{o}}mges and
                  Peter Haumer and
                  Matthias Jarke and
                  Ralf Klamma},
  title        = {{PRIME} - Toward process-integrated modeling environments: 1},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {8},
  number       = {4},
  pages        = {343--410},
  year         = {1999},
  url          = {https://doi.org/10.1145/322993.322995},
  doi          = {10.1145/322993.322995},
  timestamp    = {Tue, 18 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tosem/PohlWDHJK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tosem/Reiss99,
  author       = {Steven P. Reiss},
  title        = {The Desert environment},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {8},
  number       = {4},
  pages        = {297--342},
  year         = {1999},
  url          = {https://doi.org/10.1145/322993.322994},
  doi          = {10.1145/322993.322994},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tosem/Reiss99.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.