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/tse19.bht:"
download as .bib file
@article{DBLP:journals/tse/Abdel-HamidSR93,
author = {Tarek K. Abdel{-}Hamid and
Kishore Sengupta and
Daniel Ronan},
title = {Software Project Control: An Experimental Investigation of Judgment
with Fallible Information},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {6},
pages = {603--612},
year = {1993},
url = {https://doi.org/10.1109/32.232025},
doi = {10.1109/32.232025},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Abdel-HamidSR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AdamT93,
author = {Nabil R. Adam and
Rajiv Tewari},
title = {Regeneration with Virtual Copies for Distributed Computing Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {6},
pages = {594--602},
year = {1993},
url = {https://doi.org/10.1109/32.232024},
doi = {10.1109/32.232024},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AdamT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AgrawalaJ93,
author = {Ashok K. Agrawala and
Bijendra N. Jain},
title = {Deterministic Model and Transient Analysis of Virtual Circuits},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {2},
pages = {187--197},
year = {1993},
url = {https://doi.org/10.1109/32.214835},
doi = {10.1109/32.214835},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AgrawalaJ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AhujaCG93,
author = {Mohan Ahuja and
Timothy Carlson and
Ashwani Gahlot},
title = {Passive-space and Time View: Vector Clocks for Achieving Higher Performance,
Program Correction, and Distributed Computing},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {9},
pages = {845--855},
year = {1993},
url = {https://doi.org/10.1109/32.241768},
doi = {10.1109/32.241768},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AhujaCG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AroraG93,
author = {Anish Arora and
Mohamed G. Gouda},
title = {Closure and Convergence: {A} Foundation of Fault-Tolerant Computing},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {11},
pages = {1015--1027},
year = {1993},
url = {https://doi.org/10.1109/32.256850},
doi = {10.1109/32.256850},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AroraG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AtleeG93,
author = {Joanne M. Atlee and
John D. Gannon},
title = {State-Based Model Checking of Event-Driven System Requirements},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {1},
pages = {24--40},
year = {1993},
url = {https://doi.org/10.1109/32.210305},
doi = {10.1109/32.210305},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AtleeG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BandinelliFG93,
author = {Sergio Bandinelli and
Alfonso Fuggetta and
Carlo Ghezzi},
title = {Process Model Evolution in the {SPADE} Environment},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {12},
pages = {1128--1144},
year = {1993},
url = {https://doi.org/10.1109/32.249659},
doi = {10.1109/32.249659},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BandinelliFG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BankerKZ93,
author = {Rajiv D. Banker and
Robert J. Kauffman and
Dani Zweig},
title = {Repository Evaluation of Software Reuse},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {4},
pages = {379--389},
year = {1993},
url = {https://doi.org/10.1109/32.223805},
doi = {10.1109/32.223805},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BankerKZ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Bastani93,
author = {Farokh B. Bastani},
title = {Forword: Software Reliability},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {11},
pages = {1013--1014},
year = {1993},
url = {http://doi.ieeecomputersociety.org/10.1109/TSE.1993.10002},
doi = {10.1109/TSE.1993.10002},
timestamp = {Thu, 10 Dec 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/Bastani93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BatiniBS93,
author = {Carlo Batini and
Giuseppe Di Battista and
Giuseppe Santucci},
title = {Structuring Primitives for a Dictionary of Entity Relationship Data
Schemas},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {4},
pages = {344--365},
year = {1993},
url = {https://doi.org/10.1109/32.223803},
doi = {10.1109/32.223803},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BatiniBS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BermanA93,
author = {Oded Berman and
Noushin Ashrafi},
title = {Optimization Models for Reliability of Modular Software Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {11},
pages = {1119--1123},
year = {1993},
url = {https://doi.org/10.1109/32.256858},
doi = {10.1109/32.256858},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BermanA93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BerzinsLY93,
author = {Valdis Berzins and
Luqi and
Amiram Yehudai},
title = {Using Transformations in Specification-Based Prototyping},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {5},
pages = {436--452},
year = {1993},
url = {https://doi.org/10.1109/32.232011},
doi = {10.1109/32.232011},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BerzinsLY93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BhandariHTBCC93,
author = {Inderpal S. Bhandari and
Michael J. Halliday and
Eric Tarver and
David Brown and
Jarir K. Chaar and
Ram Chillarege},
title = {A Case Study of Software Process Improvement During Development},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {12},
pages = {1157--1170},
year = {1993},
url = {https://doi.org/10.1109/32.249661},
doi = {10.1109/32.249661},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BhandariHTBCC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BimboCN93,
author = {Alberto Del Bimbo and
Maurizio Campanai and
Paolo Nesi},
title = {A Three-Dimensional Iconic Environment for Image Database Querying},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {10},
pages = {997--1011},
year = {1993},
url = {https://doi.org/10.1109/32.245741},
doi = {10.1109/32.245741},
timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BimboCN93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BiswasB93,
author = {Jit Biswas and
James C. Browne},
title = {Data Structures for Parallel Resource Management},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {7},
pages = {672--686},
year = {1993},
url = {https://doi.org/10.1109/32.238568},
doi = {10.1109/32.238568},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BiswasB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BriandBH93,
author = {Lionel C. Briand and
Victor R. Basili and
Christopher J. Hetmanski},
title = {Developing Interpretable Models with Optimized Set Reduction for Identifying
High-Risk Software Components},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {11},
pages = {1028--1044},
year = {1993},
url = {https://doi.org/10.1109/32.256851},
doi = {10.1109/32.256851},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BriandBH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ButlerF93,
author = {Ricky W. Butler and
George B. Finelli},
title = {The Infeasibility of Quantifying the Reliability of Life-Critical
Real-Time Software},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {1},
pages = {3--12},
year = {1993},
url = {https://doi.org/10.1109/32.210303},
doi = {10.1109/32.210303},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ButlerF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CabreraMSW93,
author = {Luis{-}Felipe Cabrera and
John McPherson and
Peter M. Schwarz and
James C. Wyllie},
title = {Implementing Atomicity in Two Systems: Techniques, Tradeoffs, and
Experience},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {10},
pages = {950--961},
year = {1993},
url = {https://doi.org/10.1109/32.245737},
doi = {10.1109/32.245737},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/CabreraMSW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CampKA93,
author = {Tracy Camp and
Phil Kearns and
Mohan Ahuja},
title = {Proof Rules for Flush Channels},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {4},
pages = {366--378},
year = {1993},
url = {https://doi.org/10.1109/32.223804},
doi = {10.1109/32.223804},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/CampKA93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CanforaCC93,
author = {Gerardo Canfora and
Aniello Cimitile and
Ugo de Carlini},
title = {Correction to "A Logic-Based Approach to Reverse Engineering Tools
Production"},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {6},
pages = {640},
year = {1993},
url = {https://doi.org/10.1109/32.232029},
doi = {10.1109/32.232029},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/CanforaCC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ChaarHBC93,
author = {Jarir K. Chaar and
Michael J. Halliday and
Inderpal S. Bhandari and
Ram Chillarege},
title = {In-Process Evaluation for Software Inspection and Test},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {11},
pages = {1055--1070},
year = {1993},
url = {https://doi.org/10.1109/32.256853},
doi = {10.1109/32.256853},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ChaarHBC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ChenB93,
author = {Ing{-}Ray Chen and
Sayed Atef Banawan},
title = {Modeling and Analysis of Concurrent Maintenance Policies for Data
Structures Using Pointers},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {9},
pages = {902--911},
year = {1993},
url = {https://doi.org/10.1109/32.241772},
doi = {10.1109/32.241772},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ChenB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ChengBMW93,
author = {Albert Mo Kim Cheng and
James C. Browne and
Aloysius K. Mok and
Rwo{-}Hsi Wang},
title = {Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint
Assertions Specified in Estella},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {9},
pages = {863--885},
year = {1993},
url = {https://doi.org/10.1109/32.241770},
doi = {10.1109/32.241770},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ChengBMW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ChiolaMBC93,
author = {Giovanni Chiola and
Marco Ajmone Marsan and
Gianfranco Balbo and
Gianni Conte},
title = {Generalized Stochastic Petri Nets: {A} Definition at the Net Level
and Its Implications},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {2},
pages = {89--107},
year = {1993},
url = {https://doi.org/10.1109/32.214828},
doi = {10.1109/32.214828},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ChiolaMBC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ChuI93,
author = {Wesley W. Chu and
Ion Tim Ieong},
title = {A Transaction-Based Approach to Vertical Partitioning for Relational
Database Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {8},
pages = {804--812},
year = {1993},
url = {https://doi.org/10.1109/32.238583},
doi = {10.1109/32.238583},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ChuI93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DelisR93,
author = {Alex Delis and
Nick Roussopoulos},
title = {Performance Comparison of Three Modern {DBMS} Architectures},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {2},
pages = {120--138},
year = {1993},
url = {https://doi.org/10.1109/32.214830},
doi = {10.1109/32.214830},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/DelisR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Felice93,
author = {Paolino Di Felice},
title = {Reusability of Mathematical Software: {A} Contribution},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {8},
pages = {835--843},
year = {1993},
url = {https://doi.org/10.1109/32.238586},
doi = {10.1109/32.238586},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Felice93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Foo93,
author = {Norman Y. Foo},
title = {Comments on "Defining Software by Continuous Smooth Functions''},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {3},
pages = {307--309},
year = {1993},
url = {https://doi.org/10.1109/32.221140},
doi = {10.1109/32.221140},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Foo93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/FranklW93,
author = {Phyllis G. Frankl and
Elaine J. Weyuker},
title = {A Formal Analysis of the Fault-Detecting Ability of Testing Methods},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {3},
pages = {202--213},
year = {1993},
url = {https://doi.org/10.1109/32.221133},
doi = {10.1109/32.221133},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/FranklW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/FranklW93a,
author = {Phyllis G. Frankl and
Stewart N. Weiss},
title = {An Experimental Comparison of the Effectiveness of Branch Testing
and Data Flow Testing},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {8},
pages = {774--787},
year = {1993},
url = {https://doi.org/10.1109/32.238581},
doi = {10.1109/32.238581},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/FranklW93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/FranklW93b,
author = {Phyllis G. Frankl and
Elaine J. Weyuker},
title = {Provable Improvements on Branch Testing},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {10},
pages = {962--975},
year = {1993},
url = {https://doi.org/10.1109/32.245738},
doi = {10.1109/32.245738},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/FranklW93b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/GansnerKNV93,
author = {Emden R. Gansner and
Eleftherios Koutsofios and
Stephen C. North and
Kiem{-}Phong Vo},
title = {A Technique for Drawing Directed Graphs},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {3},
pages = {214--230},
year = {1993},
url = {https://doi.org/10.1109/32.221135},
doi = {10.1109/32.221135},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/GansnerKNV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Girgis93,
author = {Moheb R. Girgis},
title = {\emph{Corrigendum} for "Constraint-Based Automatic Test Data Generation".
{(R.} A. De Millo and A. J. Offutt, {IEEE} Trans. Software Eng. vol.
17. no. pp 900-910, Sept. 1991.)},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {6},
pages = {640},
year = {1993},
url = {https://doi.org/10.1109/32.232028},
doi = {10.1109/32.232028},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Girgis93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Govindarajan93,
author = {R. Govindarajan},
title = {Exception Handlers in Functional Programming Languages},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {8},
pages = {826--834},
year = {1993},
url = {https://doi.org/10.1109/32.238585},
doi = {10.1109/32.238585},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Govindarajan93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/GraefeD93,
author = {Goetz Graefe and
Diane L. Davison},
title = {Encapsulation of Parallelism and Architecture-Independence in Extensible
Database Query Execution},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {8},
pages = {749--764},
year = {1993},
url = {https://doi.org/10.1109/32.238579},
doi = {10.1109/32.238579},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/GraefeD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/GrandiS93,
author = {Fabio Grandi and
Maria Rita Scalas},
title = {Block Access Estimation for Clustered Data Using a Finite {LRU} Buffer},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {7},
pages = {641--660},
year = {1993},
url = {https://doi.org/10.1109/32.238566},
doi = {10.1109/32.238566},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/GrandiS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HamidzadehS93,
author = {Babak Hamidzadeh and
Shashi Shekhar},
title = {Specification and Analysis of Real-time Problem Solvers},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {8},
pages = {788--803},
year = {1993},
url = {https://doi.org/10.1109/32.238582},
doi = {10.1109/32.238582},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HamidzadehS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HarroldM93,
author = {Mary Jean Harrold and
Brian A. Malloy},
title = {A Unified Interprocedural Program Representation for a Maintenance
Environment},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {6},
pages = {584--593},
year = {1993},
url = {https://doi.org/10.1109/32.232023},
doi = {10.1109/32.232023},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HarroldM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Hellerstein93,
author = {Joseph L. Hellerstein},
title = {Achieving Service Rate Objectives with Decay Usage Scheduling},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {8},
pages = {813--825},
year = {1993},
url = {https://doi.org/10.1109/32.238584},
doi = {10.1109/32.238584},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Hellerstein93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HelmanL93,
author = {Paul Helman and
Gunar E. Liepins},
title = {Statistical Foundations of Audit Trail Analysis for the Detection
of Computer Misuse},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {9},
pages = {886--901},
year = {1993},
url = {https://doi.org/10.1109/32.241771},
doi = {10.1109/32.241771},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HelmanL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HuangT93,
author = {Yennun Huang and
Satish K. Tripathi},
title = {Resource Allocation for Primary-Site Fault-Tolerant Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {2},
pages = {108--119},
year = {1993},
url = {https://doi.org/10.1109/32.214829},
doi = {10.1109/32.214829},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HuangT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/IazeollaM93,
author = {Giuseppe Iazeolla and
Francesco Marinuzzi},
title = {{LISPACK-A} Methodology and Tool for the Performance Analysis of Parallel
Systems and Algorithms},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {5},
pages = {486--502},
year = {1993},
url = {https://doi.org/10.1109/32.232014},
doi = {10.1109/32.232014},
timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/IazeollaM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/JaccheriC93,
author = {Maria Letizia Jaccheri and
Reidar Conradi},
title = {Techniques for Process Model Evolution in {EPOS}},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {12},
pages = {1145--1156},
year = {1993},
url = {https://doi.org/10.1109/32.249660},
doi = {10.1109/32.249660},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/JaccheriC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/JefferyLB93,
author = {D. Ross Jeffery and
Graham C. Low and
Michael Barnes},
title = {A Comparison of Function Point Counting Techniques},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {5},
pages = {529--532},
year = {1993},
url = {https://doi.org/10.1109/32.232016},
doi = {10.1109/32.232016},
timestamp = {Sat, 11 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/JefferyLB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KaoIT93,
author = {Wei{-}lun Kao and
Ravishankar K. Iyer and
Dong Tang},
title = {{FINE:} {A} Fault Injection and Monitoring Environment for Tracing
the {UNIX} System Behavior under Faults},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {11},
pages = {1105--1118},
year = {1993},
url = {https://doi.org/10.1109/32.256857},
doi = {10.1109/32.256857},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KaoIT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KatcherAS93,
author = {Daniel I. Katcher and
Hiroshi Arakawa and
Jay K. Strosnider},
title = {Engineering and Analysis of Fixed Priority Schedulers},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {9},
pages = {920--934},
year = {1993},
url = {https://doi.org/10.1109/32.241774},
doi = {10.1109/32.241774},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KatcherAS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KayR93,
author = {Andrew Kay and
Joy N. Reed},
title = {A Rely and Guarantee Method for Timed {CSP:} {A} Specification and
Design of a Telephone Exchange},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {6},
pages = {625--639},
year = {1993},
url = {https://doi.org/10.1109/32.232027},
doi = {10.1109/32.232027},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KayR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KramerLB93,
author = {Bernd J. Kr{\"{a}}mer and
Luqi and
Valdis Berzins},
title = {Compositional Semantics of a Real-Time Prototyping Language},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {5},
pages = {543--477},
year = {1993},
url = {https://doi.org/10.1109/32.232012},
doi = {10.1109/32.232012},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KramerLB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Kurki-Suonio93,
author = {Reino Kurki{-}Suonio},
title = {Stepwise Design of Real-Time Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {1},
pages = {56--69},
year = {1993},
url = {https://doi.org/10.1109/32.210307},
doi = {10.1109/32.210307},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Kurki-Suonio93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LevesonN93,
author = {Nancy G. Leveson and
Peter G. Neumann},
title = {Introduction to Special Issue on Software for Critical Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {1},
pages = {1--2},
year = {1993},
url = {http://doi.ieeecomputersociety.org/10.1109/TSE.1993.10000},
doi = {10.1109/TSE.1993.10000},
timestamp = {Thu, 10 Dec 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/LevesonN93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LieberherrX93,
author = {Karl J. Lieberherr and
Cun Xiao},
title = {Object-Oriented Software Evolution},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {4},
pages = {313--343},
year = {1993},
url = {https://doi.org/10.1109/32.223802},
doi = {10.1109/32.223802},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/LieberherrX93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MalaiyaMS93,
author = {Yashwant K. Malaiya and
Anneliese von Mayrhauser and
Pradip K. Srimani},
title = {An Examination of Fault Exposure Ratio},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {11},
pages = {1087--1094},
year = {1993},
url = {https://doi.org/10.1109/32.256855},
doi = {10.1109/32.256855},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MalaiyaMS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MicallefK93,
author = {Josephine Micallef and
Gail E. Kaiser},
title = {Support Algorithms for Incremental Attribute Evaluation of Asynchronous
Subtree Replacements},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {3},
pages = {231--252},
year = {1993},
url = {https://doi.org/10.1109/32.221136},
doi = {10.1109/32.221136},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MicallefK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MiyoshiA93,
author = {Takeshige Miyoshi and
Motoei Azuma},
title = {An Empirical Study of Evaluating Software Development Environment
Quality},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {5},
pages = {425--435},
year = {1993},
url = {https://doi.org/10.1109/32.232010},
doi = {10.1109/32.232010},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MiyoshiA93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/NakajoAT93,
author = {Takeshi Nakajo and
Isao Azuma and
Masato Tada},
title = {A Case History Development of a Foolproofing Interface Documentation
System},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {8},
pages = {765--773},
year = {1993},
url = {https://doi.org/10.1109/32.238580},
doi = {10.1109/32.238580},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/NakajoAT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Ness93,
author = {Linda A. Ness},
title = {{L.0:} {A} Truly Concurrent Executable Temporal Logic Language for
Protocols},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {4},
pages = {410--423},
year = {1993},
url = {https://doi.org/10.1109/32.223807},
doi = {10.1109/32.223807},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Ness93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Parnas93,
author = {David Lorge Parnas},
title = {Predicate Logic for Software Engineering},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {9},
pages = {856--862},
year = {1993},
url = {https://doi.org/10.1109/32.241769},
doi = {10.1109/32.241769},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Parnas93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ParrishZ93,
author = {Allen S. Parrish and
Stuart H. Zweben},
title = {Clarifying Some Fundamental Concepts in Software Testing},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {7},
pages = {742--746},
year = {1993},
url = {https://doi.org/10.1109/32.238573},
doi = {10.1109/32.238573},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ParrishZ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/PengS93,
author = {Dar{-}Tzen Peng and
Kang G. Shin},
title = {Optimal Scheduling of Cooperative Tasks in a Distributed System Using
an Enumerative Method},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {3},
pages = {253--267},
year = {1993},
url = {https://doi.org/10.1109/32.221134},
doi = {10.1109/32.221134},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/PengS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/PlaiceW93,
author = {John Plaice and
William W. Wadge},
title = {A New Approach to Version Control},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {3},
pages = {268--276},
year = {1993},
url = {https://doi.org/10.1109/32.221137},
doi = {10.1109/32.221137},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/PlaiceW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Qin93,
author = {Bin Qin},
title = {Meet Real-Time Requirements of Parallel Programs and Maximally Utilize
System Resources},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {10},
pages = {976--981},
year = {1993},
url = {https://doi.org/10.1109/32.245739},
doi = {10.1109/32.245739},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Qin93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RamanathanS93,
author = {Parameswaran Ramanathan and
Kang G. Shin},
title = {Use of Common Time Base for Checkpointing and Rollback Recovery in
a Distributed System},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {6},
pages = {571--583},
year = {1993},
url = {https://doi.org/10.1109/32.232022},
doi = {10.1109/32.232022},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/RamanathanS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Rangan93,
author = {P. Venkat Rangan},
title = {Trust Requirements and Performance of a Fast Subtransprot-Level Protocol
for Secure Communication},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {2},
pages = {181--186},
year = {1993},
url = {https://doi.org/10.1109/32.214834},
doi = {10.1109/32.214834},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Rangan93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RangarajanJT93,
author = {Sampath Rangarajan and
Pankaj Jalote and
Satish K. Tripathi},
title = {Capacity of Voting Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {7},
pages = {698--706},
year = {1993},
url = {https://doi.org/10.1109/32.238570},
doi = {10.1109/32.238570},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/RangarajanJT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RaoP93,
author = {Herman C. Rao and
Larry L. Peterson},
title = {Accessing Files in an Internet: The Jade File System},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {6},
pages = {613--624},
year = {1993},
url = {https://doi.org/10.1109/32.232026},
doi = {10.1109/32.232026},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/RaoP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RaskLL93,
author = {Raimo Rask and
Petteri Laamanen and
Kalle Lyytinen},
title = {Simulation and Comparison of Albrecht's Function Point and DeMarco's
Function Bang Metrics in a {CASE} Environment},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {7},
pages = {661--671},
year = {1993},
url = {https://doi.org/10.1109/32.238567},
doi = {10.1109/32.238567},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/RaskLL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RavnRH93,
author = {Anders P. Ravn and
Hans Rischel and
Kirsten Mark Hansen},
title = {Specifying and Verifying Requirements of Real-Time Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {1},
pages = {41--55},
year = {1993},
url = {https://doi.org/10.1109/32.210306},
doi = {10.1109/32.210306},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/RavnRH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RichardsonT93,
author = {Debra J. Richardson and
Margaret C. Thompson},
title = {An Analysis of Test Data Selection Criteria Using the {RELAY} Model
of Fault Detection},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {6},
pages = {533--553},
year = {1993},
url = {https://doi.org/10.1109/32.232020},
doi = {10.1109/32.232020},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/RichardsonT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RichterM93,
author = {Gernot Richter and
Bruno Maffeo},
title = {Toward a Rigorous Interpretation of ESML-Extended Systems Modeling
Language},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {2},
pages = {165--180},
year = {1993},
url = {https://doi.org/10.1109/32.214833},
doi = {10.1109/32.214833},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/RichterM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RomanGB93,
author = {Gruia{-}Catalin Roman and
Rose F. Gamble and
William E. Ball},
title = {Formal Derivation of Rule-Based Programs},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {3},
pages = {277--296},
year = {1993},
url = {https://doi.org/10.1109/32.221138},
doi = {10.1109/32.221138},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/RomanGB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RushbyH93,
author = {John M. Rushby and
Friedrich W. von Henke},
title = {Formal Verification of Algorithms for Critical Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {1},
pages = {13--23},
year = {1993},
url = {https://doi.org/10.1109/32.210304},
doi = {10.1109/32.210304},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/RushbyH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Schneidewind93,
author = {Norman F. Schneidewind},
title = {Software Reliability Model with Optimal Selection of Failure Data},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {11},
pages = {1095--1104},
year = {1993},
url = {https://doi.org/10.1109/32.256856},
doi = {10.1109/32.256856},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Schneidewind93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Sears93,
author = {Andrew Sears},
title = {Layout Appropriateness: {A} Metric for Evaluating User Interface Widget
Layout},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {7},
pages = {707--719},
year = {1993},
url = {https://doi.org/10.1109/32.238571},
doi = {10.1109/32.238571},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/Sears93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ShihLL93,
author = {Wei{-}Kuan Shih and
Jane W.{-}S. Liu and
C. L. Liu},
title = {Modified Rate-Monotonic Algorithm for Scheduling Periodic Jobs with
Deferred Deadlines},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {12},
pages = {1171--1179},
year = {1993},
url = {https://doi.org/10.1109/32.249662},
doi = {10.1109/32.249662},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ShihLL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Shilling93,
author = {John J. Shilling},
title = {Incremental {LL(1)} Parsing in Language-Based Editors},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {9},
pages = {935--940},
year = {1993},
url = {https://doi.org/10.1109/32.241775},
doi = {10.1109/32.241775},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Shilling93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SmithW93,
author = {Connie U. Smith and
Lloyd G. Williams},
title = {Software Performance Engineering: {A} Case Study Including Performance
Comparison with Design Alternatives},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {7},
pages = {720--741},
year = {1993},
url = {https://doi.org/10.1109/32.238572},
doi = {10.1109/32.238572},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/SmithW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SolheimR93,
author = {Jeffery A. Solheim and
John H. Rowland},
title = {An Empirical Study of Testing and Integration Strategies Using Artificial
Software Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {10},
pages = {941--949},
year = {1993},
url = {https://doi.org/10.1109/32.245736},
doi = {10.1109/32.245736},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/SolheimR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SorensenNH93,
author = {Erling Vagn S{\o}rensen and
Jens Nordahl and
Niels Herman Hansen},
title = {From {CSP} Models to Markov Models},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {6},
pages = {554--570},
year = {1993},
url = {https://doi.org/10.1109/32.232021},
doi = {10.1109/32.232021},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/SorensenNH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Staskauskas93,
author = {Mark G. Staskauskas},
title = {Formal Derivation of Concurrent Programs: An Example from Industry},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {5},
pages = {503--528},
year = {1993},
url = {https://doi.org/10.1109/32.232015},
doi = {10.1109/32.232015},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Staskauskas93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/StromY93,
author = {Robert E. Strom and
Daniel M. Yellin},
title = {Extending Typestate Checking Using Conditional Liveness Analysis},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {5},
pages = {478--485},
year = {1993},
url = {https://doi.org/10.1109/32.232013},
doi = {10.1109/32.232013},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/StromY93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/TomekMT93,
author = {Lorrie A. Tomek and
Jogesh K. Muppala and
Kishor S. Trivedi},
title = {Modeling Correlation in Software Recovery Blocks},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {11},
pages = {1071--1086},
year = {1993},
url = {https://doi.org/10.1109/32.256854},
doi = {10.1109/32.256854},
timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/TomekMT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/TsoukalasDN93,
author = {Markos Z. Tsoukalas and
Joe W. Duran and
Simeon C. Ntafos},
title = {On Some Reliability Estimation Problems in Random and Partition Testing},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {7},
pages = {687--697},
year = {1993},
url = {https://doi.org/10.1109/32.238569},
doi = {10.1109/32.238569},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/TsoukalasDN93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/UkelsonGB93,
author = {Jacob P. Ukelson and
John D. Gould and
Stephen J. Boies},
title = {User Navigation in Computer Applications},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {3},
pages = {297--306},
year = {1993},
url = {https://doi.org/10.1109/32.221139},
doi = {10.1109/32.221139},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/UkelsonGB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Weyuker93,
author = {Elaine J. Weyuker},
title = {More Experience with Data Flow Testing},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {9},
pages = {912--919},
year = {1993},
url = {https://doi.org/10.1109/32.241773},
doi = {10.1109/32.241773},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Weyuker93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WielV93,
author = {Scott A. Vander Wiel and
Lawrence G. Votta},
title = {Assessing Software Designs Using Capture-Recapture Methods},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {11},
pages = {1045--1054},
year = {1993},
url = {https://doi.org/10.1109/32.256852},
doi = {10.1109/32.256852},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/WielV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WuF93,
author = {Kun{-}Lung Wu and
W. Kent Fuchs},
title = {Rapid Transaction-Undo Recovery Using Twin-Page Storage Management},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {2},
pages = {155--164},
year = {1993},
url = {https://doi.org/10.1109/32.214832},
doi = {10.1109/32.214832},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/WuF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Xu93,
author = {Jia Xu},
title = {Multiprocessor Scheduling of Processes with Release Times, Deadlines,
Precedence, and Exclusion Relations},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {2},
pages = {139--154},
year = {1993},
url = {https://doi.org/10.1109/32.214831},
doi = {10.1109/32.214831},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/Xu93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/XuP93,
author = {Jia Xu and
David Lorge Parnas},
title = {On Satisfying Timing Constraints in Hard-Real-Time Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {1},
pages = {70--84},
year = {1993},
url = {https://doi.org/10.1109/32.210308},
doi = {10.1109/32.210308},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/XuP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/XuP93a,
author = {Jia Xu and
David Lorge Parnas},
title = {\emph{Correction to} "On Satisfying Timing Constraints in Hard-Real-Time
Systems''},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {3},
pages = {310},
year = {1993},
url = {https://doi.org/10.1109/32.221141},
doi = {10.1109/32.221141},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/XuP93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/YenS93,
author = {Minnie Yi{-}Miin Yen and
Richard W. Scamell},
title = {A Human Factors Experimental Comparison of {SQL} and {QBE}},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {4},
pages = {390--409},
year = {1993},
url = {https://doi.org/10.1109/32.223806},
doi = {10.1109/32.223806},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/YenS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/YoungLT93,
author = {Michael Young and
David L. Levine and
Richard N. Taylor},
title = {Comments on "Temporal Logic-Based Deadlock Analysis for Ada''},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {2},
pages = {198--200},
year = {1993},
url = {https://doi.org/10.1109/32.214836},
doi = {10.1109/32.214836},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/YoungLT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/YuD93,
author = {Philip S. Yu and
Daniel M. Dias},
title = {Performance Analysis of Concurrency Control Using Locking with Deferred
Blocking},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {10},
pages = {982--996},
year = {1993},
url = {https://doi.org/10.1109/32.245740},
doi = {10.1109/32.245740},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/YuD93.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 05:18 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
