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/tse23.bht:"
download as .bib file
@article{DBLP:journals/tse/Abadi97,
author = {Mart{\'{\i}}n Abadi},
title = {Explicit Communication Revisited: Two New Attacks on Authentication
Protocols},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {3},
pages = {185--186},
year = {1997},
url = {https://doi.org/10.1109/32.585505},
doi = {10.1109/32.585505},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Abadi97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AbdelzaherS97,
author = {Tarek F. Abdelzaher and
Kang G. Shin},
title = {Comment on "A Pre-Run-Time Scheduling Algorithm for Hard Real-Time
Systems''},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {9},
pages = {599--600},
year = {1997},
url = {https://doi.org/10.1109/32.629495},
doi = {10.1109/32.629495},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AbdelzaherS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Audenaert97,
author = {Koenraad Audenaert},
title = {Clock Trees: Logical Clocks for Programs with Nested Parallelism},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {10},
pages = {646--658},
year = {1997},
url = {https://doi.org/10.1109/32.637147},
doi = {10.1109/32.637147},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Audenaert97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BatoryG97,
author = {Don S. Batory and
Bart J. Geraci},
title = {Composition Validation and Subjectivity in GenVoca Generators},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {2},
pages = {67--84},
year = {1997},
url = {https://doi.org/10.1109/32.585497},
doi = {10.1109/32.585497},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BatoryG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Binkley97,
author = {David W. Binkley},
title = {Semantics Guided Regression Test Cost Reduction},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {8},
pages = {498--516},
year = {1997},
url = {https://doi.org/10.1109/32.624306},
doi = {10.1109/32.624306},
timestamp = {Thu, 08 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/Binkley97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BloomCD97,
author = {Bard Bloom and
Allan Cheng and
Ashvin Dsouza},
title = {Using a Protean Language to Enhance Expressiveness in Specification},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {4},
pages = {224--234},
year = {1997},
url = {https://doi.org/10.1109/32.588539},
doi = {10.1109/32.588539},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BloomCD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BriandMB97,
author = {Lionel C. Briand and
Sandro Morasca and
Victor R. Basili},
title = {Response to: Comments on "Property-Based Software Engineering Measurement:
Refining the Additivity Properties"},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {3},
pages = {196--197},
year = {1997},
url = {https://doi.org/10.1109/TSE.1997.585509},
doi = {10.1109/TSE.1997.585509},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/BriandMB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Chen97,
author = {Jason Jen{-}Yen Chen},
title = {{CSPL:} An Ada95-Like, Unix-Based Process Environment},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {3},
pages = {171--184},
year = {1997},
url = {https://doi.org/10.1109/32.585504},
doi = {10.1109/32.585504},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Chen97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Coen-PorisiniGK97,
author = {Alberto Coen{-}Porisini and
Carlo Ghezzi and
Richard A. Kemmerer},
title = {Specification of Realtime Systems Using {ASTRAL}},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {9},
pages = {572--598},
year = {1997},
url = {https://doi.org/10.1109/32.629494},
doi = {10.1109/32.629494},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/Coen-PorisiniGK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CohenDFP97,
author = {David M. Cohen and
Siddhartha R. Dalal and
Michael L. Fredman and
Gardner C. Patton},
title = {The {AETG} System: An Approach to Testing Based on Combinatiorial
Design},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {7},
pages = {437--444},
year = {1997},
url = {https://doi.org/10.1109/32.605761},
doi = {10.1109/32.605761},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/CohenDFP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CostagliolaLOT97,
author = {Gennaro Costagliola and
Andrea De Lucia and
Sergio Orefice and
Genoveffa Tortora},
title = {A Parsing Methodology for the Implementation of Visual Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {12},
pages = {777--799},
year = {1997},
url = {https://doi.org/10.1109/32.637392},
doi = {10.1109/32.637392},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/CostagliolaLOT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DutertreS97,
author = {Bruno Dutertre and
Victoria Stavridou},
title = {Formal Requirements Analysis of an Avionics Control System},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {5},
pages = {267--278},
year = {1997},
url = {https://doi.org/10.1109/32.588520},
doi = {10.1109/32.588520},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/DutertreS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Ebrahimi97,
author = {Nader B. Ebrahimi},
title = {On the Statistical Analysis of the Number of Errors Remaining in a
Software Design Document after Inspection},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {8},
pages = {529--532},
year = {1997},
url = {https://doi.org/10.1109/32.624308},
doi = {10.1109/32.624308},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Ebrahimi97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Edwards97,
author = {Stephen H. Edwards},
title = {Representation Inheritance: {A} Safe Form of "White Box'' Code Inheritance},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {2},
pages = {83--92},
year = {1997},
url = {https://doi.org/10.1109/32.585498},
doi = {10.1109/32.585498},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Edwards97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/FengL97,
author = {Wu{-}chun Feng and
Jane W.{-}S. Liu},
title = {Algorithms for Scheduling Real-Time Tasks with Input Error and End-to-End
Deadlines},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {2},
pages = {93--106},
year = {1997},
url = {https://doi.org/10.1109/32.585499},
doi = {10.1109/32.585499},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/FengL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/FocardiG97,
author = {Riccardo Focardi and
Roberto Gorrieri},
title = {The Compositional Security Checker: {A} Tool for the Verification
of Information Flow Security Properties},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {9},
pages = {550--571},
year = {1997},
url = {https://doi.org/10.1109/32.629493},
doi = {10.1109/32.629493},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/FocardiG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/GallagherN97,
author = {Matthew J. Gallagher and
V. Lakshmi Narasimhan},
title = {{ADTEST:} {A} Test Data Generation Suite for Ada Software Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {8},
pages = {473--484},
year = {1997},
url = {https://doi.org/10.1109/32.624304},
doi = {10.1109/32.624304},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/GallagherN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Henderson-Sellers97,
author = {Brian Henderson{-}Sellers},
title = {Corrigenda: Software Size Estimation of Object-Oriented Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {4},
pages = {260--261},
year = {1997},
url = {https://doi.org/10.1109/32.588544},
doi = {10.1109/32.588544},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Henderson-Sellers97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HildermanH97,
author = {Robert J. Hilderman and
Howard J. Hamilton},
title = {A Note on Regeneration with Virtual Copies},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {1},
pages = {56--59},
year = {1997},
url = {https://doi.org/10.1109/32.581329},
doi = {10.1109/32.581329},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HildermanH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HoltzblattPRRH97,
author = {Lester J. Holtzblatt and
Richard L. Piazza and
Howard B. Reubenstein and
Susan N. Roberts and
David R. Harris},
title = {Design Recovery for Distributed Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {7},
pages = {461--472},
year = {1997},
url = {https://doi.org/10.1109/32.605763},
doi = {10.1109/32.605763},
timestamp = {Mon, 14 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HoltzblattPRRH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Holzmann97,
author = {Gerard J. Holzmann},
title = {The Model Checker {SPIN}},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {5},
pages = {279--295},
year = {1997},
url = {https://doi.org/10.1109/32.588521},
doi = {10.1109/32.588521},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Holzmann97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Hu97,
author = {Qing Hu},
title = {Evaluating Alternative Software Production Functions},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {6},
pages = {379--387},
year = {1997},
url = {https://doi.org/10.1109/32.601078},
doi = {10.1109/32.601078},
timestamp = {Wed, 21 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/Hu97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/JonssonO97,
author = {Erland Jonsson and
Tomas Olovsson},
title = {A Quantitative Model of the Security Intrusion Process Based on Attacker
Behavior},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {4},
pages = {235--245},
year = {1997},
url = {https://doi.org/10.1109/32.588541},
doi = {10.1109/32.588541},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/JonssonO97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KaufmannM97,
author = {Matt Kaufmann and
J Strother Moore},
title = {An Industrial Strength Theorem Prover for a Logic Based on Common
Lisp},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {4},
pages = {203--213},
year = {1997},
url = {https://doi.org/10.1109/32.588534},
doi = {10.1109/32.588534},
timestamp = {Mon, 19 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KaufmannM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KitchenhamPF97,
author = {Barbara A. Kitchenham and
Shari Lawrence Pfleeger and
Norman E. Fenton},
title = {Reply to: Comments on "Toward a Framework for Software Measurement
Validation"},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {3},
pages = {189},
year = {1997},
url = {https://doi.org/10.1109/TSE.1997.585507},
doi = {10.1109/TSE.1997.585507},
timestamp = {Thu, 28 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KitchenhamPF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Korel97,
author = {Bogdan Korel},
title = {Computation of Dynamic Program Slices for Unstructured Programs},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {1},
pages = {17--34},
year = {1997},
url = {https://doi.org/10.1109/32.581327},
doi = {10.1109/32.581327},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Korel97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LanubileV97,
author = {Filippo Lanubile and
Giuseppe Visaggio},
title = {Extracting Reusable Funtions by Flow Graph-Based Program Slicing},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {4},
pages = {246--259},
year = {1997},
url = {https://doi.org/10.1109/32.588543},
doi = {10.1109/32.588543},
timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/LanubileV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LeeL97,
author = {Nam{-}Yong Lee and
Charles R. Litecky},
title = {An Empirical Study of Software Reuse with Special Attention to Ada},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {9},
pages = {537--549},
year = {1997},
url = {https://doi.org/10.1109/32.629492},
doi = {10.1109/32.629492},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/LeeL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LittlewoodW97,
author = {Bev Littlewood and
David Wright},
title = {Some Conservative Stopping Rules for the Operational Testing of Safety-Critical
Software},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {11},
pages = {673--683},
year = {1997},
url = {https://doi.org/10.1109/32.637384},
doi = {10.1109/32.637384},
timestamp = {Mon, 12 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/LittlewoodW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LoweR97,
author = {Gavin Lowe and
A. W. Roscoe},
title = {Using {CSP} to Detect Errors in the {TMN} Protocol},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {10},
pages = {659--669},
year = {1997},
url = {https://doi.org/10.1109/32.637148},
doi = {10.1109/32.637148},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/LoweR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MahajanS97,
author = {Rohit Mahajan and
Ben Shneiderman},
title = {Visual and Textual Consistency Checking Tools for Graphical User Interfaces},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {11},
pages = {722--735},
year = {1997},
url = {https://doi.org/10.1109/32.637386},
doi = {10.1109/32.637386},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MahajanS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MatsuuraKH97,
author = {Saeko Matsuura and
Hironobu Kuruma and
Shinichi Honiden},
title = {{EVA:} {A} Flexible Programming Method for Evolving Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {5},
pages = {296--313},
year = {1997},
url = {https://doi.org/10.1109/32.588522},
doi = {10.1109/32.588522},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MatsuuraKH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MehraIS97,
author = {Ashish Mehra and
Atri Indiresan and
Kang G. Shin},
title = {Structuring Communication Software for Quality-of-Service Guarantees},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {10},
pages = {616--634},
year = {1997},
url = {https://doi.org/10.1109/32.637145},
doi = {10.1109/32.637145},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MehraIS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MiliMM97,
author = {Rym Mili and
Ali Mili and
Roland T. Mittermeir},
title = {Storing and Retrieving Software Conponents: {A} Refinement Based System},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {7},
pages = {445--460},
year = {1997},
url = {https://doi.org/10.1109/32.605762},
doi = {10.1109/32.605762},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/MiliMM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MokC97,
author = {Aloysius K. Mok and
Deji Chen},
title = {A Multiframe Model for Real-Time Tasks},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {10},
pages = {635--645},
year = {1997},
url = {https://doi.org/10.1109/32.637146},
doi = {10.1109/32.637146},
timestamp = {Mon, 01 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/MokC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MorascaBBWZ97,
author = {Sandro Morasca and
Lionel C. Briand and
Victor R. Basili and
Elaine J. Weyuker and
Marvin V. Zelkowitz},
title = {Comments on "Toward a Framework for Software Measurement Validation"},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {3},
pages = {187--188},
year = {1997},
url = {https://doi.org/10.1109/32.585506},
doi = {10.1109/32.585506},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/MorascaBBWZ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MukherjeeS97,
author = {Arup Mukherjee and
Daniel P. Siewiorek},
title = {Measuring Software Dependability by Robustness Benchmarking},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {6},
pages = {366--378},
year = {1997},
url = {https://doi.org/10.1109/32.601075},
doi = {10.1109/32.601075},
timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MukherjeeS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MyersMMFFKMKD97,
author = {Brad A. Myers and
Richard G. McDaniel and
Robert C. Miller and
Alan S. Ferrency and
Andrew Faulring and
Bruce D. Kyle and
Andrew Mickish and
Alex Klimovitski and
Patrick Doane},
title = {The Amulet Environment: New Models for Effective User Interface Software
Development},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {6},
pages = {347--365},
year = {1997},
url = {https://doi.org/10.1109/32.601073},
doi = {10.1109/32.601073},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MyersMMFFKMKD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Novak97,
author = {Gordon S. Novak},
title = {Software Reuse by Specialization of Generic Procedures Through Views},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {7},
pages = {401--417},
year = {1997},
url = {https://doi.org/10.1109/32.605759},
doi = {10.1109/32.605759},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Novak97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/PengSA97,
author = {Dar{-}Tzen Peng and
Kang G. Shin and
Tarek F. Abdelzaher},
title = {Assignment and Scheduling Communicating Periodic Tasks in Distributed
Real-Time Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {12},
pages = {745--758},
year = {1997},
url = {https://doi.org/10.1109/32.637388},
doi = {10.1109/32.637388},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/PengSA97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/PillaiN97,
author = {Krishnakumar Pillai and
V. S. S. Nair},
title = {A Model for Software Development Effort and Cost Estimation},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {8},
pages = {485--497},
year = {1997},
url = {https://doi.org/10.1109/32.624305},
doi = {10.1109/32.624305},
timestamp = {Fri, 23 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/PillaiN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/PoelsD97,
author = {Geert Poels and
Guido Dedene},
title = {Comments on "Property-Based Software Engineering Measurement: Refining
the Additivity Properties"},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {3},
pages = {190--195},
year = {1997},
url = {https://doi.org/10.1109/32.585508},
doi = {10.1109/32.585508},
timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/PoelsD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/PorterJ97,
author = {Adam A. Porter and
Philip M. Johnson},
title = {Assessing Software Review Meetings: Results of a Comparative Analysis
of Two Experimental Studies},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {3},
pages = {129--145},
year = {1997},
url = {https://doi.org/10.1109/32.585501},
doi = {10.1109/32.585501},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/PorterJ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/PorterSTV97,
author = {Adam A. Porter and
Harvey P. Siy and
Carol A. Toman and
Lawrence G. Votta},
title = {An Experiment ot Assess the Cost-Benefits of Code Inspections in Large
Scale Software Development},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {6},
pages = {329--346},
year = {1997},
url = {https://doi.org/10.1109/32.601071},
doi = {10.1109/32.601071},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/PorterSTV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RipollCG97,
author = {Ismael Ripoll and
Alfons Crespo and
Ana Garc{\'{\i}}a{-}Fornes},
title = {An Optimal Algorithm for Scheduling Soft Aperiodic Tasks in Dynamic-Priority
Preemptive Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {6},
pages = {388--400},
year = {1997},
url = {https://doi.org/10.1109/32.601081},
doi = {10.1109/32.601081},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/RipollCG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RosenblumW97,
author = {David S. Rosenblum and
Elaine J. Weyuker},
title = {Using Coverage Information to Predict the Cost-Effectiveness of Regression
Testing Strategies},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {3},
pages = {146--156},
year = {1997},
url = {https://doi.org/10.1109/32.585502},
doi = {10.1109/32.585502},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/RosenblumW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Sen97,
author = {Arun Sen},
title = {The Role of Opportunism in the Software Design Reuse Process},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {7},
pages = {418--436},
year = {1997},
url = {https://doi.org/10.1109/32.605760},
doi = {10.1109/32.605760},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Sen97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ShepperdS97,
author = {Martin J. Shepperd and
Chris Schofield},
title = {Estimating Software Project Effort Using Analogies},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {11},
pages = {736--743},
year = {1997},
url = {https://doi.org/10.1109/32.637387},
doi = {10.1109/32.637387},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/ShepperdS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SitaramanWO97,
author = {Murali Sitaraman and
Bruce W. Weide and
William F. Ogden},
title = {On the Practical Need for Abstraction Relations to Verify Abstract
Data Type Representations},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {3},
pages = {157--170},
year = {1997},
url = {https://doi.org/10.1109/32.585503},
doi = {10.1109/32.585503},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/SitaramanWO97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/StewartVK97,
author = {David B. Stewart and
Richard Volpe and
Pradeep K. Khosla},
title = {Design of Dynamically Reconfigurable Real-Time Software Using Port-Based
Objects},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {12},
pages = {759--776},
year = {1997},
url = {https://doi.org/10.1109/32.637390},
doi = {10.1109/32.637390},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/StewartVK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SunGL97,
author = {Jun Sun and
Mark K. Gardner and
Jane W.{-}S. Liu},
title = {Bounding Completion Times of Jobs with Arbitrary Release Times, Variable
Execution Times and Resource Sharing},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {10},
pages = {603--615},
year = {1997},
url = {https://doi.org/10.1109/32.637144},
doi = {10.1109/32.637144},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/SunGL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/TriantafillouN97,
author = {Peter Triantafillou and
Carl Neilson},
title = {Achieving Strong Consistency in a Distributed File System},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {1},
pages = {35--55},
year = {1997},
url = {https://doi.org/10.1109/32.581328},
doi = {10.1109/32.581328},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/TriantafillouN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WalterLS97,
author = {Chris J. Walter and
Patrick Lincoln and
Neeraj Suri},
title = {Formally Verified On-Line Diagnosis},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {11},
pages = {684--721},
year = {1997},
url = {https://doi.org/10.1109/32.637385},
doi = {10.1109/32.637385},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/WalterLS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WangM97,
author = {Changqing Wang and
David R. Musser},
title = {Dynamic Verification of {C++} Generic Algorithms},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {5},
pages = {314--323},
year = {1997},
url = {https://doi.org/10.1109/32.588523},
doi = {10.1109/32.588523},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/WangM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WellingsB97,
author = {Andy J. Wellings and
Alan Burns},
title = {Implementing Atomic Actions in Ada 95},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {2},
pages = {107--123},
year = {1997},
url = {https://doi.org/10.1109/32.585500},
doi = {10.1109/32.585500},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/WellingsB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WuS97,
author = {Min{-}You Wu and
Wei Shu},
title = {On Parallelization of Static Scheduling Algorithms},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {8},
pages = {517--528},
year = {1997},
url = {https://doi.org/10.1109/32.624307},
doi = {10.1109/32.624307},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/WuS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/YanZM97,
author = {Yong Yan and
Xiaodong Zhang and
Qian Ma},
title = {Software Support for Multiprocessor Latency Measurement and Evaluation},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {1},
pages = {4--16},
year = {1997},
url = {https://doi.org/10.1109/32.581326},
doi = {10.1109/32.581326},
timestamp = {Wed, 25 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/YanZM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Young97,
author = {William D. Young},
title = {Comparing Verification Systems: Interactive Consistency in {ACL2}},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {4},
pages = {214--223},
year = {1997},
url = {https://doi.org/10.1109/32.588536},
doi = {10.1109/32.588536},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Young97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Zuse97,
author = {Horst Zuse},
title = {Reply to: "Property-Based Software Engineering Measurement''},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {8},
pages = {533},
year = {1997},
url = {https://doi.org/10.1109/32.624309},
doi = {10.1109/32.624309},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Zuse97.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-23 18:03 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:
