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