![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/tse/tse23.bht:"
@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} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.