Search dblp for Publications

export results for "toc:db/journals/tse/tse14.bht:"

 download as .bib file

@article{DBLP:journals/tse/Adler88,
  author       = {Mike Adler},
  title        = {An Algebra for Data Flow Diagram Process Decomposition},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {2},
  pages        = {169--183},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4636},
  doi          = {10.1109/32.4636},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Adler88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AggarwalBM88,
  author       = {Sudhir Aggarwal and
                  Daniel Barbar{\'{a}} and
                  Kalman Z. Meth},
  title        = {A Software Environment for the Specification and Analysis of Problems
                  of Coordination and Concurrency},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {3},
  pages        = {280--290},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4649},
  doi          = {10.1109/32.4649},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/AggarwalBM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Agrawal88,
  author       = {Rakesh Agrawal},
  title        = {Alpha: An Extension of Relational Algebra to Express a Class of Recursive
                  Queries},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {7},
  pages        = {879--885},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.42731},
  doi          = {10.1109/32.42731},
  timestamp    = {Tue, 07 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/Agrawal88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AikenN88,
  author       = {Alexander Aiken and
                  Alexandru Nicolau},
  title        = {A Development Environment for Horizontal Microcode},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {5},
  pages        = {584--594},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6136},
  doi          = {10.1109/32.6136},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/AikenN88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Akyildiz88,
  author       = {Ian F. Akyildiz},
  title        = {Mean Value Analysis for Blocking Queueing Networks},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {4},
  pages        = {418--428},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4663},
  doi          = {10.1109/32.4663},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Akyildiz88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AkyildizS88,
  author       = {Ian F. Akyildiz and
                  Albrecht Sieber},
  title        = {Approximate Analysis of Load Dependent General Queueing Networks},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {11},
  pages        = {1537--1545},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.9042},
  doi          = {10.1109/32.9042},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/AkyildizS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Akyldiz88,
  author       = {Ian F. Akyildiz},
  title        = {On the Exact and Approximate Throughput Analysis of Closed Queueing
                  Networks with Blocking},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {1},
  pages        = {62--70},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4623},
  doi          = {10.1109/32.4623},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Akyldiz88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Alexander88,
  author       = {Heather Alexander},
  title        = {Comments on "Formal Specification of User Interfaces: {A} Comparison
                  and Evaluation of Four Axiomatic Approaches"},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {4},
  pages        = {438--439},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4665},
  doi          = {10.1109/32.4665},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Alexander88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AllanM88,
  author       = {Vicki H. Allan and
                  Robert A. Mueller},
  title        = {Compaction with General Timing},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {5},
  pages        = {595--599},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6137},
  doi          = {10.1109/32.6137},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/AllanM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AmbriolaN88,
  author       = {Vincenzo Ambriola and
                  David Notkin},
  title        = {Reasoning About Interactive Systems},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {2},
  pages        = {272--276},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4645},
  doi          = {10.1109/32.4645},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/AmbriolaN88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Anderson88,
  author       = {David P. Anderson},
  title        = {Automated Protocol Implementation with {RTAG}},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {3},
  pages        = {291--300},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4650},
  doi          = {10.1109/32.4650},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Anderson88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Baker88,
  author       = {C. T. Baker},
  title        = {Effects of Field Service on Software Reliability},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {2},
  pages        = {254--258},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4642},
  doi          = {10.1109/32.4642},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Baker88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BanerjeeKKG88,
  author       = {Jay Banerjee and
                  Won Kim and
                  Sung{-}Jo Kim and
                  Jorge F. Garza},
  title        = {Clustering a {DAG} for {CAD} Databases},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {11},
  pages        = {1684--1699},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.9055},
  doi          = {10.1109/32.9055},
  timestamp    = {Wed, 28 Mar 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/BanerjeeKKG88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BasiliR88,
  author       = {Victor R. Basili and
                  H. Dieter Rombach},
  title        = {The {TAME} Project: Towards Improvement-Oriented Software Environments},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {6},
  pages        = {758--773},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6156},
  doi          = {10.1109/32.6156},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/BasiliR88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Bassiouni88,
  author       = {Mostafa A. Bassiouni},
  title        = {Single-Site and Distributed Optimistic Protocols for Concurrency Control},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {8},
  pages        = {1071--1080},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.7617},
  doi          = {10.1109/32.7617},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Bassiouni88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BastaniYC88,
  author       = {Farokh B. Bastani and
                  I{-}Ling Yen and
                  Ing{-}Ray Chen},
  title        = {A Class of Inherently Fault Tolerant Distributed Programs},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {10},
  pages        = {1432--1442},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6188},
  doi          = {10.1109/32.6188},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/BastaniYC88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BatoryBGSTTW88,
  author       = {Don S. Batory and
                  J. R. Barnett and
                  Jorge F. Garza and
                  K. P. Smith and
                  K. Tsukuda and
                  Brian C. Twichell and
                  T. E. Wise},
  title        = {{GENESIS:} An Extensible Database Management System},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {11},
  pages        = {1711--1730},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.9057},
  doi          = {10.1109/32.9057},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/BatoryBGSTTW88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BillingtonWW88,
  author       = {Jonathan Billington and
                  Geoffrey R. Wheeler and
                  Michael C. Wilbur{-}Ham},
  title        = {{PROTEAN:} {A} High-Level Petri Net Tool for the Specification and
                  Verification of Communication Protocols},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {3},
  pages        = {301--316},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4651},
  doi          = {10.1109/32.4651},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/BillingtonWW88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Bochmann88,
  author       = {Gregor von Bochmann},
  title        = {Delay-Independent Design for Distributed Systems},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {8},
  pages        = {1229--1237},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.7630},
  doi          = {10.1109/32.7630},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Bochmann88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BoehmP88,
  author       = {Barry W. Boehm and
                  Philip N. Papaccio},
  title        = {Understanding and Controlling Software Costs},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {10},
  pages        = {1462--1477},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6191},
  doi          = {10.1109/32.6191},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/BoehmP88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Bradley88,
  author       = {J. Bradley},
  title        = {A Group-Select Operation for Relational Algebra and Implications for
                  Database Machine Design},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {1},
  pages        = {126--129},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4630},
  doi          = {10.1109/32.4630},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Bradley88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CabreraHKM88,
  author       = {Luis{-}Felipe Cabrera and
                  Edward Hunter and
                  Michael J. Karels and
                  David A. Mosher},
  title        = {User-Process Communication Performance in Networks of Computers},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {1},
  pages        = {38--53},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4621},
  doi          = {10.1109/32.4621},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/CabreraHKM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CameronCGKNUV88,
  author       = {E. Jane Cameron and
                  David M. Cohen and
                  B. Gopinath and
                  William M. Keese II and
                  Linda A. Ness and
                  Prem Uppaluru and
                  John R. Vollaro},
  title        = {The IC* Model of Parallel Computation and Programming Environment},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {3},
  pages        = {317--326},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4652},
  doi          = {10.1109/32.4652},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/CameronCGKNUV88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CasavantK88,
  author       = {Thomas L. Casavant and
                  Jon G. Kuhl},
  title        = {A Taxonomy of Scheduling in General-Purpose Distributed Computing
                  Systems},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {2},
  pages        = {141--154},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4634},
  doi          = {10.1109/32.4634},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/CasavantK88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CasavantK88a,
  author       = {Thomas L. Casavant and
                  Jon G. Kuhl},
  title        = {Effects of Response and Stability on Scheduling in Distributed Computing
                  Systems},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {11},
  pages        = {1578--1588},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.9046},
  doi          = {10.1109/32.9046},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/CasavantK88a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CellaryKM88,
  author       = {Wojciech Cellary and
                  Zbyszko Kr{\'{o}}likowski and
                  Tadeusz Morzy},
  title        = {Other Comments on "Optimization Algorithms for Distributed Queries"},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {4},
  pages        = {439--441},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4666},
  doi          = {10.1109/32.4666},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/CellaryKM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CeriCML88,
  author       = {Stefano Ceri and
                  Stefano Crespi{-}Reghizzi and
                  Andrea Di Maio and
                  Luigi Lavazza},
  title        = {Software Prototyping by Relational Techniques: Experiences with Program
                  Construction Systems},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {11},
  pages        = {1597--1609},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.9048},
  doi          = {10.1109/32.9048},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/CeriCML88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ChangYDA88,
  author       = {Shi{-}Kuo Chang and
                  C. W. Yan and
                  Donald C. Dimitroff and
                  Timothy Arndt},
  title        = {An Intelligent Image Database System},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {5},
  pages        = {681--688},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6147},
  doi          = {10.1109/32.6147},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/ChangYDA88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ChengIK88,
  author       = {Ying Cheng and
                  S. Sitharama Iyengar and
                  Rangasami L. Kashyap},
  title        = {A New Method of Image Compression using Irreducible Covers of Maximum
                  Rectangles},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {5},
  pages        = {651--658},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6142},
  doi          = {10.1109/32.6142},
  timestamp    = {Tue, 08 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/ChengIK88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ChoobinehMNK88,
  author       = {Joobin Choobineh and
                  Michael V. Mannino and
                  Jay F. Nunamaker Jr. and
                  Benn R. Konsynski},
  title        = {An Expert Database Design System Based on Analysis of Forms},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {2},
  pages        = {242--253},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4641},
  doi          = {10.1109/32.4641},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/ChoobinehMNK88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ChowL88,
  author       = {Ching{-}Hua Chow and
                  Simon S. Lam},
  title        = {{PROSPEC:} An Interactive Programming Environment for Designing and
                  Verifying Communication Protocols},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {3},
  pages        = {327--338},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4653},
  doi          = {10.1109/32.4653},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/ChowL88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Clark88,
  author       = {Keith L. Clark},
  title        = {{PARLOG} and Its Applications},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {12},
  pages        = {1792--1804},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.9064},
  doi          = {10.1109/32.9064},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Clark88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ConcepcionZ88,
  author       = {Arturo I. Concepcion and
                  Bernard P. Zeigler},
  title        = {{DEVS} Formalism: {A} Framework for Hierarchical Model Development},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {2},
  pages        = {228--241},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4640},
  doi          = {10.1109/32.4640},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/ConcepcionZ88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CooperH88,
  author       = {Robert C. B. Cooper and
                  K. G. Hamilton},
  title        = {Preserving Abstraction in Concurrent Programming},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {2},
  pages        = {258--263},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4643},
  doi          = {10.1109/32.4643},
  timestamp    = {Mon, 16 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/CooperH88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Damm88,
  author       = {Werner Damm},
  title        = {A Microprogramming Logic},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {5},
  pages        = {559--574},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6134},
  doi          = {10.1109/32.6134},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Damm88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DavisBC88,
  author       = {Alan M. Davis and
                  Edward H. Bersoff and
                  Edward R. Comer},
  title        = {A Strategy for Comparing Alternative Software Development Life Cycle
                  Models},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {10},
  pages        = {1453--1461},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6190},
  doi          = {10.1109/32.6190},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/DavisBC88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DavisL88,
  author       = {John Stephen Davis and
                  Richard J. LeBlanc},
  title        = {A Study of the Applicability of Complexity Measures},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {9},
  pages        = {1366--1372},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6179},
  doi          = {10.1109/32.6179},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/DavisL88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DemurjianH88,
  author       = {Steven A. Demurjian and
                  David K. Hsiao},
  title        = {Towards a Better Understanding of Data Models Through the Multilingual
                  Database System},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {7},
  pages        = {946--958},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.42737},
  doi          = {10.1109/32.42737},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/DemurjianH88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DharJ88,
  author       = {Vasant Dhar and
                  Matthias Jarke},
  title        = {Dependency Directed Reasoning and Learning in Systems Maintenance
                  Support},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {2},
  pages        = {211--227},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4639},
  doi          = {10.1109/32.4639},
  timestamp    = {Tue, 05 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/DharJ88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DittrichL88,
  author       = {Klaus R. Dittrich and
                  Raymond A. Lorie},
  title        = {Version Support for Engineering Database Systems},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {4},
  pages        = {429--437},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4664},
  doi          = {10.1109/32.4664},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/DittrichL88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Dromey88,
  author       = {R. Geoff Dromey},
  title        = {Systematic Program Development},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {1},
  pages        = {12--29},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4619},
  doi          = {10.1109/32.4619},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Dromey88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Edel88,
  author       = {Mark Edel},
  title        = {The Tinkertoy Graphical Programming Environment},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {8},
  pages        = {1110--1115},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.7621},
  doi          = {10.1109/32.7621},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Edel88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Eich88,
  author       = {Margaret H. Eich},
  title        = {Graph Directed Locking},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {2},
  pages        = {133--140},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4633},
  doi          = {10.1109/32.4633},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Eich88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ElmagarmidSL88,
  author       = {Ahmed K. Elmagarmid and
                  Neelam Soundararajan and
                  Ming T. Liu},
  title        = {A Distributed Deadlock Detection and Resolution Algorithm and Its
                  Correctness Proof},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {10},
  pages        = {1443--1452},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6189},
  doi          = {10.1109/32.6189},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/ElmagarmidSL88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ErmanLH88,
  author       = {Lee D. Erman and
                  Jay S. Lark and
                  Frederick Hayes{-}Roth},
  title        = {{ABE:} An Environment for Engineering Intelligent Systems},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {12},
  pages        = {1758--1770},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.9062},
  doi          = {10.1109/32.9062},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/ErmanLH88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Faloutsos88,
  author       = {Christos Faloutsos},
  title        = {Gray Codes for Partial Match and Range Queries},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {10},
  pages        = {1381--1393},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6184},
  doi          = {10.1109/32.6184},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Faloutsos88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Ferrari88,
  author       = {Domenico Ferrari},
  title        = {Forword to the Special Section on Papers from the 1987 {ACM} {SIMETRICS}
                  Conference on Measurement and Modeling of Computer Systems},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {4},
  pages        = {521},
  year         = {1988},
  url          = {http://doi.ieeecomputersociety.org/10.1109/TSE.1988.10003},
  doi          = {10.1109/TSE.1988.10003},
  timestamp    = {Thu, 10 Dec 2015 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/Ferrari88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Fisher88,
  author       = {Gene Fisher},
  title        = {An Overview of a Graphical Multilanguage Applications Environment},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {6},
  pages        = {774--786},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6157},
  doi          = {10.1109/32.6157},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Fisher88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/FrancescoV88,
  author       = {Nicoletta De Francesco and
                  Gigliola Vaglini},
  title        = {Description of a Tool for Specifying and Prototyping Concurrent Programs},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {11},
  pages        = {1554--1564},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.9044},
  doi          = {10.1109/32.9044},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/FrancescoV88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/FranklW88,
  author       = {Phyllis G. Frankl and
                  Elaine J. Weyuker},
  title        = {An Applicable Family of Data Flow Testing Criteria},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {10},
  pages        = {1483--1498},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6194},
  doi          = {10.1109/32.6194},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/FranklW88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Garcia-MolinaK88,
  author       = {Hector Garcia{-}Molina and
                  Boris Kogan},
  title        = {Achieving High Availability in Distributed Databases},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {7},
  pages        = {886--896},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.42732},
  doi          = {10.1109/32.42732},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Garcia-MolinaK88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/GehaniR88,
  author       = {Narain H. Gehani and
                  William D. Roome},
  title        = {Rendezvous Facilities: Concurrent {C} and the Ada Language},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {11},
  pages        = {1546--1553},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.9043},
  doi          = {10.1109/32.9043},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/GehaniR88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/GiacaloneS88,
  author       = {Alessandro Giacalone and
                  Scott A. Smolka},
  title        = {Integrated Environments for Formally Well-Founded Design and Simulation
                  of Concurrent Systems},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {6},
  pages        = {787--802},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6158},
  doi          = {10.1109/32.6158},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/GiacaloneS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/GordonF88,
  author       = {Aaron J. Gordon and
                  Raphael A. Finkel},
  title        = {Handling Timing Errors in Distributed Programs},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {10},
  pages        = {1525--1535},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6197},
  doi          = {10.1109/32.6197},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/GordonF88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Gray88,
  author       = {David Gray},
  title        = {The Formal Specification of a Small Bookshop Information System},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {2},
  pages        = {263--272},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4644},
  doi          = {10.1109/32.4644},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Gray88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Hartley88,
  author       = {Stephen J. Hartley},
  title        = {An Analysis of Some Problems in Managing Virtual Memory Systems with
                  Fast Secondary Storage Devices},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {8},
  pages        = {1176--1187},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.7627},
  doi          = {10.1109/32.7627},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Hartley88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Hartley88a,
  author       = {Stephen J. Hartley},
  title        = {Compile-Time Program Restructuring in Multiprogrammed Virtual Memory
                  Systems},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {11},
  pages        = {1640--1644},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.9051},
  doi          = {10.1109/32.9051},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/Hartley88a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HeidelbergerL88,
  author       = {Philip Heidelberger and
                  M. Seetha Lakshmi},
  title        = {A Performance Comparison of Multimicro and Mainframe Database Architectures},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {4},
  pages        = {522--531},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4675},
  doi          = {10.1109/32.4675},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/HeidelbergerL88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HerathYSY88,
  author       = {Jayantha A. Herath and
                  Yoshinori Yamaguchi and
                  Nobuo Saito and
                  Toshitsugu Yuba},
  title        = {Dataflow Computing Models, Languages, and Machines for Intelligence
                  Computations},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {12},
  pages        = {1805--1828},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.9065},
  doi          = {10.1109/32.9065},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/HerathYSY88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HerndonB88,
  author       = {Robert M. Herndon Jr. and
                  Valdis Berzins},
  title        = {The Realizable Benefits of a Language Prototyping Language},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {6},
  pages        = {803--809},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6159},
  doi          = {10.1109/32.6159},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/HerndonB88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HoffmanS88,
  author       = {Daniel Hoffman and
                  Richard T. Snodgrass},
  title        = {Trace Specifications: Methodology and Models},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {9},
  pages        = {1243--1252},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6168},
  doi          = {10.1109/32.6168},
  timestamp    = {Tue, 05 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/HoffmanS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HsiaU88,
  author       = {Pei Hsia and
                  Joseph E. Urban},
  title        = {Guest Editors' Introduction: Computer Languages},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {4},
  pages        = {442--443},
  year         = {1988},
  url          = {http://doi.ieeecomputersociety.org/10.1109/TSE.1988.10002},
  doi          = {10.1109/TSE.1988.10002},
  timestamp    = {Thu, 10 Dec 2015 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/HsiaU88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HudsonK88,
  author       = {Scott E. Hudson and
                  Roger King},
  title        = {The Cactis Project: Database Support for Software Environment},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {6},
  pages        = {709--719},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6152},
  doi          = {10.1109/32.6152},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/HudsonK88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HudsonK88a,
  author       = {Scott E. Hudson and
                  Roger King},
  title        = {Semantic Feedback in the Higgens {UIMS}},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {8},
  pages        = {1188--1206},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.7628},
  doi          = {10.1109/32.7628},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/HudsonK88a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/IbarakiKK88,
  author       = {Toshihide Ibaraki and
                  Tiko Kameda and
                  Naoki Katoh},
  title        = {Cautious Transaction Schedulers for Database Concurrency Control},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {7},
  pages        = {997--1009},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.42740},
  doi          = {10.1109/32.42740},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/IbarakiKK88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/IyengarK88,
  author       = {S. Sitharama Iyengar and
                  Rangasami L. Kashyap},
  title        = {Guest Editors' Introduction: Image Databases},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {5},
  pages        = {608--610},
  year         = {1988},
  url          = {http://doi.ieeecomputersociety.org/10.1109/TSE.1988.10004},
  doi          = {10.1109/TSE.1988.10004},
  timestamp    = {Thu, 10 Dec 2015 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/IyengarK88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/JardMG88,
  author       = {Claude Jard and
                  Jean{-}Fran{\c{c}}ois Monin and
                  Roland Groz},
  title        = {Development of V{\'{e}}da, a Prototyping Tool for Distributed
                  Algorithms},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {3},
  pages        = {339--352},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4654},
  doi          = {10.1109/32.4654},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/JardMG88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Jayaraman88,
  author       = {Bharat Jayaraman},
  title        = {Semantics of EqL},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {4},
  pages        = {472--480},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4670},
  doi          = {10.1109/32.4670},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Jayaraman88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/JenqKT88,
  author       = {Bao{-}Chyuan Jenq and
                  Walter H. Kohler and
                  Donald F. Towsley},
  title        = {A Queueing Network Model for a Distributed Database Testbed System},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {7},
  pages        = {908--921},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.42734},
  doi          = {10.1109/32.42734},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/JenqKT88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/JosephC88,
  author       = {Thomas Joseph and
                  Alfonso F. Cardenas},
  title        = {{PICQUERY:} {A} High Level Query Language for Pictorial Database Management},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {5},
  pages        = {630--638},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6140},
  doi          = {10.1109/32.6140},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/JosephC88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KakudaWN88,
  author       = {Yoshiaki Kakuda and
                  Yasushi Wakahara and
                  Masamitsu Norigoe},
  title        = {An Acyclic Expansion Algorithm for Fast Protocol Validation},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {8},
  pages        = {1059--1070},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.7616},
  doi          = {10.1109/32.7616},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/KakudaWN88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KaoCL88,
  author       = {Mimi Kao and
                  Nick Cercone and
                  Wo{-}Shun Luk},
  title        = {Providing Quality Responses with Natural Language Interfaces: The
                  Null Value Problem},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {7},
  pages        = {959--984},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.42738},
  doi          = {10.1109/32.42738},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/KaoCL88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KarimiK88,
  author       = {Jahangir Karimi and
                  Benn R. Konsynski},
  title        = {An Automated Software Design Assistant},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {2},
  pages        = {194--210},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4638},
  doi          = {10.1109/32.4638},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/KarimiK88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KasturiA88,
  author       = {Rangachar Kasturi and
                  Juan Alemany},
  title        = {Information Extraction of Paper-Based Maps},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {5},
  pages        = {671--675},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6145},
  doi          = {10.1109/32.6145},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/KasturiA88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KentG88,
  author       = {Jack Kent and
                  Hector Garcia{-}Molina},
  title        = {Optimizing Shadow Recovery Algorithms},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {2},
  pages        = {155--168},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4635},
  doi          = {10.1109/32.4635},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/KentG88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Kessels88,
  author       = {Joep L. W. Kessels},
  title        = {{PHILAN:} {A} {LAN} Providing a Reliable Message Service for Distributed
                  Processing},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {10},
  pages        = {1424--1431},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6187},
  doi          = {10.1109/32.6187},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Kessels88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KetabchiB88,
  author       = {Mohammad A. Ketabchi and
                  Valdis Berzins},
  title        = {Mathematical Model of Composite Objects and Its Application for Organizing
                  Engineering Databases},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {1},
  pages        = {71--84},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4624},
  doi          = {10.1109/32.4624},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/KetabchiB88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KiferL88,
  author       = {Michael Kifer and
                  Eliezer L. Lozinskii},
  title        = {{SYGRAF:} Implementing Logic Programs in a Database Style},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {7},
  pages        = {922--935},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.42735},
  doi          = {10.1109/32.42735},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/KiferL88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Kim88,
  author       = {K. H. Kim},
  title        = {Programmer-Transparent Coordination of Recovering Concurrent Processes:
                  Philosophy and Rules for Efficient Implementation},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {6},
  pages        = {810--821},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6160},
  doi          = {10.1109/32.6160},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Kim88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KimCB88,
  author       = {Won Kim and
                  Hong{-}Tai Chou and
                  Jay Banerjee},
  title        = {Operations and Implementation of Complex Objects},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {7},
  pages        = {985--996},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.42739},
  doi          = {10.1109/32.42739},
  timestamp    = {Wed, 28 Mar 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/KimCB88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/King88,
  author       = {Willis K. King},
  title        = {Guest Editor's Introduction: Microprogramming},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {5},
  pages        = {558},
  year         = {1988},
  url          = {http://doi.ieeecomputersociety.org/10.1109/TSE.1988.10005},
  doi          = {10.1109/TSE.1988.10005},
  timestamp    = {Thu, 10 Dec 2015 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/King88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KinsleyH88,
  author       = {Kathryn C. Kinsley and
                  Charles E. Hughes},
  title        = {Evaluating Database Update Schemes: {A} Methodology and Its Applications
                  to Distributive Systems},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {8},
  pages        = {1081--1089},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.7618},
  doi          = {10.1109/32.7618},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/KinsleyH88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Korel88,
  author       = {Bogdan Korel},
  title        = {{PELAS} - Program Error-Locating Assistant System},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {9},
  pages        = {1253--1260},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6169},
  doi          = {10.1109/32.6169},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Korel88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Lam88,
  author       = {Simon S. Lam},
  title        = {Protocol Conversion},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {3},
  pages        = {353--362},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4655},
  doi          = {10.1109/32.4655},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Lam88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Lam88a,
  author       = {Simon S. Lam},
  title        = {Correction to "Protocol Conversion"},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {9},
  pages        = {1376},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6181},
  doi          = {10.1109/32.6181},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Lam88a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LamSK88,
  author       = {Herman Lam and
                  Stanley Y. W. Su and
                  Nageshwar R. Koganti},
  title        = {A Physical Database Design Evaluation System for {CODASYL} Databases},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {7},
  pages        = {1010--1022},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.42741},
  doi          = {10.1109/32.42741},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/LamSK88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LamsweerdeDDSC88,
  author       = {Axel van Lamsweerde and
                  Bruno Delcourt and
                  Emmanuelle Delor and
                  Marie{-}Claire Schayes and
                  Robert Champagne},
  title        = {Generic Lifecycle Support in the {ALMA} Environment},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {6},
  pages        = {720--741},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6153},
  doi          = {10.1109/32.6153},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/LamsweerdeDDSC88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Lausen88,
  author       = {Georg Lausen},
  title        = {Modeling and Analysis of the Behavior of Information Systems},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {11},
  pages        = {1610--1620},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.9049},
  doi          = {10.1109/32.9049},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/Lausen88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LeeL88,
  author       = {Tony T. Lee and
                  Ming{-}Yee Lai},
  title        = {A Relational Algebraic Approach to Protocol Verification},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {2},
  pages        = {184--193},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4637},
  doi          = {10.1109/32.4637},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/LeeL88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LeuB88,
  author       = {Pei{-}Jyun Leu and
                  Bharat K. Bhargava},
  title        = {Clarification of Two Phase Locking in Concurrent Transaction Processing},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {1},
  pages        = {122--125},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4629},
  doi          = {10.1109/32.4629},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/LeuB88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LewDF88,
  author       = {Ken S. Lew and
                  Tharam S. Dillon and
                  Kevin E. Forward},
  title        = {Software Complexity and Its Impact on Software Reliability},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {11},
  pages        = {1645--1655},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.9052},
  doi          = {10.1109/32.9052},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/LewDF88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LuqiBY88,
  author       = {Luqi and
                  Valdis Berzins and
                  Raymond T. Yeh},
  title        = {A Prototyping Language for Real-Time Software},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {10},
  pages        = {1409--1423},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6186},
  doi          = {10.1109/32.6186},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/LuqiBY88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Madhavji88,
  author       = {Nazim H. Madhavji},
  title        = {Fragtypes: {A} Basis for Programming Environments},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {1},
  pages        = {85--97},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4625},
  doi          = {10.1109/32.4625},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Madhavji88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Maggiolo-SchettiniNT88,
  author       = {Andrea Maggiolo{-}Schettini and
                  Margherita Napoli and
                  Genoveffa Tortora},
  title        = {Web Structures: {A} Tool for Representing and Manipulating Programs},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {11},
  pages        = {1621--1639},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.9050},
  doi          = {10.1109/32.9050},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/Maggiolo-SchettiniNT88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MatthewsMS88,
  author       = {Robert S. Matthews and
                  K. H. Muralidhar and
                  Steven Sparks},
  title        = {{MAP} 2.1 Conformance Testing Tools},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {3},
  pages        = {363--374},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4656},
  doi          = {10.1109/32.4656},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/MatthewsMS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Meandzija88,
  author       = {Branislav Meandzija},
  title        = {Archetype: {A} Unified Method for the Design and Implementation of
                  Protocol Architectures},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {6},
  pages        = {822--837},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6161},
  doi          = {10.1109/32.6161},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Meandzija88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MikkilineniCS88,
  author       = {Krishna P. Mikkilineni and
                  Yuan{-}Chieh Chow and
                  Stanley Y. W. Su},
  title        = {Petri-Net-Based Modeling and Evaluation of Pipelined Processing of
                  Concurrent Database Queries},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {11},
  pages        = {1656--1667},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.9053},
  doi          = {10.1109/32.9053},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/MikkilineniCS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MikkilineniS88,
  author       = {Krishna P. Mikkilineni and
                  Stanley Y. W. Su},
  title        = {An Evaluation of Relational Join Algorithms in a Pipelined Query Processing
                  Environment},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {6},
  pages        = {838--848},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6162},
  doi          = {10.1109/32.6162},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/MikkilineniS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MilutinovicCH88,
  author       = {Veljko M. Milutinovic and
                  Jakov J. Crnkovic and
                  Catherine E. Houstis},
  title        = {A Simulation Study of Two Distributed Task Allocation Procedures},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {1},
  pages        = {54--61},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4622},
  doi          = {10.1109/32.4622},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/MilutinovicCH88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MohanK88,
  author       = {Lil Mohan and
                  Rangasami L. Kashyap},
  title        = {An Object-Oriented Knowledge Representation for Spatial Information},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {5},
  pages        = {675--681},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6146},
  doi          = {10.1109/32.6146},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/MohanK88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Moher88,
  author       = {Thomas G. Moher},
  title        = {{PROVIDE:} {A} Process Visualization and Debugging Environment},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {6},
  pages        = {849--857},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6163},
  doi          = {10.1109/32.6163},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Moher88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MoitraIBY88,
  author       = {Abha Moitra and
                  S. Sitharama Iyengar and
                  Farokh B. Bastani and
                  I{-}Ling Yen},
  title        = {Multilevel Data Structures: Models and Performance},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {6},
  pages        = {858--867},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6164},
  doi          = {10.1109/32.6164},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/MoitraIBY88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MoldovanW88,
  author       = {Dan I. Moldovan and
                  Chung{-}I Wu},
  title        = {A Hierarchical Knowledge Based System for Airplane Classification},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {12},
  pages        = {1829--1834},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.9066},
  doi          = {10.1109/32.9066},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/MoldovanW88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MuellerDSW88,
  author       = {Robert A. Mueller and
                  Michael R. Duda and
                  Philip H. Sweany and
                  Jack S. Walicki},
  title        = {Horizon: {A} Retargetable Compiler for Horizontal Microarchitectures},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {5},
  pages        = {575--583},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6135},
  doi          = {10.1109/32.6135},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/MuellerDSW88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Munoz88,
  author       = {Carlos Urias Munoz},
  title        = {An Approach to Software Product Testing},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {11},
  pages        = {1589--1596},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.9047},
  doi          = {10.1109/32.9047},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/Munoz88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MurataZ88,
  author       = {Tadao Murata and
                  Du Zhang},
  title        = {A Predicate-Transition Net Model for Parallel Interpretation of Logic
                  Programs},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {4},
  pages        = {481--497},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4671},
  doi          = {10.1109/32.4671},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/MurataZ88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/NelsonTT88,
  author       = {Randolph D. Nelson and
                  Donald F. Towsley and
                  Asser N. Tantawi},
  title        = {Performance Analysis of Parallel Processing Systems},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {4},
  pages        = {532--540},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4676},
  doi          = {10.1109/32.4676},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/NelsonTT88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/North88,
  author       = {John R. North},
  title        = {Guest Editor's Introduction Selected Papers from {COMPSAC} '86},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {8},
  pages        = {1957--1058},
  year         = {1988},
  url          = {http://doi.ieeecomputersociety.org/10.1109/TSE.1988.10008},
  doi          = {10.1109/TSE.1988.10008},
  timestamp    = {Thu, 10 Dec 2015 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/North88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/NosekS88,
  author       = {John T. Nosek and
                  Ruth B. Schwartz},
  title        = {User Validation of Information System Requirements: Some Empirical
                  Results},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {9},
  pages        = {1372--1375},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6180},
  doi          = {10.1109/32.6180},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/NosekS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Ntafos88,
  author       = {Simeon C. Ntafos},
  title        = {A Comparison of Some Structural Testing Strategies},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {6},
  pages        = {868--874},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6165},
  doi          = {10.1109/32.6165},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Ntafos88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Oberndorf88,
  author       = {Patricia A. Oberndorf},
  title        = {The Common Ada Programming Support Environment {(APSE)} Interface
                  Set {(CAIS)}},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {6},
  pages        = {742--748},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6154},
  doi          = {10.1109/32.6154},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/Oberndorf88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/OrensteinM88,
  author       = {Jack A. Orenstein and
                  Frank Manola},
  title        = {{PROBE} Spatial Data Modeling and Query Processing in an Image Database
                  Application},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {5},
  pages        = {611--629},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6139},
  doi          = {10.1109/32.6139},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/OrensteinM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Orman88,
  author       = {Levent V. Orman},
  title        = {Functional Development of Database Applications},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {9},
  pages        = {1280--1292},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6172},
  doi          = {10.1109/32.6172},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Orman88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/PanzieriS88,
  author       = {Fabio Panzieri and
                  Santosh K. Shrivastava},
  title        = {Rajdoot: {A} Remote Procedure Call Mechanism Supporting Orphan Detection
                  and Killing},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {1},
  pages        = {30--37},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4620},
  doi          = {10.1109/32.4620},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/PanzieriS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/PenedoR88,
  author       = {Maria Heloisa (Lolo) Penedo and
                  William E. Riddle},
  title        = {Guest Editors' Introduction Software Engineering Environment Architectures},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {6},
  pages        = {689--696},
  year         = {1988},
  url          = {http://doi.ieeecomputersociety.org/10.1109/TSE.1988.10006},
  doi          = {10.1109/TSE.1988.10006},
  timestamp    = {Thu, 10 Dec 2015 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/PenedoR88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/PramanikV88,
  author       = {Sakti Pramanik and
                  David Vineyard},
  title        = {Optimizing Join Queries in Distributed Databases},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {9},
  pages        = {1319--1326},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6175},
  doi          = {10.1109/32.6175},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/PramanikV88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/PuNP88,
  author       = {Calton Pu and
                  Jerre D. Noe and
                  Andrew Proudfoot},
  title        = {Regeneration of Replicated Objects: {A} Technique and Its Eden Implementation},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {7},
  pages        = {936--945},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.42736},
  doi          = {10.1109/32.42736},
  timestamp    = {Tue, 05 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/PuNP88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/QadahI88,
  author       = {Ghassan Z. Qadah and
                  Keki B. Irani},
  title        = {The Join Alogorithms on a Shared-Memory Multiprocessor Database Machine},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {11},
  pages        = {1668--1683},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.9054},
  doi          = {10.1109/32.9054},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/QadahI88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RamamoorthyGP88,
  author       = {C. V. Ramamoorthy and
                  Vijay K. Garg and
                  Atul Prakash},
  title        = {Support for Reusability in Genesis},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {8},
  pages        = {1145--1154},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.7625},
  doi          = {10.1109/32.7625},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/RamamoorthyGP88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RamamurthyM88,
  author       = {Bina Ramamurthy and
                  Austin Melton},
  title        = {A Synthesis of Software Science Measures and the Cyclomatic Number},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {8},
  pages        = {1116--1121},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.7622},
  doi          = {10.1109/32.7622},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/RamamurthyM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RamanathanS88,
  author       = {Jayashree Ramanathan and
                  Soumitra Sarkar},
  title        = {Providing Customized Assistance for Software Lifecycle Approaches},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {6},
  pages        = {749--757},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6155},
  doi          = {10.1109/32.6155},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/RamanathanS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ReedMM88,
  author       = {Daniel A. Reed and
                  Allen D. Malony and
                  Bradley D. McCredie},
  title        = {Parallel Discrete Event Simulation Using Shared Memory},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {4},
  pages        = {541--553},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4677},
  doi          = {10.1109/32.4677},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/ReedMM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RotemS88,
  author       = {Doron Rotem and
                  Arie Segev},
  title        = {Algorithms for Multidimensional Partitioning of Static Files},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {11},
  pages        = {1700--1710},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.9056},
  doi          = {10.1109/32.9056},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/RotemS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RoussopoulosFS88,
  author       = {Nick Roussopoulos and
                  Christos Faloutsos and
                  Timos K. Sellis},
  title        = {An Efficient Pictorial Database System for {PSQL}},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {5},
  pages        = {639--650},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6141},
  doi          = {10.1109/32.6141},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/RoussopoulosFS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Rowe88,
  author       = {Neil C. Rowe},
  title        = {Absolute Bounds on Set Intersection and Union Sizes from Distribution
                  Information},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {7},
  pages        = {1033--1048},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.42743},
  doi          = {10.1109/32.42743},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Rowe88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RulloS88,
  author       = {Pasquale Rullo and
                  Domenico Sacc{\`{a}}},
  title        = {An Automatic Physical Designer for Network Model Databases},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {9},
  pages        = {1293--1306},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6173},
  doi          = {10.1109/32.6173},
  timestamp    = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/RulloS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Rus88,
  author       = {Teodor Rus},
  title        = {Parsing Languages by Pattern Matching},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {4},
  pages        = {498--511},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4672},
  doi          = {10.1109/32.4672},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Rus88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Ryder88,
  author       = {Barbara G. Ryder},
  title        = {Experiments in Optimizing {FP}},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {4},
  pages        = {444--454},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4668},
  doi          = {10.1109/32.4668},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Ryder88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SchoenSB88,
  author       = {Eric Schoen and
                  Reid G. Smith and
                  Bruce G. Buchanan},
  title        = {Design of Knowledge-Based Systems with a Knowledge-Based Assistant},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {12},
  pages        = {1771--1791},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.9063},
  doi          = {10.1109/32.9063},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/SchoenSB88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SchwanRVO88,
  author       = {Karsten Schwan and
                  Rajiv Ramnath and
                  Sridhar Vasudevan and
                  David M. Ogle},
  title        = {A Language and System for the Construction and Tuning of Parallel
                  Programs},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {4},
  pages        = {455--471},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4669},
  doi          = {10.1109/32.4669},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/SchwanRVO88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ScottF88,
  author       = {Michael L. Scott and
                  Raphael A. Finkel},
  title        = {A Simple Mechanism for Type Security Across Compilation Units},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {8},
  pages        = {1238--1239},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.7631},
  doi          = {10.1109/32.7631},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/ScottF88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SelbyP88,
  author       = {Richard W. Selby and
                  Adam A. Porter},
  title        = {Learning from Examples: Generation and Evaluation of Decision Trees
                  for Software Resource Analysis},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {12},
  pages        = {1743--1757},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.9061},
  doi          = {10.1109/32.9061},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/SelbyP88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SevincZ88,
  author       = {S{\"{u}}leyman Sevinc and
                  Bernard P. Zeigler},
  title        = {Entity Structure Based Design Methodology: {A} {LAN} Protocol Example},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {3},
  pages        = {375--383},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4657},
  doi          = {10.1109/32.4657},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/SevincZ88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Shatz88,
  author       = {Sol M. Shatz},
  title        = {Towards Complexity Metrics for Ada Tasking},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {8},
  pages        = {1122--1127},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.7623},
  doi          = {10.1109/32.7623},
  timestamp    = {Tue, 05 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Shatz88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SidhuA88,
  author       = {Deepinder P. Sidhu and
                  Juan Aristizabal},
  title        = {Constructing Submodule Specifications and Network Protocols},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {11},
  pages        = {1565--1577},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.9045},
  doi          = {10.1109/32.9045},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/SidhuA88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SidhuC88,
  author       = {Deepinder P. Sidhu and
                  Carole S. Crall},
  title        = {Executable Logic Specifications for Protocol Service Interfaces},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {1},
  pages        = {98--121},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4626},
  doi          = {10.1109/32.4626},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/SidhuC88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Siegrist88,
  author       = {Kyle Siegrist},
  title        = {Reliability of Systems with Markov Transfer of Control},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {7},
  pages        = {1049--1053},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.42744},
  doi          = {10.1109/32.42744},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Siegrist88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Siegrist88a,
  author       = {Kyle Siegrist},
  title        = {Reliability of Systems with Markov Transfer of Control, {II}},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {10},
  pages        = {1478--1481},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6192},
  doi          = {10.1109/32.6192},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Siegrist88a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Smith88,
  author       = {Connie U. Smith},
  title        = {Applying Synthesis Principles to Create Responsive Software Systems},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {10},
  pages        = {1394--1408},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6185},
  doi          = {10.1109/32.6185},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Smith88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/StelovskyS88,
  author       = {Jan Stelovsky and
                  Hirotsugo Sugaya},
  title        = {A System for Specification and Rapid Prototyping of Application Command
                  Languages},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {7},
  pages        = {1023--1032},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.42742},
  doi          = {10.1109/32.42742},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/StelovskyS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/StonebrakerHP88,
  author       = {Michael Stonebraker and
                  Eric N. Hanson and
                  Spyros Potamianos},
  title        = {The {POSTGRES} Rule Manager},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {7},
  pages        = {897--907},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.42733},
  doi          = {10.1109/32.42733},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/StonebrakerHP88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Symons88,
  author       = {Charles R. Symons},
  title        = {Function Point Analysis: Difficulties and Improvements},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {1},
  pages        = {2--11},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4618},
  doi          = {10.1109/32.4618},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Symons88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/TanakaI88,
  author       = {Minoru Tanaka and
                  Tadao Ichikawa},
  title        = {A Visual User Interface for Map Information Retrieval Based on Semantic
                  Significance},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {5},
  pages        = {666--670},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6144},
  doi          = {10.1109/32.6144},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/TanakaI88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/TenmaTTI88,
  author       = {Takao Tenma and
                  Hideaki Tsubotani and
                  Minoru Tanaka and
                  Tadao Ichikawa},
  title        = {A System for Generating Language-Oriented Editors},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {8},
  pages        = {1098--1109},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.7620},
  doi          = {10.1109/32.7620},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/TenmaTTI88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Tenny88,
  author       = {Ted Tenny},
  title        = {Program Readability: Procedures Versus Comments},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {9},
  pages        = {1271--1279},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6171},
  doi          = {10.1109/32.6171},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Tenny88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/UnnikrishnanSV88,
  author       = {A. Unnikrishnan and
                  Priti Shankar and
                  Y. V. Venkatesh},
  title        = {Threaded Linear Hierarchical Quadtree for Computation of Geometric
                  Properties of Binary Images},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {5},
  pages        = {659--665},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6143},
  doi          = {10.1109/32.6143},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/UnnikrishnanSV88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/VuongLC88,
  author       = {Son T. Vuong and
                  Allen C. Lau and
                  R. Isaac Chan},
  title        = {Semiautomatic Implementation of Protocols Using an Estelle-C Compiler},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {3},
  pages        = {384--393},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4658},
  doi          = {10.1109/32.4658},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/VuongLC88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Wah88,
  author       = {Benjamin W. Wah},
  title        = {Guest Editor's Introduction The Third International Conference on
                  Data Engineering},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {7},
  pages        = {877--878},
  year         = {1988},
  url          = {http://doi.ieeecomputersociety.org/10.1109/TSE.1988.10007},
  doi          = {10.1109/TSE.1988.10007},
  timestamp    = {Thu, 10 Dec 2015 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/Wah88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Wang88,
  author       = {Yu Wang},
  title        = {A Distributed Specification Model and Its Prototyping},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {8},
  pages        = {1090--1097},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.7619},
  doi          = {10.1109/32.7619},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Wang88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Waters88,
  author       = {Richard C. Waters},
  title        = {Program Translation via Abstraction and Reimplementation},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {8},
  pages        = {1207--1228},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.7629},
  doi          = {10.1109/32.7629},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Waters88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WeissW88,
  author       = {Stewart N. Weiss and
                  Elaine J. Weyuker},
  title        = {An Extended Domain-Bases Model of Software Reliability},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {10},
  pages        = {1512--1524},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6196},
  doi          = {10.1109/32.6196},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/WeissW88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Weyuker88,
  author       = {Elaine J. Weyuker},
  title        = {Evaluating Software Complexity Measures},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {9},
  pages        = {1357--1365},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6178},
  doi          = {10.1109/32.6178},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Weyuker88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Winner88,
  author       = {Robert I. Winner},
  title        = {Naming and Binding in a vertical Migration Environment},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {5},
  pages        = {599--607},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6138},
  doi          = {10.1109/32.6138},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Winner88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WolfCW88,
  author       = {Alexander L. Wolf and
                  Lori A. Clarke and
                  Jack C. Wileden},
  title        = {A Model of Visibility Control},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {4},
  pages        = {512--520},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4673},
  doi          = {10.1109/32.4673},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/WolfCW88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/YangLN88,
  author       = {Chao{-}Chih Yang and
                  Guang Li and
                  Peter A. Ng},
  title        = {An Improved Algorithm Based on Subset Closures for Synthesizing a
                  Relational Database Scheme},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {11},
  pages        = {1731--1738},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.9058},
  doi          = {10.1109/32.9058},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/YangLN88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/YauH88,
  author       = {Stephen S. Yau and
                  Wonmo Hong},
  title        = {Verification of Concurrent Control Flow in Distributed Computer Systems},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {4},
  pages        = {405--417},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4662},
  doi          = {10.1109/32.4662},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/YauH88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/YauNTL88,
  author       = {Stephen S. Yau and
                  Robin A. Nicholl and
                  Jeffrey J. P. Tsai and
                  Sying{-}Syang Liu},
  title        = {An Integrated Life-Cycle Model for Software Maintenance},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {8},
  pages        = {1128--1144},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.7624},
  doi          = {10.1109/32.7624},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/YauNTL88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/YoungT88,
  author       = {Michal Young and
                  Richard N. Taylor},
  title        = {Combining Static Concurrency Analysis with Symbolic Execution},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {10},
  pages        = {1499--1511},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6195},
  doi          = {10.1109/32.6195},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/YoungT88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/YoungTT88,
  author       = {Michal Young and
                  Richard N. Taylor and
                  Dennis B. Troup},
  title        = {Software Environment Architectures and User Interface Facilities},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {6},
  pages        = {697--708},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6151},
  doi          = {10.1109/32.6151},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/YoungTT88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/YuBL88,
  author       = {Philip S. Yu and
                  Simonetta Balsamo and
                  Yann{-}Hang Lee},
  title        = {Dynamic Transaction Routing in Distributed Database Systems},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {9},
  pages        = {1307--1318},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6174},
  doi          = {10.1109/32.6174},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/YuBL88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/YuSD88,
  author       = {Tze{-}Jie Yu and
                  Vincent Y. Shen and
                  Hubert E. Dunsmore},
  title        = {An Analysis of Several Software Defect Models},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {9},
  pages        = {1261--1270},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6170},
  doi          = {10.1109/32.6170},
  timestamp    = {Wed, 11 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/YuSD88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/YuW88,
  author       = {Chee Fen Yu and
                  Benjamin W. Wah},
  title        = {Learning Dominance Relations in Combinatorial Search Problems},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {8},
  pages        = {1155--1175},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.7626},
  doi          = {10.1109/32.7626},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/YuW88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/YuW88a,
  author       = {Chee Fen Yu and
                  Benjamin W. Wah},
  title        = {Efficient Branch-and-Bound Algorithms on a Two-Level Memory System},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {9},
  pages        = {1342--1356},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6177},
  doi          = {10.1109/32.6177},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/YuW88a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ZhangTSN88,
  author       = {Yaoxue Zhang and
                  Kaoru Takahashi and
                  Norio Shiratori and
                  Shoichi Noguchi},
  title        = {An Interactive Protocol Synthesis Algorithm Using a Global State Transition
                  Graph},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {3},
  pages        = {394--404},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.4659},
  doi          = {10.1109/32.4659},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/ZhangTSN88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Zhou88,
  author       = {Songnian Zhou},
  title        = {A Trace-Driven Simulation Study of Dynamic Load Balancing},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {9},
  pages        = {1327--1341},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6176},
  doi          = {10.1109/32.6176},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Zhou88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics