Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/tse/tse20.bht:"
@article{DBLP:journals/tse/AkellaG94, author = {Venkatesh Akella and Ganesh Gopalakrishnan}, title = {Specification and Validation of Control-Intensive IC's in hopCP}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {6}, pages = {405--423}, year = {1994}, url = {https://doi.org/10.1109/32.295890}, doi = {10.1109/32.295890}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/AkellaG94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/AmmannBK94, author = {Paul Ammann and Susan S. Brilliant and John C. Knight}, title = {The Effect of Imperfect Error Detection on Reliability Assessment via Life Testing}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {2}, pages = {142--148}, year = {1994}, url = {https://doi.org/10.1109/32.265635}, doi = {10.1109/32.265635}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/AmmannBK94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/AntoyG94, author = {Sergio Antoy and John D. Gannon}, title = {Using Term Rewriting to Verify Software}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {4}, pages = {259--274}, year = {1994}, url = {https://doi.org/10.1109/32.277574}, doi = {10.1109/32.277574}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/AntoyG94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/AueB94, author = {Alfred Aue and Michael Breu}, title = {Distributed Information Systems: An Advanced Methodology}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {8}, pages = {594--605}, year = {1994}, url = {https://doi.org/10.1109/32.310669}, doi = {10.1109/32.310669}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/AueB94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/AvruninCDW94, author = {George S. Avrunin and James C. Corbett and Laura K. Dillon and Jack C. Wileden}, title = {Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {9}, pages = {708--719}, year = {1994}, url = {https://doi.org/10.1109/32.317429}, doi = {10.1109/32.317429}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/AvruninCDW94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/BagrodiaL94, author = {Rajive L. Bagrodia and Wen{-}Toh Liao}, title = {Maisie: {A} Language for the Design of Efficient Discrete-Event Simulations}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {4}, pages = {225--238}, year = {1994}, url = {https://doi.org/10.1109/32.277572}, doi = {10.1109/32.277572}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/BagrodiaL94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/BankerKWZ94, author = {Rajiv D. Banker and Robert J. Kauffman and Charles Wright and Dani Zweig}, title = {Automating Output Size and Reuse Metrics in a Repository-Based Computer-Aided Software Engineering {(CASE)} Environment}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {3}, pages = {169--187}, year = {1994}, url = {https://doi.org/10.1109/32.268919}, doi = {10.1109/32.268919}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/BankerKWZ94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/BertolinoM94, author = {Antonia Bertolino and Martina Marr{\'{e}}}, title = {Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {12}, pages = {885--899}, year = {1994}, url = {https://doi.org/10.1109/32.368137}, doi = {10.1109/32.368137}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/BertolinoM94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/BiemanO94, author = {James M. Bieman and Linda M. Ott}, title = {Measuring Functional Cohesion}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {8}, pages = {644--657}, year = {1994}, url = {https://doi.org/10.1109/32.310673}, doi = {10.1109/32.310673}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/BiemanO94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/Boucherie94, author = {Richard J. Boucherie}, title = {A Characterization of Independence for Competing Markov Chains with Applications to Stochastic Petri Nets}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {7}, pages = {536--544}, year = {1994}, url = {https://doi.org/10.1109/32.297942}, doi = {10.1109/32.297942}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/Boucherie94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/BradacPV94, author = {Mark G. Bradac and Dewayne E. Perry and Lawrence G. Votta}, title = {Prototyping a Process Monitoring Experiment}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {10}, pages = {774--784}, year = {1994}, url = {https://doi.org/10.1109/32.328994}, doi = {10.1109/32.328994}, timestamp = {Thu, 26 Oct 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/BradacPV94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/BustardW94, author = {David W. Bustard and Adam C. Winstanley}, title = {Making Changes to Formal Specifications: Requirements and an Example}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {8}, pages = {562--568}, year = {1994}, url = {https://doi.org/10.1109/32.310666}, doi = {10.1109/32.310666}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/BustardW94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/CampodonicoS94, author = {Sylvia Campod{\'{o}}nico and Nozer D. Singpurwalla}, title = {A Bayesian Analysis of the Logarithmic-Poisson Execution Time Model Based on Expert Opinion and Failure Data}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {9}, pages = {677--683}, year = {1994}, url = {https://doi.org/10.1109/32.317426}, doi = {10.1109/32.317426}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/CampodonicoS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/CamposCJS94, author = {Javier Campos and Jos{\'{e}} Manuel Colom and Hauke Jungnitz and Manuel Silva Su{\'{a}}rez}, title = {Approximate Throughput Computation of Stochastic Marked Graphs}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {7}, pages = {526--535}, year = {1994}, url = {https://doi.org/10.1109/32.297941}, doi = {10.1109/32.297941}, timestamp = {Fri, 09 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/CamposCJS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/ChenB94, author = {Ing{-}Ray Chen and Farokh B. Bastani}, title = {Warm Standby in Hierarchically Structured Process-Control Programs}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {8}, pages = {658--663}, year = {1994}, url = {https://doi.org/10.1109/32.310674}, doi = {10.1109/32.310674}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/ChenB94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/ChenY94, author = {Tsong Yueh Chen and Yuen{-}Tak Yu}, title = {On the Relationship Between Partition and Random Testing}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {12}, pages = {977--980}, year = {1994}, url = {https://doi.org/10.1109/32.368132}, doi = {10.1109/32.368132}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tse/ChenY94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/CheungK94, author = {Shing{-}Chi Cheung and Jeff Kramer}, title = {Tractable Dataflow Analysis for Distributed Systems}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {8}, pages = {579--593}, year = {1994}, url = {https://doi.org/10.1109/32.310668}, doi = {10.1109/32.310668}, timestamp = {Fri, 09 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/CheungK94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/ChidamberK94, author = {Shyam R. Chidamber and Chris F. Kemerer}, title = {A Metrics Suite for Object Oriented Design}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {6}, pages = {476--493}, year = {1994}, url = {https://doi.org/10.1109/32.295895}, doi = {10.1109/32.295895}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/ChidamberK94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/ChoiCF94, author = {Jong{-}Deok Choi and Ron Cytron and Jeanne Ferrante}, title = {On the Efficient Engineering of Ambitious Program Analysis}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {2}, pages = {105--114}, year = {1994}, url = {https://doi.org/10.1109/32.265631}, doi = {10.1109/32.265631}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/ChoiCF94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/CiardoGL94, author = {Gianfranco Ciardo and Reinhard German and Christoph Lindemann}, title = {A Characterization of the Stochastic Process Underlying a Stochastic Petri Net}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {7}, pages = {506--515}, year = {1994}, url = {https://doi.org/10.1109/32.297939}, doi = {10.1109/32.297939}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tse/CiardoGL94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/Coen-PorisiniKM94, author = {Alberto Coen{-}Porisini and Richard A. Kemmerer and Dino Mandrioli}, title = {A Formal Framework for {ASTRAL} Intralevel Proof Obligations}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {8}, pages = {548--561}, year = {1994}, url = {https://doi.org/10.1109/32.310665}, doi = {10.1109/32.310665}, timestamp = {Fri, 09 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/Coen-PorisiniKM94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/DalalM94, author = {Siddhartha R. Dalal and Allen A. McIntosh}, title = {When to Stop Testing for Large Software Systems with Changing Code}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {4}, pages = {318--323}, year = {1994}, url = {https://doi.org/10.1109/32.277579}, doi = {10.1109/32.277579}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/DalalM94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/Danzig94, author = {Peter B. Danzig}, title = {Flow Control for Limited Buffer Multicast}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {1}, pages = {1--12}, year = {1994}, url = {https://doi.org/10.1109/32.263751}, doi = {10.1109/32.263751}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/Danzig94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/DeMillo94, author = {Richard A. DeMillo}, title = {Introduction to the Special Section}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {10}, pages = {749}, year = {1994}, url = {http://doi.ieeecomputersociety.org/10.1109/TSE.1994.10005}, doi = {10.1109/TSE.1994.10005}, timestamp = {Thu, 10 Dec 2015 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tse/DeMillo94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/DeublerK94, author = {Hanns{-}Helmuth Deubler and Meinhard Koestler}, title = {Introducing Object Orientation into Large and Complex Systems}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {11}, pages = {840--848}, year = {1994}, url = {https://doi.org/10.1109/32.368124}, doi = {10.1109/32.368124}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/DeublerK94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/DiazJC94, author = {Michel Diaz and Guy Juanole and Jean{-}Pierre Courtiat}, title = {Observer-A Concept for Formal On-Line Validation of Distributed Systems}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {12}, pages = {900--913}, year = {1994}, url = {https://doi.org/10.1109/32.368136}, doi = {10.1109/32.368136}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/DiazJC94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/ErnstHO94, author = {George W. Ernst and Raymond J. Hookway and William F. Ogden}, title = {Modular Verification of Data Abstractions with Shared Realizations}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {4}, pages = {288--307}, year = {1994}, url = {https://doi.org/10.1109/32.277576}, doi = {10.1109/32.277576}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/ErnstHO94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/FelderMM94, author = {Miguel Felder and Dino Mandrioli and Angelo Morzenti}, title = {Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {2}, pages = {127--141}, year = {1994}, url = {https://doi.org/10.1109/32.265634}, doi = {10.1109/32.265634}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/FelderMM94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/Fenton94, author = {Norman E. Fenton}, title = {Software Measurement: {A} Necessary Scientific Basis}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {3}, pages = {199--206}, year = {1994}, url = {https://doi.org/10.1109/32.268921}, doi = {10.1109/32.268921}, timestamp = {Fri, 09 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/Fenton94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/FinkelsteinGHKN94, author = {Anthony Finkelstein and Dov M. Gabbay and Anthony Hunter and Jeff Kramer and Bashar Nuseibeh}, title = {Inconsistency Handling in Multperspective Specifications}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {8}, pages = {569--578}, year = {1994}, url = {https://doi.org/10.1109/32.310667}, doi = {10.1109/32.310667}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tse/FinkelsteinGHKN94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/FlateboD94, author = {Mitchell Flatebo and Ajoy Kumar Datta}, title = {Two-State Self-Stabilizing Algorithms for Token Rings}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {6}, pages = {500--504}, year = {1994}, url = {https://doi.org/10.1109/32.295897}, doi = {10.1109/32.295897}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/FlateboD94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/FrakesP94, author = {William B. Frakes and Thomas P. Pole}, title = {An Empirical Study of Representation Methods for Reusable Software Components}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {8}, pages = {617--630}, year = {1994}, url = {https://doi.org/10.1109/32.310671}, doi = {10.1109/32.310671}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/FrakesP94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/FranceschinisM94, author = {Giuliana Franceschinis and Richard R. Muntz}, title = {Computing Bounds for the Performance Indices of Quasi-Lumpable Stochastic Well-Formed Nets}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {7}, pages = {516--525}, year = {1994}, url = {https://doi.org/10.1109/32.297940}, doi = {10.1109/32.297940}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/FranceschinisM94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/Griswold94, author = {William G. Griswold}, title = {Comments on "Language Design for Program Manipulation''}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {3}, pages = {218--219}, year = {1994}, url = {https://doi.org/10.1109/32.268924}, doi = {10.1109/32.268924}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/Griswold94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/HarbourKL94, author = {Michael Gonz{\'{a}}lez Harbour and Mark H. Klein and John P. Lehoczky}, title = {Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {1}, pages = {13--28}, year = {1994}, url = {https://doi.org/10.1109/32.263752}, doi = {10.1109/32.263752}, timestamp = {Thu, 06 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/HarbourKL94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/HattonR94, author = {Les Hatton and Andy Roberts}, title = {How Accurate Is Scientific Software?}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {10}, pages = {785--797}, year = {1994}, url = {https://doi.org/10.1109/32.328993}, doi = {10.1109/32.328993}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/HattonR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/HigashinoB94, author = {Teruo Higashino and Gregor von Bochmann}, title = {Automatic Analysis and Test Case Derivation for a Restricted Class of {LOTOS} Expressions with Data Parameters}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {1}, pages = {29--42}, year = {1994}, url = {https://doi.org/10.1109/32.263753}, doi = {10.1109/32.263753}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/HigashinoB94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/HonidenNUI94, author = {Shinichi Honiden and Kazuhiko Nishimura and Naoshi Uchihira and Kiyoshi Itoh}, title = {An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {11}, pages = {849--867}, year = {1994}, url = {https://doi.org/10.1109/32.368123}, doi = {10.1109/32.368123}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/HonidenNUI94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/HowdenW94, author = {William E. Howden and Bruce Wieand}, title = {{QDA-A} Method for Systematic Informal Program Analysis}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {6}, pages = {445--462}, year = {1994}, url = {https://doi.org/10.1109/32.295893}, doi = {10.1109/32.295893}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/HowdenW94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/HuangR94, author = {Yen{-}Min Huang and Chinya V. Ravishankar}, title = {Designing an Agent Synthesis System for Cross-RPC Communication}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {3}, pages = {188--198}, year = {1994}, url = {https://doi.org/10.1109/32.268920}, doi = {10.1109/32.268920}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tse/HuangR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/JahanianM94, author = {Farnam Jahanian and Aloysius K. Mok}, title = {Modechart: {A} Specification Language for Real-Time Systems}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {12}, pages = {933--947}, year = {1994}, url = {https://doi.org/10.1109/32.368134}, doi = {10.1109/32.368134}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/JahanianM94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/Juanole94, author = {Guy Juanole}, title = {Petri Net Performance Models}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {7}, pages = {505}, year = {1994}, url = {http://doi.ieeecomputersociety.org/10.1109/TSE.1994.10001}, doi = {10.1109/TSE.1994.10001}, timestamp = {Thu, 10 Dec 2015 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tse/Juanole94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/KanounL94, author = {Karama Kanoun and Jean{-}Claude Laprie}, title = {Software Reliability Trend Analyses from Theoretical to Practical Considerations}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {9}, pages = {740--747}, year = {1994}, url = {https://doi.org/10.1109/32.317434}, doi = {10.1109/32.317434}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/KanounL94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/KiskisS94, author = {Daniel L. Kiskis and Kang G. Shin}, title = {{SWSL:} {A} Synthetic Workload Specification Language for Real-Time Systems}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {10}, pages = {798--811}, year = {1994}, url = {https://doi.org/10.1109/32.328992}, doi = {10.1109/32.328992}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/KiskisS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/KruegerS94, author = {Phillip Krueger and Niranjan G. Shivaratri}, title = {Adaptive Location Policies for Global Scheduling}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {6}, pages = {432--444}, year = {1994}, url = {https://doi.org/10.1109/32.295892}, doi = {10.1109/32.295892}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/KruegerS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/KshemkalyaniS94, author = {Ajay D. Kshemkalyani and Mukesh Singhal}, title = {Efficient Detection and Resolution of Generalized Distributed Deadlocks}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {1}, pages = {43--54}, year = {1994}, url = {https://doi.org/10.1109/32.263754}, doi = {10.1109/32.263754}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/KshemkalyaniS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/LamS94, author = {Simon S. Lam and A. Udaya Shankar}, title = {A Theory of Interfaces and Modules I-Composition Theorem}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {1}, pages = {55--71}, year = {1994}, url = {https://doi.org/10.1109/32.263755}, doi = {10.1109/32.263755}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/LamS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/LevesonHHR94, author = {Nancy G. Leveson and Mats Per Erik Heimdahl and Holly Hildreth and Jon Damon Reese}, title = {Requirements Specification for Process-Control Systems}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {9}, pages = {684--707}, year = {1994}, url = {https://doi.org/10.1109/32.317428}, doi = {10.1109/32.317428}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tse/LevesonHHR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/LiSY94, author = {Jianan Li and Ichiro Suzuki and Masafumi Yamashita}, title = {A New Structural Induction Theorem for Rings of Temporal Petri Nets}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {2}, pages = {115--126}, year = {1994}, url = {https://doi.org/10.1109/32.265633}, doi = {10.1109/32.265633}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/LiSY94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/LichterSZ94, author = {Horst Lichter and Matthias Schneider{-}Hufschmidt and Heinz Z{\"{u}}llighoven}, title = {Prototyping in Industrial Software Projects-Bridging the Gap Between Theory and Practice}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {11}, pages = {825--832}, year = {1994}, url = {https://doi.org/10.1109/32.368126}, doi = {10.1109/32.368126}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tse/LichterSZ94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/LiuSB94, author = {Ying Liu and Ambuj K. Singh and Rajive L. Bagrodia}, title = {A Decompositional Approach to the Design of Parallel Programs}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {12}, pages = {914--932}, year = {1994}, url = {https://doi.org/10.1109/32.368135}, doi = {10.1109/32.368135}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/LiuSB94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/Lopez-Benitez94, author = {No{\'{e}} Lopez{-}Benitez}, title = {Dependability Modeling and Analysis of Distributed Programs}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {5}, pages = {345--352}, year = {1994}, url = {https://doi.org/10.1109/32.286421}, doi = {10.1109/32.286421}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/Lopez-Benitez94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/LuoBP94, author = {Gang Luo and Gregor von Bochmann and Alexandre Petrenko}, title = {Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {2}, pages = {149--162}, year = {1994}, url = {https://doi.org/10.1109/32.265636}, doi = {10.1109/32.265636}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/LuoBP94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/LuoDB94, author = {Gang Luo and Anindya Das and Gregor von Bochmann}, title = {Software Testing Based on {SDL} Specifications with Save}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {1}, pages = {72--87}, year = {1994}, url = {https://doi.org/10.1109/32.263756}, doi = {10.1109/32.263756}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/LuoDB94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/Lustman94, author = {Fran{\c{c}}ois Lustman}, title = {Specifying Transaction-Based Information Systems with Regular Expressions}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {3}, pages = {207--217}, year = {1994}, url = {https://doi.org/10.1109/32.268922}, doi = {10.1109/32.268922}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/Lustman94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/MatsonBM94, author = {Jack E. Matson and Bruce E. Barrett and Joseph M. Mellichamp}, title = {Software Development Cost Estimation Using Function Points}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {4}, pages = {275--287}, year = {1994}, url = {https://doi.org/10.1109/32.277575}, doi = {10.1109/32.277575}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/MatsonBM94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/MenasceYK94, author = {Daniel A. Menasc{\'{e}} and Yelena Yesha and Konstantinos Kalpakis}, title = {On a Unified Framework for the Evaluation of Distributed Quorum Attainment Protocols}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {11}, pages = {868--884}, year = {1994}, url = {https://doi.org/10.1109/32.368122}, doi = {10.1109/32.368122}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/MenasceYK94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/NotomiM94, author = {Masato Notomi and Tadao Murata}, title = {Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {5}, pages = {325--336}, year = {1994}, url = {https://doi.org/10.1109/32.286423}, doi = {10.1109/32.286423}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/NotomiM94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/NuseibehKF94, author = {Bashar Nuseibeh and Jeff Kramer and Anthony Finkelstein}, title = {A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {10}, pages = {760--773}, year = {1994}, url = {https://doi.org/10.1109/32.328995}, doi = {10.1109/32.328995}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tse/NuseibehKF94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/OffuttL94, author = {A. Jefferson Offutt and Stephen D. Lee}, title = {An Empirical Evaluation of Weak Mutation}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {5}, pages = {337--344}, year = {1994}, url = {https://doi.org/10.1109/32.286422}, doi = {10.1109/32.286422}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/OffuttL94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/OffuttL94a, author = {A. Jefferson Offutt and Stephen D. Lee}, title = {Correction to "An Empirical Evaluation of Weak Mutation"}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {9}, pages = {748}, year = {1994}, url = {http://doi.ieeecomputersociety.org/10.1109/TSE.1994.10004}, doi = {10.1109/TSE.1994.10004}, timestamp = {Thu, 10 Dec 2015 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tse/OffuttL94a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/PandeLR94, author = {Hemant D. Pande and William Landi and Barbara G. Ryder}, title = {Interprocedural Def-Use Associations for {C} Systems with Single Level Pointers}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {5}, pages = {385--403}, year = {1994}, url = {https://doi.org/10.1109/32.286418}, doi = {10.1109/32.286418}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/PandeLR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/PaoliT94, author = {Flavio De Paoli and Francesco Tisato}, title = {{CSDL:} {A} Language for Cooperative Systems Design}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {8}, pages = {606--616}, year = {1994}, url = {https://doi.org/10.1109/32.310670}, doi = {10.1109/32.310670}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tse/PaoliT94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/ParnasMI94, author = {David Lorge Parnas and Jan Madey and Michal Iglewski}, title = {Precise Documentation of Well-Structured Programs}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {12}, pages = {948--976}, year = {1994}, url = {https://doi.org/10.1109/32.368133}, doi = {10.1109/32.368133}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/ParnasMI94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/PaulP94, author = {Santanu Paul and Atul Prakash}, title = {A Framework for Source Code Search Using Program Patterns}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {6}, pages = {463--475}, year = {1994}, url = {https://doi.org/10.1109/32.295894}, doi = {10.1109/32.295894}, timestamp = {Wed, 16 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tse/PaulP94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/RiceS94, author = {Michael D. Rice and Stephen B. Seidman}, title = {A Formal Model for Module Interconnection Languages}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {1}, pages = {88--101}, year = {1994}, url = {https://doi.org/10.1109/32.263757}, doi = {10.1109/32.263757}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/RiceS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/RomanW94, author = {Gruia{-}Catalin Roman and C. Donald Wilcox}, title = {Architecture-Directed Refinement}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {4}, pages = {239--258}, year = {1994}, url = {https://doi.org/10.1109/32.277573}, doi = {10.1109/32.277573}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/RomanW94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/SaxenaM94, author = {Nirmal R. Saxena and Edward J. McCluskey}, title = {Linear Complexity Assertions for Sorting}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {6}, pages = {424--431}, year = {1994}, url = {https://doi.org/10.1109/32.295891}, doi = {10.1109/32.295891}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/SaxenaM94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/Sommerville94, author = {Ian Sommerville}, title = {Introduction to the Special Issue}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {8}, pages = {546--547}, year = {1994}, url = {http://doi.ieeecomputersociety.org/10.1109/TSE.1994.10003}, doi = {10.1109/TSE.1994.10003}, timestamp = {Thu, 10 Dec 2015 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tse/Sommerville94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/SongO94, author = {Xiping Song and Leon J. Osterweil}, title = {Experience with an Approach to Comparing Software Design Methodologies}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {5}, pages = {364--384}, year = {1994}, url = {https://doi.org/10.1109/32.286419}, doi = {10.1109/32.286419}, timestamp = {Tue, 05 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/SongO94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/Stoller94, author = {Scott D. Stoller}, title = {Addendum to "Proof Rules for Flush Channels"}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {8}, pages = {664}, year = {1994}, url = {https://doi.org/10.1109/32.310675}, doi = {10.1109/32.310675}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/Stoller94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/TucciVC94, author = {Maurizio Tucci and Giuliana Vitiello and Gennaro Costagliola}, title = {Parsing Nonlinear Languages}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {9}, pages = {720--739}, year = {1994}, url = {https://doi.org/10.1109/32.317427}, doi = {10.1109/32.317427}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tse/TucciVC94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/Vestal94, author = {Steve Vestal}, title = {Fixed-Priority Sensitivity Analysis for Linear Compute Time Models}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {4}, pages = {308--317}, year = {1994}, url = {https://doi.org/10.1109/32.277577}, doi = {10.1109/32.277577}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/Vestal94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/WangP94, author = {Yabo Wang and David Lorge Parnas}, title = {Simulating the Behavior of Software Modules by Trace Rewriting}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {10}, pages = {750--759}, year = {1994}, url = {https://doi.org/10.1109/32.328996}, doi = {10.1109/32.328996}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/WangP94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/WeerahandiH94, author = {Samaradasa Weerahandi and Robert E. Hausman}, title = {Software Quality Measurement Based on Fault-Detection Data}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {9}, pages = {665--676}, year = {1994}, url = {https://doi.org/10.1109/32.317425}, doi = {10.1109/32.317425}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/WeerahandiH94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/WeideEHL94, author = {Bruce W. Weide and Stephen H. Edwards and Douglas E. Harms and David Alex Lamb}, title = {Design and Specification of Iterators Using the Swapping Paradigm}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {8}, pages = {631--643}, year = {1994}, url = {https://doi.org/10.1109/32.310672}, doi = {10.1109/32.310672}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/WeideEHL94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/WeyukerGS94, author = {Elaine J. Weyuker and Tarak Goradia and Ashutosh Singh}, title = {Automatically Generating Test Data from a Boolean Specification}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {5}, pages = {353--363}, year = {1994}, url = {https://doi.org/10.1109/32.286420}, doi = {10.1109/32.286420}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/WeyukerGS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/WhittakerT94, author = {James A. Whittaker and Michael G. Thomason}, title = {A Markov Chain Model for Statistical Software Testing}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {10}, pages = {812--824}, year = {1994}, url = {https://doi.org/10.1109/32.328991}, doi = {10.1109/32.328991}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/WhittakerT94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/WohlinR94, author = {Claes Wohlin and Per Runeson}, title = {Certification of Software Components}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {6}, pages = {494--499}, year = {1994}, url = {https://doi.org/10.1109/32.295896}, doi = {10.1109/32.295896}, timestamp = {Fri, 09 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/WohlinR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/WohlwendR94, author = {Harvey Wohlwend and Susan Rosenbaum}, title = {Schlumberger's Software Improvement Program}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {11}, pages = {833--839}, year = {1994}, url = {https://doi.org/10.1109/32.368125}, doi = {10.1109/32.368125}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/WohlwendR94.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.