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/tse13.bht:"
download as .bib file
@article{DBLP:journals/tse/AggarwalBM87,
author = {Sudhir Aggarwal and
Daniel Barbar{\'{a}} and
Kalman Z. Meth},
title = {{SPANNER:} {A} Tool for the Specification, Analysis, and Evaluation
of Protocols},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {12},
pages = {1218--1237},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232877},
doi = {10.1109/TSE.1987.232877},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AggarwalBM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AgrawalCM87,
author = {Rakesh Agrawal and
Michael J. Carey and
Lawrence W. McVoy},
title = {The Performance of Alternative Strategies for Dealing with Deadlocks
in Database Management Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {12},
pages = {1348--1363},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233145},
doi = {10.1109/TSE.1987.233145},
timestamp = {Tue, 07 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/AgrawalCM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AgrawalE87,
author = {Rakesh Agrawal and
Ahmed K. Ezzat},
title = {Location Independent Remote Execution in {NEST}},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {8},
pages = {905--912},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233509},
doi = {10.1109/TSE.1987.233509},
timestamp = {Tue, 07 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/AgrawalE87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AlmesH87,
author = {Guy T. Almes and
Cara L. Holman},
title = {Edmas: An Object-Oriented, Locally Distributed Mail System},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {9},
pages = {1001--1009},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233522},
doi = {10.1109/TSE.1987.233522},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AlmesH87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AndrewsSHP87,
author = {Gregory R. Andrews and
Richard D. Schlichting and
Roger Hayes and
Titus D. M. Purdin},
title = {The Design of the Saguaro Distributed Operating System},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {1},
pages = {104--118},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232839},
doi = {10.1109/TSE.1987.232839},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AndrewsSHP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Ardis87,
author = {Mark A. Ardis},
title = {The Evolution of Wang Institute's Master of Software Engineering Program},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {11},
pages = {1149--1155},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232863},
doi = {10.1109/TSE.1987.232863},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Ardis87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BagrodiaCM87,
author = {Rajive L. Bagrodia and
K. Mani Chandy and
Jayadev Misra},
title = {A Message-Based Approach to Discrete-Event Simulation},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {6},
pages = {654--665},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233203},
doi = {10.1109/TSE.1987.233203},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BagrodiaCM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BasiliS87,
author = {Victor R. Basili and
Richard W. Selby},
title = {Comparing the Effectiveness of Software Testing Strategies},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {12},
pages = {1278--1296},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232881},
doi = {10.1109/TSE.1987.232881},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BasiliS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BendifallahS87,
author = {Salah Bendifallah and
Walt Scacchi},
title = {Understanding Software Maintenance Work},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {3},
pages = {311--323},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233162},
doi = {10.1109/TSE.1987.233162},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BendifallahS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Bengtson87,
author = {Neal M. Bengtson},
title = {Measuring Errors in Operational Analysis Assumptions},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {7},
pages = {767--776},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233488},
doi = {10.1109/TSE.1987.233488},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Bengtson87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BentleyD87,
author = {Jon Louis Bentley and
John A. Dallen},
title = {Exercises in Software Design},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {11},
pages = {1164--1169},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232865},
doi = {10.1109/TSE.1987.232865},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BentleyD87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Berry87,
author = {Daniel M. Berry},
title = {Towards a Formal Basis for the Formal Development Method and the Ina
Jo Specification Language},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {2},
pages = {184--201},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232891},
doi = {10.1109/TSE.1987.232891},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Berry87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BershadCLSS87,
author = {Brian N. Bershad and
Dennis T. Ching and
Edward D. Lazowska and
Jan Sanislo and
Michael F. Schwartz},
title = {A Remote Procedure Call Facility for Interconnecting Heterogeneous
Computer Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {8},
pages = {880--894},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233507},
doi = {10.1109/TSE.1987.233507},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BershadCLSS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BiswasR87,
author = {Somenath Biswas and
V. Rajaraman},
title = {An Algorithm to Decide Feasibility of Linear Integer Constraints Occurring
in Decision Tables},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {12},
pages = {1340--1347},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233144},
doi = {10.1109/TSE.1987.233144},
timestamp = {Tue, 17 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/BiswasR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BlackHJLC87,
author = {Andrew P. Black and
Norman C. Hutchinson and
Eric Jul and
Henry M. Levy and
Larry Carter},
title = {Distribution and Abstract Types in Emerald},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {1},
pages = {65--76},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232836},
doi = {10.1109/TSE.1987.232836},
timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BlackHJLC87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Blum87,
author = {Bruce I. Blum},
title = {A Paradigm for Developing Information Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {4},
pages = {432--439},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233180},
doi = {10.1109/TSE.1987.233180},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Blum87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BochmannGS87,
author = {Gregor von Bochmann and
George Walter Gerber and
Jean{-}Marc Serre},
title = {Semiautomatic Implementation of Communication Protocols},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {9},
pages = {989--1000},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233521},
doi = {10.1109/TSE.1987.233521},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BochmannGS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BochmannV87,
author = {Gregor von Bochmann and
Jean{-}Pierre Verjus},
title = {Some Comments on "Transition-Oriented" Versus "Structured" Specification
of Distributed Algorithms and Protocols},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {4},
pages = {501--505},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233188},
doi = {10.1109/TSE.1987.233188},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BochmannV87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BoksenbaumCFP87,
author = {Claude Boksenbaum and
Mich{\`{e}}le Cart and
Jean Ferri{\'{e}} and
Jean{-}Fran{\c{c}}ois Pons},
title = {Concurrent Certifications by Intervals of Timestamps in Distributed
Database Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {4},
pages = {409--419},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233178},
doi = {10.1109/TSE.1987.233178},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BoksenbaumCFP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BurnsR87,
author = {James E. Burns and
Edward L. Robertson},
title = {Two Complementary Course Sequences on the Design and Implementation
of Software Products},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {11},
pages = {1170--1175},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232866},
doi = {10.1109/TSE.1987.232866},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BurnsR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BurtonMOW87,
author = {F. Warren Burton and
Dieter Maurer and
Hans{-}Georg Oberhauser and
Reinhard Wilhelm},
title = {A Space-Efficient Optimization of Call-by-Need},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {6},
pages = {636--642},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233474},
doi = {10.1109/TSE.1987.233474},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BurtonMOW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CardMP87,
author = {David N. Card and
Frank E. McGarry and
Gerald T. Page},
title = {Evaluating Software Engineering Technologies},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {7},
pages = {845--851},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233495},
doi = {10.1109/TSE.1987.233495},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/CardMP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Carey87,
author = {Michael J. Carey},
title = {Improving the Performance of an Optimistic Concurrency Control Algorithm
Through Timestamps and Versions},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {6},
pages = {746--760},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233479},
doi = {10.1109/TSE.1987.233479},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/Carey87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CherniavskyS87,
author = {John C. Cherniavsky and
Carl H. Smith},
title = {A Recursion Theoretic Approach to Program Testing},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {7},
pages = {777--784},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233489},
doi = {10.1109/TSE.1987.233489},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/CherniavskyS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ChinP87,
author = {Y. H. Chin and
Weng{-}Ling Peng},
title = {An Evaluation of Two New Inference Control Methods},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {12},
pages = {1329--1339},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233143},
doi = {10.1109/TSE.1987.233143},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ChinP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ChinR87,
author = {Francis Y. L. Chin and
K. V. S. Ramarao},
title = {An Information-Based Model for Failure-Handling in Distributed Database
Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {4},
pages = {420--431},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233179},
doi = {10.1109/TSE.1987.233179},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ChinR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Chusho87,
author = {Takeshi Chusho},
title = {Test Data Selection and Quality Estimation Based on the Concept of
Esssential Branches for Path Testing},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {5},
pages = {509--517},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233196},
doi = {10.1109/TSE.1987.233196},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Chusho87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CidonJS87,
author = {Israel Cidon and
Jeffrey M. Jaffe and
Moshe Sidi},
title = {Local Distributed Deadlock Detection by Cycle Detection and Clustering},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {1},
pages = {3--14},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232560},
doi = {10.1109/TSE.1987.232560},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/CidonJS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Dalal87,
author = {Yogen K. Dalal},
title = {A Distributed Algorithm for Constructing Minimal Spanning Trees},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {3},
pages = {398--405},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233171},
doi = {10.1109/TSE.1987.233171},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Dalal87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DasASPG87,
author = {Sajal K. Das and
V. K. Agrawal and
Dilip Sarkar and
Lalit M. Patnaik and
Prem Shankar Goel},
title = {Reflexive Incidence Matrix {(RIM)} Representation of Petri Nets},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {6},
pages = {643--653},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233202},
doi = {10.1109/TSE.1987.233202},
timestamp = {Tue, 10 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/DasASPG87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Davidson87,
author = {Colin M. Davidson},
title = {A Note on Concurrent Programming Control},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {7},
pages = {865--866},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233498},
doi = {10.1109/TSE.1987.233498},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Davidson87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DeWittFS87,
author = {David J. DeWitt and
Raphael A. Finkel and
Marvin H. Solomon},
title = {The Crystal Multicomputer: Design and Implementation Experience},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {8},
pages = {953--966},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233513},
doi = {10.1109/TSE.1987.233513},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/DeWittFS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DeenAT87,
author = {S. Misbah Deen and
R. R. Amin and
Malcolm C. Taylor},
title = {Data Integration in Distributed Databases},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {7},
pages = {860--864},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233497},
doi = {10.1109/TSE.1987.233497},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/DeenAT87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Denning87,
author = {Dorothy E. Denning},
title = {An Intrusion-Detection Model},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {2},
pages = {222--232},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232894},
doi = {10.1109/TSE.1987.232894},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/Denning87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DenningAHLMNS87,
author = {Dorothy E. Denning and
Selim G. Akl and
Mark R. Heckman and
Teresa F. Lunt and
Matthew Morgenstern and
Peter G. Neumann and
Roger R. Schell},
title = {Views for Multilevel Database Security},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {2},
pages = {129--140},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232889},
doi = {10.1109/TSE.1987.232889},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/DenningAHLMNS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Estrin87,
author = {Deborah Estrin},
title = {Controls for Interorganization Networks},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {2},
pages = {249--261},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233149},
doi = {10.1109/TSE.1987.233149},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Estrin87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/FarragO87,
author = {Abdel Aziz Farrag and
M. Tamer {\"{O}}zsu},
title = {Towards a General Concurrency Control Algorithm for Database Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {10},
pages = {1073--1079},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232849},
doi = {10.1109/TSE.1987.232849},
timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/FarragO87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/FelgentreuLS87,
author = {Kay{-}Ulrich Felgentreu and
Wolfram{-}Manfred Lippe and
Friedemann H. Simon},
title = {Optimizing Static Scope Lisp by Repetitive Interpretation of Recursive
Function Calls},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {6},
pages = {628--635},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233473},
doi = {10.1109/TSE.1987.233473},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/FelgentreuLS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Foo87,
author = {Norman Y. Foo},
title = {Algebraic Specifications as Solutions of Implementation Equations},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {12},
pages = {1364--1369},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233146},
doi = {10.1109/TSE.1987.233146},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Foo87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Freeman87,
author = {Peter Freeman},
title = {A Conceptual Analysis of the Draco Approach to Constructing Software
Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {7},
pages = {830--844},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233494},
doi = {10.1109/TSE.1987.233494},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Freeman87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Freeman87a,
author = {Peter Freeman},
title = {Essential Elements of Software Engineering Education Revisited},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {11},
pages = {1143--1148},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232862},
doi = {10.1109/TSE.1987.232862},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Freeman87a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/FuchsWA87,
author = {W. Kent Fuchs and
Kun{-}Lung Wu and
Jacob A. Abraham},
title = {Comparison and Diagnosis of Large Replicated Files},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {1},
pages = {15--22},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232561},
doi = {10.1109/TSE.1987.232561},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/FuchsWA87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/GannonHM87,
author = {John D. Gannon and
Richard G. Hamlet and
Harlan D. Mills},
title = {Theory of Modules},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {7},
pages = {820--829},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233493},
doi = {10.1109/TSE.1987.233493},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/GannonHM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Gibbons87,
author = {Phillip B. Gibbons},
title = {A Stub Generator for Multilanguage {RPC} in Heterogeneous Environments},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {1},
pages = {77--87},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232837},
doi = {10.1109/TSE.1987.232837},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Gibbons87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Girling87,
author = {C. Gray Girling},
title = {Covert Channels in LAN's},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {2},
pages = {292--296},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233153},
doi = {10.1109/TSE.1987.233153},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/Girling87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/GligorCCDHJJLV87,
author = {Virgil D. Gligor and
C. Sekar Chandersekaran and
Robert S. Chapman and
Leslie J. Dotterer and
Matthew S. Hecht and
Wen{-}Der Jiang and
Abhai Johri and
Gary L. Luckenbaugh and
N. Vasudevan},
title = {Design and Implementation of Secure Xenix},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {2},
pages = {208--221},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232893},
doi = {10.1109/TSE.1987.232893},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/GligorCCDHJJLV87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/GligorCJJLR87,
author = {Virgil D. Gligor and
C. Sekar Chandersekaran and
Wen{-}Der Jiang and
Abhai Johri and
Gary L. Luckenbaugh and
L. Edward Reich},
title = {A New Security Testing Method and Its Application to the Secure Xenix
Kernel},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {2},
pages = {169--183},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232890},
doi = {10.1109/TSE.1987.232890},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/GligorCJJLR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/GurbaxaniM87,
author = {Vijay Gurbaxani and
Haim Mendelson},
title = {Software and Hardware in Data Processing Budgets},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {9},
pages = {1010--1017},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233523},
doi = {10.1109/TSE.1987.233523},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/GurbaxaniM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HaighKMY87,
author = {J. Thomas Haigh and
Richard A. Kemmerer and
John McHugh and
William D. Young},
title = {An Experience Using Two Covert Channel Analysis Techniques on a Real
System Design},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {2},
pages = {157--168},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.226479},
doi = {10.1109/TSE.1987.226479},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HaighKMY87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HaighY87,
author = {J. Thomas Haigh and
William D. Young},
title = {Extending the Noninterference Version of {MLS} for {SAT}},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {2},
pages = {141--150},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.226478},
doi = {10.1109/TSE.1987.226478},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HaighY87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HalpernOPW87,
author = {J. Daniel Halpern and
Sam Owre and
Norman Proctor and
William F. Wilson},
title = {Muse - {A} Computer Assisted Verification System},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {2},
pages = {151--156},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.226477},
doi = {10.1109/TSE.1987.226477},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HalpernOPW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HayesS87,
author = {Roger Hayes and
Richard D. Schlichting},
title = {Facilitating Mixed Language Programming in Distributed Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {12},
pages = {1254--1264},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232879},
doi = {10.1109/TSE.1987.232879},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HayesS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HollidayV87,
author = {Mark A. Holliday and
Mary K. Vernon},
title = {A Generalized Times Petri Net Model for Performance Analysis},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {12},
pages = {1297--1310},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233141},
doi = {10.1109/TSE.1987.233141},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HollidayV87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Holzmann87,
author = {Gerard J. Holzmann},
title = {Automated Protocol Validation in \emph{Argos: } Assertion Proving
and Scatter Searching},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {6},
pages = {683--696},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233206},
doi = {10.1109/TSE.1987.233206},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Holzmann87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Jain87,
author = {Hemant K. Jain},
title = {A Comprehensive Model for the Design of Distributed Computer Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {10},
pages = {1092--1104},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232851},
doi = {10.1109/TSE.1987.232851},
timestamp = {Tue, 29 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/Jain87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/JainL87,
author = {Pradeep Jain and
Simon S. Lam},
title = {Modeling and Verification of Real-Time Protocols for Broadcast Networks},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {8},
pages = {924--937},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233511},
doi = {10.1109/TSE.1987.233511},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/JainL87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Jajodia87,
author = {Sushil Jajodia},
title = {An Extension of "Representative Instances and gamma-Acyclic Relational
Schemes"},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {9},
pages = {1047--1048},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233792},
doi = {10.1109/TSE.1987.233792},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Jajodia87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/JajodiaS87,
author = {Sushil Jajodia and
Frederick N. Springsteel},
title = {Construction of Universal Instances for Loop-Free Network Databases
Using a Join-Like Operation},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {7},
pages = {811--819},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233492},
doi = {10.1109/TSE.1987.233492},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/JajodiaS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Jeffery87,
author = {D. Ross Jeffery},
title = {Time-Sensitive Cost Models in the Commercial {MIS} Environment},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {7},
pages = {852--859},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233496},
doi = {10.1109/TSE.1987.233496},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Jeffery87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/JongeTR87,
author = {Wiebren de Jonge and
Andrew S. Tanenbaum and
Reind P. van de Riet},
title = {Two Access Methods Using Compact Binary Trees},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {7},
pages = {799--810},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233491},
doi = {10.1109/TSE.1987.233491},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/JongeTR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KafuraR87,
author = {Dennis G. Kafura and
Geereddy R. Reddy},
title = {The Use of Software Complexity Metrics in Software Maintenance},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {3},
pages = {335--343},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233164},
doi = {10.1109/TSE.1987.233164},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KafuraR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KainL87,
author = {Richard Y. Kain and
Carl E. Landwehr},
title = {On Access Checking in Capability-Based Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {2},
pages = {202--207},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232892},
doi = {10.1109/TSE.1987.232892},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KainL87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KamathM87,
author = {Yogeesh H. Kamath and
Manton M. Matthews},
title = {Implementation of an FP-Shell},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {5},
pages = {532--539},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233198},
doi = {10.1109/TSE.1987.233198},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KamathM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KatzS87,
author = {Shmuel Katz and
Oded Shmueli},
title = {Cooperative Distributed Algorithms for Dynamic Cycle Prevention},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {5},
pages = {540--552},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233199},
doi = {10.1109/TSE.1987.233199},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KatzS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KaviBB87,
author = {Krishna M. Kavi and
Bill P. Buckles and
U. Narayan Bhat},
title = {Isomorphisms Between Petri Nets and Dataflow Graphs},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {10},
pages = {1127--1134},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232854},
doi = {10.1109/TSE.1987.232854},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KaviBB87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KnightU87,
author = {John C. Knight and
John I. A. Urquhart},
title = {On the Implementation and Use of Ada on Fault-Tolerant Distributed
Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {5},
pages = {553--563},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233200},
doi = {10.1109/TSE.1987.233200},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KnightU87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KooT87,
author = {Richard Koo and
Sam Toueg},
title = {Checkpointing and Rollback-Recovery for Distributed Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {1},
pages = {23--31},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232562},
doi = {10.1109/TSE.1987.232562},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KooT87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LaviBB87,
author = {Jonah Z. Lavi and
Moshe I. Ben{-}Porat and
Amram Ben{-}David},
title = {{IAI} Corporate Software Engineering Training and Education Program},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {11},
pages = {1207--1216},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232871},
doi = {10.1109/TSE.1987.232871},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/LaviBB87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Lee87,
author = {Tony T. Lee},
title = {An Information-Theoretic Analysis of Relational Databases - Part {I:}
Data Dependencies and Information Metric},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {10},
pages = {1049--1061},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232847},
doi = {10.1109/TSE.1987.232847},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Lee87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Lee87a,
author = {Tony T. Lee},
title = {An Information-Theoretic Analysis of Relational Databases - Part {II:}
Information Structures of Database Schemas},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {10},
pages = {1061--1072},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232848},
doi = {10.1109/TSE.1987.232848},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Lee87a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LeuB87,
author = {Pei{-}Jyun Leu and
Bharat K. Bhargava},
title = {Multidimensional Timestamp Protocols for Concurrency Control},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {12},
pages = {1238--1253},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232878},
doi = {10.1109/TSE.1987.232878},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/LeuB87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LeungR87,
author = {Hareton K. N. Leung and
Hassan K. Reghbati},
title = {Comments on Program Slicing},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {12},
pages = {1370--1371},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233147},
doi = {10.1109/TSE.1987.233147},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/LeungR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LeventhalM87,
author = {Laura M. Leventhal and
Barbee T. Mynatt},
title = {Components of Typical Undergraduate Software Engineering Courses:
Results from a Survey},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {11},
pages = {1193--1198},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232869},
doi = {10.1109/TSE.1987.232869},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/LeventhalM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LevesonS87,
author = {Nancy G. Leveson and
Janice L. Stolzy},
title = {Safety Analysis Using Petri Nets},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {3},
pages = {386--397},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233170},
doi = {10.1109/TSE.1987.233170},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/LevesonS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LiC87,
author = {Hon Fung Li and
W. K. Cheung},
title = {An Empirical Study of Software Metrics},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {6},
pages = {697--708},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233475},
doi = {10.1109/TSE.1987.233475},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/LiC87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LinK87,
author = {Frank C. H. Lin and
Robert M. Keller},
title = {The Gradient Model Load Balancing Method},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {1},
pages = {32--38},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232563},
doi = {10.1109/TSE.1987.232563},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/LinK87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Magott87,
author = {Jan Magott},
title = {New NP-Complete Problems in Performance Evaluation of Concurrent Systems
Using Petri Nets},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {5},
pages = {578--581},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233462},
doi = {10.1109/TSE.1987.233462},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Magott87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MasuyamaINH87,
author = {Shigeru Masuyama and
Toshihide Ibaraki and
Shojiro Nishio and
Toshiharu Hasegawa},
title = {Shortest Semijoin Schedule for a Local Area Distributed Database System},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {5},
pages = {602--606},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233465},
doi = {10.1109/TSE.1987.233465},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MasuyamaINH87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Mathur87,
author = {Raghubir N. Mathur},
title = {Methodology for Business System Development},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {5},
pages = {593--601},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233464},
doi = {10.1109/TSE.1987.233464},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Mathur87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MatsumuraMA87,
author = {Kazuo Matsumura and
Hiroyuki Mizutani and
Masahiko Arai},
title = {An Application of Structural Modeling to Software Requirements Analysis
and Design},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {4},
pages = {461--471},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233182},
doi = {10.1109/TSE.1987.233182},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MatsumuraMA87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/McKeeman87,
author = {William M. McKeeman},
title = {Experience with a Software Engineering Project Course},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {11},
pages = {1182--1192},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232868},
doi = {10.1109/TSE.1987.232868},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/McKeeman87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MeadowsM87,
author = {Catherine Meadows and
David Mutchler},
title = {Matching Secrets in the Absence of a Continuously Available Trusted
Authority},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {2},
pages = {289--292},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233152},
doi = {10.1109/TSE.1987.233152},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MeadowsM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MillenCF87,
author = {Jonathan K. Millen and
Sidney C. Clark and
Sheryl B. Freedman},
title = {The Interrogator: Protocol Security Analysis},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {2},
pages = {274--288},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233151},
doi = {10.1109/TSE.1987.233151},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MillenCF87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Milutinovic87,
author = {Veljko M. Milutinovic},
title = {A Simulation Study of the Vertical-Migration Microprocessor Architecture},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {12},
pages = {1265--1277},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232880},
doi = {10.1109/TSE.1987.232880},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Milutinovic87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MittermeirO87,
author = {Roland T. Mittermeir and
Marcus Oppitz},
title = {Software Bases for the Flexible Composition of Application Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {4},
pages = {440--460},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233181},
doi = {10.1109/TSE.1987.233181},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MittermeirO87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MooreS87,
author = {Judy H. Moore and
Gustavus J. Simmons},
title = {Cycle Structure of the {DES} for Keys Having Palindromic (or Antipalindromic)
Sequences of Round Keys},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {2},
pages = {262--273},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233150},
doi = {10.1109/TSE.1987.233150},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MooreS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MorganR87,
author = {E. Timothy Morgan and
Rami R. Razouk},
title = {Interactive State-Space Analysis of Concurrent Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {10},
pages = {1080--1091},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232850},
doi = {10.1109/TSE.1987.232850},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MorganR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Motro87,
author = {Amihai Motro},
title = {Superviews: Virtual Integration of Multiple Databases},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {7},
pages = {785--798},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233490},
doi = {10.1109/TSE.1987.233490},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Motro87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MouradA87,
author = {Samiha Mourad and
Dorothy Andrews},
title = {On the Reliability of the {IBM} {MVS/XA} Operating},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {10},
pages = {1135--1139},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232855},
doi = {10.1109/TSE.1987.232855},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MouradA87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/NarayanaswamyS87,
author = {K. Narayanaswamy and
Walt Scacchi},
title = {Maintaining Configurations of Evolving Software Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {3},
pages = {324--334},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233163},
doi = {10.1109/TSE.1987.233163},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/NarayanaswamyS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/NehmerHMWR87,
author = {J{\"{u}}rgen Nehmer and
Dieter Haban and
Friedemann Mattern and
Dieter Wybranietz and
H. Dieter Rombach},
title = {Key Concepts of the {INCAS} Multicomputer Project},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {8},
pages = {913--923},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233510},
doi = {10.1109/TSE.1987.233510},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/NehmerHMWR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Nessett87,
author = {Dan M. Nessett},
title = {Factors Affecting Distributed System Security},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {2},
pages = {233--248},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233148},
doi = {10.1109/TSE.1987.233148},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Nessett87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/NicolaKT87,
author = {Victor F. Nicola and
Vidyadhar G. Kulkarni and
Kishor S. Trivedi},
title = {Queueing Analysis of Fault-Tolerant Computer Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {3},
pages = {363--375},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233168},
doi = {10.1109/TSE.1987.233168},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/NicolaKT87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Pagan87,
author = {Frank G. Pagan},
title = {Program Structure Charts for Applicative Languages},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {4},
pages = {490--497},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233185},
doi = {10.1109/TSE.1987.233185},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Pagan87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/PratherM87,
author = {Ronald E. Prather and
J. Paul Myers Jr.},
title = {The Path Prefix Software Testing Strategy},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {7},
pages = {761--766},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233487},
doi = {10.1109/TSE.1987.233487},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/PratherM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/PunB87,
author = {K. H. Pun and
Geneva G. Belford},
title = {Performance Study of Two Phase Locking in Single-Site Database Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {12},
pages = {1311--1328},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233142},
doi = {10.1109/TSE.1987.233142},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/PunB87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/PurushothamanS87,
author = {S. Purushothaman and
P. A. Subrahmanyam},
title = {Reasoning About Probabilistic Behavior in Concurrent Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {6},
pages = {740--745},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233478},
doi = {10.1109/TSE.1987.233478},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/PurushothamanS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Rajlich87,
author = {V{\'{a}}clav Rajlich},
title = {Refinement Methodology for Ada},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {4},
pages = {472--478},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233183},
doi = {10.1109/TSE.1987.233183},
timestamp = {Wed, 06 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Rajlich87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RameshM87,
author = {S. Ramesh and
S. L. Mehndiratta},
title = {A Methodology for Developing Distributed Programs},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {8},
pages = {967--976},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233514},
doi = {10.1109/TSE.1987.233514},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/RameshM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ReaJ87,
author = {Kevin Rea and
Robert de B. Johnston},
title = {Automated Analysis of Discrete Communication Behavior},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {10},
pages = {1115--1126},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232853},
doi = {10.1109/TSE.1987.232853},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ReaJ87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Reiss87,
author = {Steven P. Reiss},
title = {Automatic Compiler Production: The Front End},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {6},
pages = {609--627},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233472},
doi = {10.1109/TSE.1987.233472},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Reiss87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RiddleW87,
author = {William E. Riddle and
Lloyd G. Williams},
title = {Technology Selection: An Educational Approach},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {11},
pages = {1199--1206},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232870},
doi = {10.1109/TSE.1987.232870},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/RiddleW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RobbW87,
author = {Heather W. Robb and
Heinz Roland Weistroffer},
title = {Performance Criteria for Constrained Nonlinear Programming Codes},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {4},
pages = {479--489},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233184},
doi = {10.1109/TSE.1987.233184},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/RobbW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RoeR87,
author = {Robert P. Roe and
John H. Rowland},
title = {Some Theory Concerning Certification of Mathematical Subroutines by
Black Box Testing},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {6},
pages = {677--682},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233205},
doi = {10.1109/TSE.1987.233205},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/RoeR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Rombach87,
author = {H. Dieter Rombach},
title = {A Controlled Experiment on the Impact of Software Structure on Maintainability},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {3},
pages = {344--354},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233165},
doi = {10.1109/TSE.1987.233165},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Rombach87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SahnerT87,
author = {Robin A. Sahner and
Kishor S. Trivedi},
title = {Performance and Reliability Analysis Using Directed Acyclic Graphs},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {10},
pages = {1105--1114},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232852},
doi = {10.1109/TSE.1987.232852},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/SahnerT87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SarikayaBC87,
author = {Beh{\c{c}}et Sarikaya and
Gregor von Bochmann and
Eduard Cerny},
title = {A Test Design Methodology for Protocol Testing},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {5},
pages = {518--531},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233197},
doi = {10.1109/TSE.1987.233197},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/SarikayaBC87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SarinL87,
author = {Sunil K. Sarin and
Nancy A. Lynch},
title = {Discarding Obsolete Information in a Replicated Database System},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {1},
pages = {39--47},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232564},
doi = {10.1109/TSE.1987.232564},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/SarinL87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Schneidewind87,
author = {Norman F. Schneidewind},
title = {The State of Software Maintenance},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {3},
pages = {303--310},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233161},
doi = {10.1109/TSE.1987.233161},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Schneidewind87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SchultzC87,
author = {Roger D. Schultz and
Alfonso F. Cardenas},
title = {An Approach and Mechanism for Auditable and Testable Advanced Transaction
Processing Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {6},
pages = {666--676},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233204},
doi = {10.1109/TSE.1987.233204},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/SchultzC87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Scott87,
author = {Michael L. Scott},
title = {Language Support for Loosely Coupled Distributed Programs},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {1},
pages = {88--103},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232838},
doi = {10.1109/TSE.1987.232838},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/Scott87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ScottGM87,
author = {R. Keith Scott and
James W. Gault and
David F. McAllister},
title = {Fault-Tolerant Software Reliability Modeling},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {5},
pages = {582--592},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233463},
doi = {10.1109/TSE.1987.233463},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ScottGM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SelbyBB87,
author = {Richard W. Selby and
Victor R. Basili and
F. Terry Baker},
title = {Cleanroom Software Development: An Empirical Evaluation},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {9},
pages = {1027--1037},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233525},
doi = {10.1109/TSE.1987.233525},
timestamp = {Mon, 21 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/SelbyBB87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SevcikJ87,
author = {Kenneth C. Sevcik and
Marjory J. Johnson},
title = {Cycle Time Properties Of The {FDDI} Token Ring Protocol},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {3},
pages = {376--385},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233169},
doi = {10.1109/TSE.1987.233169},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/SevcikJ87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ShiPSP87,
author = {Yuan Shi and
Noah S. Prywes and
Boleslaw K. Szymanski and
Amir Pnueli},
title = {Very High Level Concurrent Programming},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {9},
pages = {1038--1046},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233791},
doi = {10.1109/TSE.1987.233791},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/ShiPSP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Summers87,
author = {Rita C. Summers},
title = {A Resource Sharing System for Personal Computers in a {LAN:} Concepts,
Design, and Experience},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {8},
pages = {895--904},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233508},
doi = {10.1109/TSE.1987.233508},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Summers87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Sung87,
author = {Sam Yuan Sung},
title = {Performance Analysis of Disk Modulo Allocation Method for Cartesian
Product Files},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {9},
pages = {1018--1026},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233524},
doi = {10.1109/TSE.1987.233524},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Sung87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Terry87,
author = {Douglas B. Terry},
title = {Caching Hints in Distributed Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {1},
pages = {48--54},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232834},
doi = {10.1109/TSE.1987.232834},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Terry87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/TripathiHJ87,
author = {Satish K. Tripathi and
Yennun Huang and
Sushil Jajodia},
title = {Local Area Networks: Software and Related Issues},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {8},
pages = {872--879},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233506},
doi = {10.1109/TSE.1987.233506},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/TripathiHJ87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WangYD87,
author = {Je{-}Hao Wang and
Tak{-}Sun Yuen and
David Hung{-}Chang Du},
title = {On Multiple Random Accesses and Physical Data Placement in Dynamic
Files},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {8},
pages = {977--987},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233515},
doi = {10.1109/TSE.1987.233515},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/WangYD87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Weihl87,
author = {William E. Weihl},
title = {Distributed Version Management for Read-Only Actions},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {1},
pages = {55--64},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232835},
doi = {10.1109/TSE.1987.232835},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Weihl87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Weiss87,
author = {David M. Weiss},
title = {Teaching a Software Design Methodology},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {11},
pages = {1156--1163},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232864},
doi = {10.1109/TSE.1987.232864},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Weiss87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Wortman87,
author = {David B. Wortman},
title = {Software Projects in an Academic Environment},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {11},
pages = {1176--1181},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.232867},
doi = {10.1109/TSE.1987.232867},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Wortman87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/YaoHY87,
author = {S. Bing Yao and
Alan R. Hevner and
H{\'{e}}l{\`{e}}ne Young{-}Myers},
title = {Analysis of Database System Architectures Using Benchmarks},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {6},
pages = {709--725},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233476},
doi = {10.1109/TSE.1987.233476},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/YaoHY87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/YauT87,
author = {Stephen S. Yau and
Jeffrey J. P. Tsai},
title = {Knowledge Representation of Software Component Interconnection Information
for Large-Scale Software Modifications},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {3},
pages = {355--361},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233166},
doi = {10.1109/TSE.1987.233166},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/YauT87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ZhaoR87,
author = {Wei Zhao and
Krithi Ramamritham},
title = {Virtual Time {CSMA} Protocols for Hard Real-Time Communication},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {8},
pages = {938--952},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233512},
doi = {10.1109/TSE.1987.233512},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ZhaoR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ZhaoRS87,
author = {Wei Zhao and
Krithi Ramamritham and
John A. Stankovic},
title = {Scheduling Tasks with Resource Requirements in Hard Real-Time Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {5},
pages = {564--577},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233201},
doi = {10.1109/TSE.1987.233201},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ZhaoRS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ZhongxiuX87,
author = {Zhongxiu Sun and
Li Xining},
title = {{CSM:} {A} Distributed Programming Language},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {4},
pages = {497--500},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233187},
doi = {10.1109/TSE.1987.233187},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ZhongxiuX87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ZhuY87,
author = {Chuan{-}Qi Zhu and
Pen{-}Chung Yew},
title = {A Scheme to Enforce Data Dependence on Large Multiprocessor Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {6},
pages = {726--739},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233477},
doi = {10.1109/TSE.1987.233477},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ZhuY87.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-05 15:25 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:
