Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/tse/tse20.bht:"
download as .bib file
@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 = {Wed, 14 Nov 2018 00:00:00 +0100},
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}
}
a service of 
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.
retrieved on 2024-05-26 06:18 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
