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/tse12.bht:"
download as .bib file
@article{DBLP:journals/tse/Abdel-GhalyCL86,
author = {Abdallah A. Abdel{-}Ghaly and
P. Y. Chan and
Bev Littlewood},
title = {Evaluation of Competing Software Reliability Predictions},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {9},
pages = {950--967},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6313050},
doi = {10.1109/TSE.1986.6313050},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Abdel-GhalyCL86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AuernheimerK86,
author = {Brent Auernheimer and
Richard A. Kemmerer},
title = {{RT-ASLAN:} {A} Specification Language for Real-Time Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {9},
pages = {879--889},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6313044},
doi = {10.1109/TSE.1986.6313044},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AuernheimerK86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AvruninDWR86,
author = {George S. Avrunin and
Laura K. Dillon and
Jack C. Wileden and
William E. Riddle},
title = {Constrained Expressions: Adding Analysis Capabilities to Design Methods
for Concurrent Software Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {2},
pages = {278--292},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312944},
doi = {10.1109/TSE.1986.6312944},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AvruninDWR86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BaiardiFV86,
author = {Fabrizio Baiardi and
Nicoletta De Francesco and
Gigliola Vaglini},
title = {Development of a Debugger for a Concurrent Language},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {4},
pages = {547--553},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312902},
doi = {10.1109/TSE.1986.6312902},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/BaiardiFV86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BalboBG86,
author = {Gianfranco Balbo and
Steven C. Bruell and
Subbarao Ghanta},
title = {Combining Queueing Network and Generalized Stochastic Petri Net Models
for the Analysis of Some Software Blocking Phenomena},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {4},
pages = {561--576},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312904},
doi = {10.1109/TSE.1986.6312904},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BalboBG86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BarnardMP86,
author = {H. Jack Barnard and
Robert F. Metz and
Arthur L. Price},
title = {A Recommended Practice for Describing Software Designs: {IEEE} Standards
Project 1016},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {2},
pages = {258--263},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312941},
doi = {10.1109/TSE.1986.6312941},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BarnardMP86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BasiliSH86,
author = {Victor R. Basili and
Richard W. Selby and
David H. Hutchens},
title = {Experimentation in Software Engineering},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {7},
pages = {733--743},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312975},
doi = {10.1109/TSE.1986.6312975},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BasiliSH86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BatiniNT86,
author = {Carlo Batini and
Enrico Nardelli and
Roberto Tamassia},
title = {A Layout Algorithm for Data Flow Diagrams},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {4},
pages = {538--546},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312901},
doi = {10.1109/TSE.1986.6312901},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BatiniNT86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BelkhoucheU86,
author = {Boumediene Belkhouche and
Joseph E. Urban},
title = {Direct Implementation of Abstract Data Types from Abstract Specifications},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {5},
pages = {649--661},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312960},
doi = {10.1109/TSE.1986.6312960},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BelkhoucheU86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BerglandZ86,
author = {Glenn David Bergland and
Pamela Zave},
title = {Guest Editor's Prologue Special Issue on Software Design Methods},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {2},
pages = {185--191},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312934},
doi = {10.1109/TSE.1986.6312934},
timestamp = {Thu, 30 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BerglandZ86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BishopEBHDL86,
author = {Peter G. Bishop and
David G. Esp and
Mel Barnes and
Peter Humphreys and
Gustav Dahll and
Jaakko Lahti},
title = {{PODS} - {A} Project on Diverse Software},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {9},
pages = {929--940},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6313048},
doi = {10.1109/TSE.1986.6313048},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BishopEBHDL86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BloomfieldF86,
author = {Robin E. Bloomfield and
Peter K. D. Froome},
title = {The Application of Formal Methods to the Assessment of High Integrity
Software},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {9},
pages = {988--993},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6313053},
doi = {10.1109/TSE.1986.6313053},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BloomfieldF86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BlumerS86,
author = {Thomas P. Blumer and
Deepinder P. Sidhu},
title = {Mechanical Verification and Automatic Implementation of Communication
Protocols},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {8},
pages = {827--843},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312985},
doi = {10.1109/TSE.1986.6312985},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BlumerS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Booch86,
author = {Grady Booch},
title = {Object-Oriented Development},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {2},
pages = {211--221},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312937},
doi = {10.1109/TSE.1986.6312937},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Booch86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BrunoM86,
author = {Giorgio Bruno and
Giuseppe Marchetto},
title = {Process-Translatable Petri Nets for the Rapid Prototyping of Process
Control Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {2},
pages = {346--357},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312948},
doi = {10.1109/TSE.1986.6312948},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BrunoM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Cameron86,
author = {John R. Cameron},
title = {An Overview of {JSD}},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {2},
pages = {222--240},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312938},
doi = {10.1109/TSE.1986.6312938},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Cameron86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CampbellR86,
author = {Roy H. Campbell and
Brian Randell},
title = {Error Recovery in Asynchronous Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {8},
pages = {811--826},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312984},
doi = {10.1109/TSE.1986.6312984},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/CampbellR86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CardCA86,
author = {David N. Card and
Victor E. Church and
William W. Agresti},
title = {An Empirical Study of Software Design Practices},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {2},
pages = {264--271},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312942},
doi = {10.1109/TSE.1986.6312942},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/CardCA86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Cheung86,
author = {To{-}Yat Cheung},
title = {On the Projection Method for Protocol Verification},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {11},
pages = {1088--1095},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312998},
doi = {10.1109/TSE.1986.6312998},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Cheung86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ConwayG86,
author = {Adrian E. Conway and
Nicolas D. Georganas},
title = {Decomposition and Aggregation by Class in Closed Queueing Networks},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {10},
pages = {1024--1040},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6313019},
doi = {10.1109/TSE.1986.6313019},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ConwayG86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CornellDY86,
author = {Douglas W. Cornell and
Daniel M. Dias and
Philip S. Yu},
title = {On Multisystem Coupling Through Function Request Shipping},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {10},
pages = {1006--1017},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6313017},
doi = {10.1109/TSE.1986.6313017},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/CornellDY86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CurritDM86,
author = {P. Allen Currit and
Michael G. Dyer and
Harlan D. Mills},
title = {Certifying the Reliability of Software},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {1},
pages = {3--11},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312914},
doi = {10.1109/TSE.1986.6312914},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/CurritDM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Downs86,
author = {Thomas Downs},
title = {Extensions to an Approach to the Modeling of Software Testing with
Some Performance Comparisons},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {9},
pages = {979--987},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6313052},
doi = {10.1109/TSE.1986.6313052},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Downs86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Dunham86,
author = {Janet R. Dunham},
title = {Experiments in Software Reliability: Life-Critical Applications},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {1},
pages = {110--123},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312925},
doi = {10.1109/TSE.1986.6312925},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Dunham86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/EagerLZ86,
author = {Derek L. Eager and
Edward D. Lazowska and
John Zahorjan},
title = {Adaptive Load Sharing in Homogeneous Distributed Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {5},
pages = {662--675},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312961},
doi = {10.1109/TSE.1986.6312961},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/EagerLZ86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/EstrinFRV86,
author = {Gerald Estrin and
Robert S. Fenchel and
Rami R. Razouk and
Mary K. Vernon},
title = {{SARA} (System ARchitects Apprentice): Modeling, Analysis, and Simulation
Support for Design of Concurrent Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {2},
pages = {293--311},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312945},
doi = {10.1109/TSE.1986.6312945},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/EstrinFRV86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Fagan86,
author = {Michael E. Fagan},
title = {Advances in Software Inspections},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {7},
pages = {744--751},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312976},
doi = {10.1109/TSE.1986.6312976},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Fagan86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Ferrari86,
author = {Domenico Ferrari},
title = {Considerations in the Insularity of Performance Evaluation},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {6},
pages = {678--683},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312965},
doi = {10.1109/TSE.1986.6312965},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Ferrari86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Gaffney86,
author = {John E. Gaffney Jr.},
title = {The Impact on Software Development Costs of Using HOL's},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {3},
pages = {496--499},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312890},
doi = {10.1109/TSE.1986.6312890},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Gaffney86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Ghosh86,
author = {Sakti P. Ghosh},
title = {Statistical Relational Tables for Statistical Database Management},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {12},
pages = {1106--1116},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6313006},
doi = {10.1109/TSE.1986.6313006},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Ghosh86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Goldberg86,
author = {Allen T. Goldberg},
title = {Knowledge-Based Programming: {A} Survey of Program Design and Construction
Techniques},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {7},
pages = {752--768},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312977},
doi = {10.1109/TSE.1986.6312977},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Goldberg86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Gray86,
author = {Jim Gray},
title = {An Approach to Decentralized Computer Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {6},
pages = {684--692},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312966},
doi = {10.1109/TSE.1986.6312966},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/Gray86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HabermannN86,
author = {A. Nico Habermann and
David Notkin},
title = {Gandalf: Software Development Environments},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {12},
pages = {1117--1127},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6313007},
doi = {10.1109/TSE.1986.6313007},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HabermannN86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Hac86,
author = {Anna Hac},
title = {A Decomposition Solution to a Queueing Network Model of a Distributed
File System with Dynamic Locking},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {4},
pages = {521--530},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312899},
doi = {10.1109/TSE.1986.6312899},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Hac86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HallZ86,
author = {William E. Hall III and
Stuart H. Zweben},
title = {The Cloze Procedure and Software Comprehensibility Measurement},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {5},
pages = {608--623},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312957},
doi = {10.1109/TSE.1986.6312957},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HallZ86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Hayes86,
author = {Ian J. Hayes},
title = {Specification Directed Module Testing},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {1},
pages = {124--133},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312926},
doi = {10.1109/TSE.1986.6312926},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Hayes86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HechtH86,
author = {Herbert Hecht and
Myron Hecht},
title = {Software Reliability in the System Context},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {1},
pages = {51--58},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312919},
doi = {10.1109/TSE.1986.6312919},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HechtH86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Henderson86,
author = {Peter B. Henderson},
title = {Functional Programming, Formal Specification, and Rapid Prototyping},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {2},
pages = {241--250},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312939},
doi = {10.1109/TSE.1986.6312939},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Henderson86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HillyerSN86,
author = {Bruce Hillyer and
David Elliot Shaw and
Anil Nigam},
title = {NON-VON's Performance on Certain Database Benchmarks},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {4},
pages = {577--583},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312905},
doi = {10.1109/TSE.1986.6312905},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HillyerSN86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HorowitzW86,
author = {Ellis Horowitz and
Ronald Williamson},
title = {{SODOS:} {A} Software Documentation Support Environment - Its Definition},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {8},
pages = {849--859},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312987},
doi = {10.1109/TSE.1986.6312987},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HorowitzW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HorowitzW86a,
author = {Ellis Horowitz and
Ronald Williamson},
title = {{SODOS:} {A} Software Documentation Support Environment - Its Use},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {11},
pages = {1076--1087},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312997},
doi = {10.1109/TSE.1986.6312997},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HorowitzW86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Howden86,
author = {William E. Howden},
title = {A Functional Approach to Program Testing and Analysis},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {10},
pages = {997--1005},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6313016},
doi = {10.1109/TSE.1986.6313016},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Howden86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HuraSN86,
author = {Gurdeep S. Hura and
Harpreet Singh and
N. K. Nanda},
title = {Some Design Aspects of Databases Through Petri Net Modeling},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {4},
pages = {505--510},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312897},
doi = {10.1109/TSE.1986.6312897},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HuraSN86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/IchikawaH86,
author = {Tadao Ichikawa and
Masahito Hirakawa},
title = {{ARES:} {A} Relational Database with the Capability of Performing
Flexible Interpretation of Queries},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {5},
pages = {624--634},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312958},
doi = {10.1109/TSE.1986.6312958},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/IchikawaH86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/IndurkhyaSX86,
author = {Bipin Indurkhya and
Harold S. Stone and
Lu Xi{-}Cheng},
title = {Optimal Partitioning of Randomly Generated Distributed Programs},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {3},
pages = {483--495},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312889},
doi = {10.1109/TSE.1986.6312889},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/IndurkhyaSX86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/JahanianM86,
author = {Farnam Jahanian and
Aloysius K. Mok},
title = {Safety Analysis of Timing Properties in Real-Time Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {9},
pages = {890--904},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6313045},
doi = {10.1109/TSE.1986.6313045},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/JahanianM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/JaloteC86,
author = {Pankaj Jalote and
Roy H. Campbell},
title = {Atomic Actions for Fault-Tolerance Using {CSP}},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {1},
pages = {59--68},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312920},
doi = {10.1109/TSE.1986.6312920},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/JaloteC86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Kameda86,
author = {Hisao Kameda},
title = {The Gains from Computer Communication},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {11},
pages = {1049--1055},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312994},
doi = {10.1109/TSE.1986.6312994},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Kameda86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Kimura86,
author = {Gary D. Kimura},
title = {A Structure Editor for Abstract Document Objects},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {3},
pages = {417--435},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312883},
doi = {10.1109/TSE.1986.6312883},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Kimura86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KligermanS86,
author = {Eugene Kligerman and
Alexander D. Stoyenko},
title = {Real-Time Euclid: {A} Language for Reliable Real-Time Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {9},
pages = {941--949},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6313049},
doi = {10.1109/TSE.1986.6313049},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KligermanS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KnightL86,
author = {John C. Knight and
Nancy G. Leveson},
title = {An Experimental Evaluation of the Assumption of Independence in Multiversion
Programming},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {1},
pages = {96--109},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312924},
doi = {10.1109/TSE.1986.6312924},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KnightL86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KumarHR86,
author = {Viktor K. Prasanna and
Salim Hariri and
Cauligi S. Raghavendra},
title = {Distributed Program Reliability Analysis},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {1},
pages = {42--50},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312918},
doi = {10.1109/TSE.1986.6312918},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KumarHR86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Kundu86,
author = {Sukhamay Kundu},
title = {The Call-Return Tree and Its Application to Program Performance Analysis},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {11},
pages = {1096--1101},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6313000},
doi = {10.1109/TSE.1986.6313000},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Kundu86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LakshmanA86,
author = {T. V. Lakshman and
Ashok K. Agrawala},
title = {Efficient Decentralized Consensus Protocols},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {5},
pages = {600--607},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312956},
doi = {10.1109/TSE.1986.6312956},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/LakshmanA86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LeinbaughY86,
author = {Dennis W. Leinbaugh and
Mohamad{-}Reza Yamini},
title = {Guaranteed Response Times in a Distributed Hard-Real-Time Environment},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {12},
pages = {1139--1144},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6313009},
doi = {10.1109/TSE.1986.6313009},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/LeinbaughY86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Leung86,
author = {Clement H. C. Leung},
title = {Dynamic Storage Fragmentation and File Deterioration},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {3},
pages = {436--441},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312884},
doi = {10.1109/TSE.1986.6312884},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Leung86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Levy86,
author = {Leon S. Levy},
title = {A Metaprogramming Method and Its Economic Justification},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {2},
pages = {272--277},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312943},
doi = {10.1109/TSE.1986.6312943},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Levy86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Lichtman86,
author = {Zavdi L. Lichtman},
title = {Generation and Consistency Checking of Design and Program Structures},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {1},
pages = {172--181},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312930},
doi = {10.1109/TSE.1986.6312930},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Lichtman86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Lipow86,
author = {Myron Lipow},
title = {Comments on "Estimating the Number of Faults in Code" and Two Corrections
to Published Data},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {4},
pages = {584--585},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312907},
doi = {10.1109/TSE.1986.6312907},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Lipow86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Mancini86,
author = {Luigi V. Mancini},
title = {Modular Redundancy in a Message Passing System},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {1},
pages = {79--86},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312922},
doi = {10.1109/TSE.1986.6312922},
timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Mancini86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MartinD86,
author = {Edith W. Martin and
Richard A. DeMillo},
title = {Operational Survivability in Gracefully Degrading Distributed Processing
Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {6},
pages = {693--704},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312967},
doi = {10.1109/TSE.1986.6312967},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MartinD86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Mathis86,
author = {Robert F. Mathis},
title = {The Last 10 Percent},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {6},
pages = {705--712},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312968},
doi = {10.1109/TSE.1986.6312968},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Mathis86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Meandzija86,
author = {Branislav Meandzija},
title = {A Formal Method for Composing a Network Command Language},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {8},
pages = {860--865},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312988},
doi = {10.1109/TSE.1986.6312988},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Meandzija86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Miller86,
author = {Douglas R. Miller},
title = {Exponential Order Statistic Models of Software Reliability Growth},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {1},
pages = {12--24},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312915},
doi = {10.1109/TSE.1986.6312915},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Miller86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MillsL86,
author = {Harlan D. Mills and
Richard C. Linger},
title = {Data Structured Programming: Program Design without Arrays and Pointers},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {2},
pages = {192--197},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312935},
doi = {10.1109/TSE.1986.6312935},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MillsL86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MoitraI86,
author = {Abha Moitra and
S. Sitharama Iyengar},
title = {Derivation of a Parallel Algorithm for Balancing Binary Trees},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {3},
pages = {442--449},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312885},
doi = {10.1109/TSE.1986.6312885},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MoitraI86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Natarajan86,
author = {N. Natarajan},
title = {A Distributed Scheme for Detecting Communication Deadlocks},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {4},
pages = {531--537},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312900},
doi = {10.1109/TSE.1986.6312900},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Natarajan86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Neumann86,
author = {Peter G. Neumann},
title = {On Hierarchical Design of Computer Systems for Critical Applications},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {9},
pages = {905--920},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6313046},
doi = {10.1109/TSE.1986.6313046},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Neumann86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/NiH86,
author = {Lionel M. Ni and
Kai Hwang},
title = {Correction to "Optimal Load Balancing in a Multiple Processor System
with Many Job Classes"},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {3},
pages = {500},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312891},
doi = {10.1109/TSE.1986.6312891},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/NiH86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ParnasC86,
author = {David Lorge Parnas and
Paul C. Clements},
title = {A Rational Design Process: How and Why to Fake it},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {2},
pages = {251--257},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312940},
doi = {10.1109/TSE.1986.6312940},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ParnasC86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ParnasC86a,
author = {David Lorge Parnas and
Paul C. Clements},
title = {Correction to "A Rational Design Process: How and Why to Fake It"},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {8},
pages = {874},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312991},
doi = {10.1109/TSE.1986.6312991},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ParnasC86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/PatnaikI86,
author = {Lalit M. Patnaik and
Kailasam Viswanathan Iyer},
title = {Load-Leveling in Fault-Tolerant Distributed Computing Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {4},
pages = {554--560},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312903},
doi = {10.1109/TSE.1986.6312903},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/PatnaikI86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/PerrosA86,
author = {Harry G. Perros and
Tayfur Altiok},
title = {Approximate Analysis of Open Networks of Queues with Blocking: Tandem
Configurations},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {3},
pages = {450--461},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312886},
doi = {10.1109/TSE.1986.6312886},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/PerrosA86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/PerryT86,
author = {Kenneth J. Perry and
Sam Toueg},
title = {Distributed Agreement in the Presence of Processor and Communication
Faults},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {3},
pages = {477--482},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312888},
doi = {10.1109/TSE.1986.6312888},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/PerryT86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Polster86,
author = {Franz{-}Josef Polster},
title = {Reuse of Software Through Generation of Partial Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {3},
pages = {402--416},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312882},
doi = {10.1109/TSE.1986.6312882},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Polster86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RamamoorthyGP86,
author = {C. V. Ramamoorthy and
Vijay K. Garg and
Atul Prakash},
title = {Programming in the Large},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {7},
pages = {769--783},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312978},
doi = {10.1109/TSE.1986.6312978},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/RamamoorthyGP86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RamamrithamSBV86,
author = {Krithi Ramamritham and
David W. Stemple and
David A. Briggs and
Stephen Vinter},
title = {Privilege Transfer and Revocation in a Port-Based System},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {5},
pages = {635--648},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312959},
doi = {10.1109/TSE.1986.6312959},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/RamamrithamSBV86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RotenstreichH86,
author = {Shmuel Rotenstreich and
William E. Howden},
title = {Two-Dimensional Program Design},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {3},
pages = {377--384},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312880},
doi = {10.1109/TSE.1986.6312880},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/RotenstreichH86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Scholz86,
author = {F.{-}W. Scholz},
title = {Software Reliability Modeling and Analysis},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {1},
pages = {25--31},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312916},
doi = {10.1109/TSE.1986.6312916},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Scholz86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SchwanJ86,
author = {Karsten Schwan and
Anita K. Jones},
title = {Flexible Software Development for Multiple Computer Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {3},
pages = {385--401},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312881},
doi = {10.1109/TSE.1986.6312881},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/SchwanJ86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SheltzerP86,
author = {Alan B. Sheltzer and
Gerald J. Popek},
title = {Internet Locus: Extending Transparency to an Internet Environment},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {11},
pages = {1067--1075},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312996},
doi = {10.1109/TSE.1986.6312996},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/SheltzerP86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Simon86,
author = {Herbert A. Simon},
title = {Whether Software Engineering Needs to Be Artificially Intelligent},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {7},
pages = {726--732},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312974},
doi = {10.1109/TSE.1986.6312974},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Simon86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Sinha86,
author = {Mukul K. Sinha},
title = {Commutable Transactions and the Time{\_}pad Synchronization Mechanism
for Distributed Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {3},
pages = {462--476},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312887},
doi = {10.1109/TSE.1986.6312887},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Sinha86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/StempleVR86,
author = {David W. Stemple and
Stephen Vinter and
Krithi Ramamritham},
title = {Functional Addressing in Gutenberg: Interprocess Communication without
Process Indentifiers},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {11},
pages = {1056--1066},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312995},
doi = {10.1109/TSE.1986.6312995},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/StempleVR86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Stetter86,
author = {Franz Stetter},
title = {Comments on "Number of Faults per Line of Code"},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {12},
pages = {1145},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6313010},
doi = {10.1109/TSE.1986.6313010},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Stetter86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/StromY86,
author = {Robert E. Strom and
Shaula Yemini},
title = {Typestate: {A} Programming Language Concept for Enhancing Software
Reliability},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {1},
pages = {157--171},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312929},
doi = {10.1109/TSE.1986.6312929},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/StromY86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SumitaM86,
author = {Ushio Sumita and
Yasushi Masuda},
title = {Analysis of Software Availability/Reliability Under the Influence
of Hardware Failures},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {1},
pages = {32--41},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312917},
doi = {10.1109/TSE.1986.6312917},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/SumitaM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/TaiT86,
author = {Kuo{-}Chung Tai and
Alan L. Tharp},
title = {A Comparison of Computed Chaining to Predictors},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {8},
pages = {870--874},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312990},
doi = {10.1109/TSE.1986.6312990},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/TaiT86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Taylor86,
author = {David J. Taylor},
title = {Concurrency and Forward Recovery in Atomic Actions},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {1},
pages = {69--78},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312921},
doi = {10.1109/TSE.1986.6312921},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Taylor86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Towsley86,
author = {Donald F. Towsley},
title = {Allocating Programs Containing Branches and Loops Within a Multiple
Processor System},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {10},
pages = {1018--1024},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6313018},
doi = {10.1109/TSE.1986.6313018},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Towsley86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Trachtenberg86,
author = {Martin Trachtenberg},
title = {Validating Halstead's Theory with System 3 Data},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {4},
pages = {584},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312906},
doi = {10.1109/TSE.1986.6312906},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Trachtenberg86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/TroyR86,
author = {Robert Troy and
Yves Romain},
title = {A Statistical Methodology for the Study of the Software Failure Process
and Its Application to the {ARGOS} Center},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {9},
pages = {968--978},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6313051},
doi = {10.1109/TSE.1986.6313051},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/TroyR86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/TruebloodS86,
author = {Robert P. Trueblood and
A. Sengupta},
title = {Dynamic Analysis of the Effects Access Rule Modifications Have Upon
Security},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {8},
pages = {866--874},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312989},
doi = {10.1109/TSE.1986.6312989},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/TruebloodS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/TsengSSP86,
author = {Jine S. Tseng and
Boleslaw K. Szymanski and
Yuan Shi and
Noah S. Prywes},
title = {Real-Time Software Life Cycle with the Model System},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {2},
pages = {358--373},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312949},
doi = {10.1109/TSE.1986.6312949},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/TsengSSP86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/TsubotaniMTI86,
author = {Hideaki Tsubotani and
Noriaki Monden and
Minoru Tanaka and
Tadao Ichikawa},
title = {A High Level Language-Based Computing Environment to Support Production
and Execution of Reliable Programs},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {1},
pages = {134--146},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312927},
doi = {10.1109/TSE.1986.6312927},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/TsubotaniMTI86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/TsuchiyaMB86,
author = {Masahiro Tsuchiya and
Michael P. Mariani and
James D. Brom},
title = {Distributed Database Management Model and Validation},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {4},
pages = {511--520},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312898},
doi = {10.1109/TSE.1986.6312898},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/TsuchiyaMB86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/TyrrellH86,
author = {Andrew M. Tyrrell and
David J. Holding},
title = {Design of Reliable Software in Distributed Systems Using the Conversation
Scheme},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {9},
pages = {921--928},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6313047},
doi = {10.1109/TSE.1986.6313047},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/TyrrellH86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/UpadhyayaS86,
author = {Shambhu J. Upadhyaya and
Kewal K. Saluja},
title = {A Wachtdog Processor Based General Rollback Technique with Multiple
Retries},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {1},
pages = {87--95},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312923},
doi = {10.1109/TSE.1986.6312923},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/UpadhyayaS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Ward86,
author = {Paul T. Ward},
title = {The Transformation Schema: An Extension of te Data Flow Diagram to
Represent Control and Timing},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {2},
pages = {198--210},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312936},
doi = {10.1109/TSE.1986.6312936},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Ward86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WassermanPS86,
author = {Anthony I. Wasserman and
Peter A. Pircher and
David T. Shewmake},
title = {Building Reliable Interactive Information Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {1},
pages = {147--156},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312928},
doi = {10.1109/TSE.1986.6312928},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/WassermanPS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WassermanPSK86,
author = {Anthony I. Wasserman and
Peter A. Pircher and
David T. Shewmake and
Martin L. Kersten},
title = {Developing Interactive Information Systems with the User Software
Engineering Methodology},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {2},
pages = {326--345},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312947},
doi = {10.1109/TSE.1986.6312947},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/WassermanPSK86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WeberE86,
author = {Herbert Weber and
Hartmut Ehrig},
title = {Specification of Modular Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {7},
pages = {784--798},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312979},
doi = {10.1109/TSE.1986.6312979},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/WeberE86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Weyuker86,
author = {Elaine J. Weyuker},
title = {Axiomatizing Software Test Data Adequacy},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {12},
pages = {1128--1138},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6313008},
doi = {10.1109/TSE.1986.6313008},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Weyuker86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Woodside86,
author = {C. Murray Woodside},
title = {Controllability of Computer Performance Tradeoffs Obtained Using Controlled-Share
Queue Schedulers},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {10},
pages = {1041--1048},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6313020},
doi = {10.1109/TSE.1986.6313020},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Woodside86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WoodsideT86,
author = {C. Murray Woodside and
Satish K. Tripathi},
title = {Optimal Allocation of File Servers in a Local Network Environment},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {8},
pages = {844--848},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312986},
doi = {10.1109/TSE.1986.6312986},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/WoodsideT86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/YauT86,
author = {Stephen S. Yau and
Jeffrey J. P. Tsai},
title = {A Survey of Software Design Techniques},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {6},
pages = {713--721},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312969},
doi = {10.1109/TSE.1986.6312969},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/YauT86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/YellinM86,
author = {Daniel M. Yellin and
Eva{-}Maria M. Mueckstein},
title = {The Automatic Inversion of Attribute Grammars},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {5},
pages = {590--599},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312955},
doi = {10.1109/TSE.1986.6312955},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/YellinM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/YuenD86,
author = {Tak{-}Sun Yuen and
David Hung{-}Chang Du},
title = {Dynamic File Structure for Partial Match Retrieval Based on Overflow
Bucket Sharing},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {8},
pages = {801--810},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312983},
doi = {10.1109/TSE.1986.6312983},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/YuenD86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ZaveS86,
author = {Pamela Zave and
William M. Schell},
title = {Salient Features of an Executable Specification Language and Its Environment},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {2},
pages = {312--325},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312946},
doi = {10.1109/TSE.1986.6312946},
timestamp = {Wed, 25 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ZaveS86.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-29 01:37 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:
