default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/tse/tse5.bht:"
download as .bib file
@article{DBLP:journals/tse/AbrahamsC79,
author = {Paul W. Abrahams and
Lori A. Clarke},
title = {Compile-Time Analysis of Data List-Format List Correspondences},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {6},
pages = {612--617},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.230197},
doi = {10.1109/TSE.1979.230197},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AbrahamsC79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Andrews79,
author = {Gregory R. Andrews},
title = {The Design of a Message Switching System: An Application and Evaluation
of Modula},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {2},
pages = {138--147},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234170},
doi = {10.1109/TSE.1979.234170},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Andrews79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Babich79,
author = {Alan F. Babich},
title = {Proving Total Correctness of Parallel Programs},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {6},
pages = {558--574},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.230192},
doi = {10.1109/TSE.1979.230192},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/Babich79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BakerZ79,
author = {Albert L. Baker and
Stuart H. Zweben},
title = {The Use of Software Science in Evaluating Modularity Concepts},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {2},
pages = {110--120},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234167},
doi = {10.1109/TSE.1979.234167},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BakerZ79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BarreseS79,
author = {Anthony L. Barrese and
Stephen D. Shapiro},
title = {Structuring Programs for Efficient Operation in Virtual Memory Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {6},
pages = {643--652},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.230200},
doi = {10.1109/TSE.1979.230200},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BarreseS79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Bentley79,
author = {Jon Louis Bentley},
title = {Multidimensional Binary Search Trees in Database Applications},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {4},
pages = {333--340},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234200},
doi = {10.1109/TSE.1979.234200},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Bentley79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BernsteinSW79,
author = {Philip A. Bernstein and
David W. Shipman and
Wing S. Wong},
title = {Formal Aspects of Serializability in Database Concurrency Control},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {3},
pages = {203--216},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234182},
doi = {10.1109/TSE.1979.234182},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BernsteinSW79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BicevskisBSZM79,
author = {Janis Bicevskis and
Juris Borzovs and
Uldis Straujums and
Andris Zarins and
Edward F. Miller Jr.},
title = {{SMOTL} - {A} System to Construct Samples for Data Processing Program
Debugging},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {1},
pages = {60--66},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.226498},
doi = {10.1109/TSE.1979.226498},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BicevskisBSZM79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BochmannJ79,
author = {Gregor von Bochmann and
Joachim Tankoano},
title = {Development and Structure of an {X.25} Implementation},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {5},
pages = {429--439},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.230181},
doi = {10.1109/TSE.1979.230181},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BochmannJ79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BoisvertRH79,
author = {Ronald F. Boisvert and
John R. Rice and
Elias N. Houstis},
title = {A System for Performance Evaluation of Partial Differential Equations
Software},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {4},
pages = {418--425},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.230175},
doi = {10.1109/TSE.1979.230175},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BoisvertRH79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Bokhari79,
author = {Shahid H. Bokhari},
title = {Dual Processor Scheduling with Dynamic Reassignment},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {4},
pages = {341--349},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234201},
doi = {10.1109/TSE.1979.234201},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Bokhari79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Booth79,
author = {Taylor L. Booth},
title = {Performance Optimization of Software Systems Processing Information
Sequences Modeled by Probabilistic Languages},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {1},
pages = {31--44},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.226496},
doi = {10.1109/TSE.1979.226496},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Booth79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CaseauP79,
author = {Paul Caseau and
Guy Pujolle},
title = {Throughput Capacity of a Sequence of Queues with Blocking Due to Finite
Waiting Room},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {6},
pages = {631--642},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.230199},
doi = {10.1109/TSE.1979.230199},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/CaseauP79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ChandyM79,
author = {K. Mani Chandy and
Jayadev Misra},
title = {Distributed Simulation: {A} Case Study in Design and Verification
of Distributed Programs},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {5},
pages = {440--452},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.230182},
doi = {10.1109/TSE.1979.230182},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ChandyM79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CheathamHT79,
author = {Thomas E. Cheatham Jr. and
Glenn H. Holloway and
Judy A. Townley},
title = {Symbolic Evaluation and the Analysis of Programs},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {4},
pages = {402--417},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234207},
doi = {10.1109/TSE.1979.234207},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/CheathamHT79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Clark79,
author = {Douglas W. Clark},
title = {Measurements of Dynamic List Structure Use in Lisp},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {1},
pages = {51--59},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.226495},
doi = {10.1109/TSE.1979.226495},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Clark79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CohenS79,
author = {Jacques Cohen and
Robin Sitver},
title = {A Case Study in Program Transformation: Translation into Polish},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {6},
pages = {593--606},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.230195},
doi = {10.1109/TSE.1979.230195},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/CohenS79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CohenSA79,
author = {Jacques Cohen and
Robin Sitver and
David Auty},
title = {Evaluating and Improving Recursive Descent Parsers},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {5},
pages = {472--480},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234208},
doi = {10.1109/TSE.1979.234208},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/CohenSA79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ComerH79,
author = {Douglas Comer and
Maurice H. Halstead},
title = {A Simple Experiment in Top-Down Design},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {2},
pages = {105--109},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234166},
doi = {10.1109/TSE.1979.234166},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ComerH79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CurtisSMBL79,
author = {Bill Curtis and
Sylvia B. Sheppard and
Phil Milliman and
M. A. Borst and
Tom Love},
title = {Measuring the Psychological Complexity of Software Maintenance Tasks
with the Halstead and McCabe Metrics},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {2},
pages = {96--104},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234165},
doi = {10.1109/TSE.1979.234165},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/CurtisSMBL79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/EkanadhamB79,
author = {Kattamuri Ekanadham and
Arthur J. Bernstein},
title = {Conditional Capabilities},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {5},
pages = {458--464},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.230184},
doi = {10.1109/TSE.1979.230184},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/EkanadhamB79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Emden79,
author = {Maarten H. van Emden},
title = {Programming with Verification Conditions},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {2},
pages = {148--159},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234171},
doi = {10.1109/TSE.1979.234171},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Emden79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Fairley79,
author = {Richard E. Fairley},
title = {{ALADDIN:} Assembly Language Assertion Driven Debugging Interpreter},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {4},
pages = {426--428},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.230176},
doi = {10.1109/TSE.1979.230176},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Fairley79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Gligor79,
author = {Virgil D. Gligor},
title = {Review and Revocation of Access Privileges Distributed Through Capabilities},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {6},
pages = {575--586},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.230193},
doi = {10.1109/TSE.1979.230193},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Gligor79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/GligorL79,
author = {Virgil D. Gligor and
Bruce G. Lindsay},
title = {Object Migration and Authentication},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {6},
pages = {607--611},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.230196},
doi = {10.1109/TSE.1979.230196},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/GligorL79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/GonnetM79,
author = {Gaston H. Gonnet and
David E. Morgan},
title = {Analysis of Closed Queuing Networks with Periodic Servers},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {6},
pages = {653--659},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.230201},
doi = {10.1109/TSE.1979.230201},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/GonnetM79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Gordon79,
author = {Ronald D. Gordon},
title = {Measuring Improvements in Program Clarity},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {2},
pages = {79--90},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234163},
doi = {10.1109/TSE.1979.234163},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Gordon79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Gordon79a,
author = {Ronald D. Gordon},
title = {A Qualitative Justification for a Measure of Program Clarity},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {2},
pages = {121--128},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234168},
doi = {10.1109/TSE.1979.234168},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Gordon79a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Halstead79,
author = {Maurice H. Halstead},
title = {Guest Editorial on Software Science},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {2},
pages = {74--75},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234161},
doi = {10.1109/TSE.1979.234161},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Halstead79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Harrison79,
author = {William H. Harrison},
title = {A New Strategy for Code Generation - the General-Purpose Optimizing
Compiler},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {4},
pages = {367--373},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234204},
doi = {10.1109/TSE.1979.234204},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Harrison79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HevnerY79,
author = {Alan R. Hevner and
S. Bing Yao},
title = {Query Processing in Distributed Database Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {3},
pages = {177--187},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234179},
doi = {10.1109/TSE.1979.234179},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HevnerY79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HewittA79,
author = {Carl Hewitt and
Russell R. Atkinson},
title = {Specification and Proof Techniques for Serializers},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {1},
pages = {10--23},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234149},
doi = {10.1109/TSE.1979.234149},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/HewittA79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HsiaoKN79,
author = {David K. Hsiao and
Douglas S. Kerr and
Chen{-}Jen Nee},
title = {Database Access Control in the Presence of Context Dependent Protection
Requirement},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {4},
pages = {349--358},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234202},
doi = {10.1109/TSE.1979.234202},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HsiaoKN79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Huang79,
author = {J. C. Huang},
title = {Detection of Data Flow Anomaly Through Program Instrumentation},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {3},
pages = {226--236},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234184},
doi = {10.1109/TSE.1979.234184},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Huang79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Katzenelson79,
author = {Jacob Katzenelson},
title = {Clusters and Dialogues for Set Implementations},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {3},
pages = {256--275},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234187},
doi = {10.1109/TSE.1979.234187},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Katzenelson79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LinLD79,
author = {W. C. Lin and
Richard C. T. Lee and
David Hung{-}Chang Du},
title = {Common Properties of Some Multiattribute File Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {2},
pages = {160--174},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234172},
doi = {10.1109/TSE.1979.234172},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/LinLD79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LiskovS79,
author = {Barbara H. Liskov and
Alan Snyder},
title = {Exception Handling in {CLU}},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {6},
pages = {546--558},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.230191},
doi = {10.1109/TSE.1979.230191},
timestamp = {Thu, 23 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/LiskovS79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LucenaP79,
author = {Carlos Jos{\'{e}} Pereira de Lucena and
Tarcisio H. C. Pequeno},
title = {Program Derivation Using Data Types: {A} Case Study},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {6},
pages = {586--592},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.230194},
doi = {10.1109/TSE.1979.230194},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/LucenaP79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MannaW79,
author = {Zohar Manna and
Richard J. Waldinger},
title = {Synthesis: Dreams - Programs},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {4},
pages = {294--328},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234198},
doi = {10.1109/TSE.1979.234198},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MannaW79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Marie79,
author = {Raymond A. Marie},
title = {An Approximate Analytical Method for General Queueing Networks},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {5},
pages = {530--538},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234214},
doi = {10.1109/TSE.1979.234214},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/Marie79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Masuda79,
author = {Takashi Masuda},
title = {Methods for the Measurement of Memory Utilization and the Improvement
of Program Locality},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {6},
pages = {618--631},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.230198},
doi = {10.1109/TSE.1979.230198},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Masuda79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/McGrawA79,
author = {James R. McGraw and
Gregory R. Andrews},
title = {Access Control in Parallel Programs},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {1},
pages = {1--9},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234148},
doi = {10.1109/TSE.1979.234148},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/McGrawA79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MenasceM79,
author = {Daniel A. Menasc{\'{e}} and
Richard R. Muntz},
title = {Locking and Deadlock Detection in Distributed Data Bases},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {3},
pages = {195--202},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234181},
doi = {10.1109/TSE.1979.234181},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MenasceM79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Moriconi79,
author = {Mark Moriconi},
title = {A Designer/Verifiers's Assistant},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {4},
pages = {387--401},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234206},
doi = {10.1109/TSE.1979.234206},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Moriconi79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/NtafosH79,
author = {Simeon C. Ntafos and
S. Louis Hakimi},
title = {On Path Cover Problems in Digraphs and Applications to Program Testing},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {5},
pages = {520--529},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234213},
doi = {10.1109/TSE.1979.234213},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/NtafosH79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/OldehoeftB79,
author = {R. R. Oldehoeft and
Leonard J. Bass},
title = {Dynamic Software Science with Applications},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {5},
pages = {497--504},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234210},
doi = {10.1109/TSE.1979.234210},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/OldehoeftB79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Ottenstein79,
author = {Linda M. Ottenstein},
title = {Quantitative Estimates of Debugging Requirements},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {5},
pages = {504--514},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234211},
doi = {10.1109/TSE.1979.234211},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Ottenstein79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Parnas79,
author = {David Lorge Parnas},
title = {Designing Software for Ease of Extension and Contraction},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {2},
pages = {128--138},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234169},
doi = {10.1109/TSE.1979.234169},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Parnas79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Polak79,
author = {Wolfgang Polak},
title = {An Exercise in Automatic Program Verification},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {5},
pages = {453--458},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.230183},
doi = {10.1109/TSE.1979.230183},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Polak79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Robinson79,
author = {John T. Robinson},
title = {Some Analysis Techniques for Asynchronous Multiprocessor Algorithms},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {1},
pages = {24--31},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234150},
doi = {10.1109/TSE.1979.234150},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Robinson79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Roussopoulos79,
author = {Nick Roussopoulos},
title = {{CSDL:} {A} Conceptual Schema Definition Language for the Design of
Data Base Applications},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {5},
pages = {481--496},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234209},
doi = {10.1109/TSE.1979.234209},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Roussopoulos79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Ryder79,
author = {Barbara G. Ryder},
title = {Constructing the Call Graph of a Program},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {3},
pages = {216--226},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234183},
doi = {10.1109/TSE.1979.234183},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Ryder79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RypkaL79,
author = {David J. Rypka and
Anthony P. Lucido},
title = {Deadlock Detection and Avoidance for Shared Logical Resources},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {5},
pages = {465--471},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.230185},
doi = {10.1109/TSE.1979.230185},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/RypkaL79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SchneidewindH79,
author = {Norman F. Schneidewind and
Heinz{-}Michael Hoffmann},
title = {An Experiment in Software Error Data Collection and Analysis},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {3},
pages = {276--286},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234188},
doi = {10.1109/TSE.1979.234188},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/SchneidewindH79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Schutz79,
author = {Henrik A. Schutz},
title = {On the Design of a Language for Programming Real-Time Concurrent Processes},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {3},
pages = {248--255},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234186},
doi = {10.1109/TSE.1979.234186},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Schutz79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Silberschatz79,
author = {Abraham Silberschatz},
title = {Communication and Synchronization in Distributed Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {6},
pages = {542--546},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.230190},
doi = {10.1109/TSE.1979.230190},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Silberschatz79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Spirn79,
author = {Jeffrey R. Spirn},
title = {Queuing Networks with Random Selection for Service},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {3},
pages = {287--289},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234189},
doi = {10.1109/TSE.1979.234189},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Spirn79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Stonebraker79,
author = {Michael Stonebraker},
title = {Concurrency Control and Consistency of Multiple Copies of Data in
Distributed {INGRES}},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {3},
pages = {188--194},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234180},
doi = {10.1109/TSE.1979.234180},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Stonebraker79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Towster79,
author = {Edwin Towster},
title = {A Convention for Explicit Declaration of Environments and Top-Down
Refinement of Data},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {4},
pages = {374--386},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234205},
doi = {10.1109/TSE.1979.234205},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Towster79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/TrivediW79,
author = {Kishor S. Trivedi and
Robert A. Wagner},
title = {A Decision Model for Closed Queuing Networks},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {4},
pages = {328--332},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234199},
doi = {10.1109/TSE.1979.234199},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/TrivediW79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Waters79,
author = {Richard C. Waters},
title = {A Method for Analyzing Loop Programs},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {3},
pages = {237--247},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234185},
doi = {10.1109/TSE.1979.234185},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Waters79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WetherellS79,
author = {Charles S. Wetherell and
Alfred Shannon},
title = {Tidy Drawings of Trees},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {5},
pages = {514--520},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234212},
doi = {10.1109/TSE.1979.234212},
timestamp = {Fri, 16 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/WetherellS79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Woodfield79,
author = {Scott N. Woodfield},
title = {An Experiment on Unit Increase in Problem Complexity},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {2},
pages = {76--79},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234162},
doi = {10.1109/TSE.1979.234162},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Woodfield79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WoodwardHH79,
author = {Martin R. Woodward and
Michael A. Hennell and
David Hedley},
title = {A Measure of Control Flow Complexity in Program Text},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {1},
pages = {45--50},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.226497},
doi = {10.1109/TSE.1979.226497},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/WoodwardHH79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Wortman79,
author = {David B. Wortman},
title = {On Legality Assertions in Euclid},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {4},
pages = {359--367},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234203},
doi = {10.1109/TSE.1979.234203},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Wortman79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Yeh79,
author = {Raymond T. Yeh},
title = {In Memory of Maurice H. Halstead},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {2},
pages = {74},
year = {1979},
timestamp = {Wed, 19 Nov 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/Yeh79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ZwebenH79,
author = {Stuart H. Zweben and
Maurice H. Halstead},
title = {The Frequency Distribution of Operators in {PL/I} Programs},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {2},
pages = {91--95},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234164},
doi = {10.1109/TSE.1979.234164},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ZwebenH79.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.
retrieved on 2025-01-05 05:34 CET 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:
