%A F. Cristian %A D. Skeen %T Special issue on distributed systems %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 1 %D January 1987 %P 1-2 %A I. Cidon %A J.M. Jaffe %A M. Sidi %T Local distributed deadlock detection by cycle detection and clustering %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 1 %D January 1987 %P 3-14 %A W.K. Fuchs %A K.-L. Wu %A J.A. Abraham %T Comparison and diagnosis of large replicated files %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 1 %D January 1987 %P 15-22 %A R. Koo %A S. Toueg %T Checkpointing and roll-back-recovery for distributed systems %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 1 %D January 1987 %P 23-31 %A F.C.H. lin %A R.M. Keller %T The gradient model load balancing method %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 1 %D January 1987 %P 32-38 %A S.K. Sarin %A N.A. Lynch %T Discarding obsolete information in a replicated database system %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 1 %D January 1987 %P 39-47 %A D.B. Terry %T Caching hints in distributed systems %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 1 %D January 1987 %P 48-54 %A W.E. Weihl %T Distributed version management for read-only actions %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 1 %D January 1987 %P 55-64 %A A. Black %A N. Hutchinson %A E. Jul %A H. Levy %A L. Carter %T Distribution and abstract types in Emerald %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 1 %D January 1987 %P 65-76 %A P.B. Gibbons %T A stub generator for multilanguage RPC in heterogeneous environments %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 1 %D January 1987 %P 77-87 %A M.L. Scott %T Language support for loosely coupled distributed programs %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 1 %D January 1987 %P 88-103 %A G.R. Andrews %A R.D. Schlichting %A R. Hayes %A T.D.M. Purdin %T The design of the Saguaro distributed operating system %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 1 %D January 1987 %P 104-118 %A D.E. Denning %A S.G. Akl %A T.F. Lunt %A M. Morgnestern %A P.G. Neumann %A R.R. Schell %T Views for multilevel database security %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 2 %D February 1987 %P 129-140 %A J.T. Haigh %A W.D. Young %T Extending the noninterference version of MLS for SAT %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 2 %D February 1987 %P 141-150 %A J.D. Halpern %A S. Owre %A N. Proctor %A W.F. Wilson %T Muse - a computer assisted verification system %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 2 %D February 1987 %P 151-156 %A J.T. Haigh %A J.R.A. Kemmerer %A J. McHugh %A W.D. Young %T An experience using two covert channel analysis techniques on a real system design %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 2 %D February 1987 %P 157-168 %A V.D. Gligor %A C.S. Chandersekaran %A W.D. Jiang %A A. Johri %A G.L. Luckenbaugh %A L.E. Reich %T A new security testing method and its application to the secure Xenix kernel %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 2 %D February 1987 %P 169-183 %A D.M. Berry %T Towards a formal basis for the formal development method and the Ina Jo specification language %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 2 %D February 1987 %P 184-201 %A R.Y. Kain %A C.E. Landwehr %T An access checking in capability-based systems %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 2 %D February 1987 %P 202-207 %A V.D. Gligor %A C.S. Chandersakaran %A R.S. Chapman %A L.J. Dotterer %A M.S. Hecht %A W.D. Jiang %A A. Johri %A G.L. Luckenbaugh %A N. Vasudevan %T Design and implementation of secure Xenix %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 2 %D February 1987 %P 208-221 %A D.E. Denning %T An intrusion-detection model %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 2 %D February 1987 %P 222-232 %A D.M. Nessett %T Factors affecting distributed system security %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 2 %D February 1987 %P 233-248 %A D. Estrin %T Controls for interorganization networks %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 2 %D February 1987 %P 249-261 %A J.H. Moore %A G.J. Simmons %T Cycle structure of the DES for keys having palindromic (or apalindromic) sequences of round keys %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 2 %D February 1987 %P 262-273 %A J.K. Millen %A S.C. Clark %A S.B. Freedman %T The interrogator: protocol security analysis %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 2 %D February 1987 %P 274-288 %A C. Meadows %A D. Mutchler %T Matching secrets in the absence of a continuously available trusted authority %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 2 %D February 1987 %P 289-291 %A C.G. Girling %T Covert channels in LAN's %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 2 %D February 1987 %P 292 %A N.F. Schneidewind %T The state of software maintenance %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 3 %D March 1987 %P 303-310 %A S. Bendifallah %A W. Scacchi %T Understanding software maintenance work %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 3 %D March 1987 %P 311-323 %A K. Narayanaswamy %A W. Scacchi %T Maintaining configurations of evolving software systems %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 3 %D March 1987 %P 324-334 %A D. Kafura %A G.R. Reddy %T The use of software complexity metrics in software maintenance %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 3 %D March 1987 %P 335-343 %A H.D. Rombach %T A controlled experiment on the impact of software structure on maintainability %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 3 %D March 1987 %P 344-354 %A S.S. Yau %A J.J. Tsai %T Knowledge representation of software component interconnection information for large-scale software modifications %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 3 %D March 1987 %P 355-361 %A V.F. Nicola %A V.G. Kulkarni %A K.S. Trivedi %T Queueing analysis of fault-tolerant computer systems %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 3 %D March 1987 %P 363-375 %A K.C. Sevcik %A M.J. Johnson %T Cycle time properties of the FDDI token ring protocol %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 3 %D March 1987 %P 376-385 %A N.G. Leveson %A J.L. Stolzy %T Safety analysis using Petri nets %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 3 %D March 1987 %P 386-397 %A Y.K. Dalal %T A distributed algorithm for constructing minimal spanning trees %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 3 %D March 1987 %P 398-405 %A Claude Boksenbaum %A Michele Cart %A Jean Ferrie %A jean-Francois Pons %T Concurrent certifications by intervals of timestamps in database database systems %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 4 %D April 1987 %P 409-419 %K concurrency control, optimistic %A Francis Y. Chin %A K.V.S. Ramarao %T An information-based model for failure-handling in database database systems %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 4 %D April 1987 %P 420-431 %A Bruce I. Blum %T A paradigm for developing information systems %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 4 %D April 1987 %P 432-439 %K TEDIUM %A Ronald T. Mittermeir %A Marcus Oppitz %T Software bases for the flexible composition of application systems %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 4 %D April 1987 %P 440-460 %A Kazuo Matsumura %A Hiroyuki Mizutani %A Masahiko Arai %T An application of structural modeling to software requirements analysis and design %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 4 %D April 1987 %P 461-471 %A Vaclav Rajlich %T Refinement methodology for Ada %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 4 %D April 1987 %P 472-478 %A Heather W. Robb %A Heinz Roland Wesitroffer %T Performance criteria for constrained nonlinear programming codes %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 4 %D April 1987 %P 479-489 %A Frank G. Pagan %T Program structure charts for applicative languages %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 4 %D April 1987 %P 490-493 %A Bo Steinholz %A Kim Walden %T Automatic identification of software system differences %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 4 %D April 1987 %P 493-497 %K SCS-P %A Sun Zhongxiu %A Li Xining %T CSM: a distributed programming language %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 4 %D April 1987 %P 497-500 %A Takeshi Chusho %T Test data selection and quality estimation based on the concept of essential branches for path testing %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 5 %D May 1987 %P 509-517 %A Behcet Sarikaya %A Gregor V. Bochmann %A Eduard Cerny %T A test deterministic methodology for protocol testing %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 5 %D May 1987 %P 518-531 %A Yogeesh H. Kamath %A Manton M. Matthews %T Implementation of an FP-shell %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 5 %D May 1987 %P 532-539 %A Shmuel Katz %A Oded Shmueli %T Cooperative distributed algorithms for dynamic cycle prevention %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 5 %D May 1987 %P 540-552 %A John C. Knight %A John I. A. Urquhart %T On the implementation and use of Ada on fault-tolerant distributed systems %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 5 %D May 1987 %P 553-563 %A Wei Zhao %A Krithivasan Ramamritham %A John A. Stankovic %T Scheduling tasks with reosurce requirements in hard real-time systems %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 5 %D May 1987 %P 564-577 %A Jan Magott %T New NP-complete problems in performance evaluation of concurrent systems using Petri nets %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 5 %D May 1987 %P 578-581 %A R. Keith Scott %A James W. Gault %A David F. McAllister %T Fault-tolerant software reliability modeling %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 5 %D May 1987 %P 582-592 %A Raghubir N. Mathur %T Methodology for business system development %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 5 %D May 1987 %P 593-601 %A Steven P. Reiss %T Automatic compiler production: the front end %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 6 %D June 1987 %P 609-627 %A Lay-Ulrich Felgentreu %A Wolfram M. Lippe %A Friedemann H. Simon %T Optimizing static scope Lisp by repetitive interpretation of recursive function calls %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 6 %D June 1987 %P 628-635 %A F. Warren Burton %A Dieter Maurer %A Hans-Georg Oberhauser %A Reinhard Wilhelm %T A space-efficient optimization of call-by-need %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 6 %D June 1987 %P 636-642 %A Sajal K. Das %A V.K. Agrawal %A Dilip Sarkar %A L.M. Patnaik %T Reflexive incidence matrix (RIM) representation of Petri nets %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 6 %D June 1987 %P 643-653 %A Rajive L. Bagrodia %A K. Many Chandy %A Jayadev Misra %T A message-based approach to discrete-event simulation %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 6 %D June 1987 %P 654-665 %A Roger D. Schultz %A Alfonso F. Cardenas %T An approach and mechanism for auditable and testable advanced transaction processing systems %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 6 %D June 1987 %P 666-676 %A Robert P. Roe %A John H. Rowland %T Some theory concerning certification of mathematical subroutines by black box testing %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 6 %D June 1987 %P 677-682 %A Gerard J. Holzmann %T Automated protocol validation in Argos: assertion proving and scatter searching %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 6 %D June 1987 %P 683-696 %A H.F. Li %A W.K. Cheung %T An empirical study of software metrics %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 6 %D June 1987 %P 697-708 %A S. Bing Yao %A Alan R. Hevner %A Helene Young-Myers %T Analysis of database system architectures using benchmarks %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 6 %D June 1987 %P 709-725 %A Chuan-Qi Zhu %A Pen-Chung Yew %T A scheme to enforce data dependence on large multiprocessor systems %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 6 %D June 1987 %P 726-739 %A S. Purushothaman %A P.A. Subrahmanyam %T Reasoning about probabilistic behavior in concurrent systems %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 6 %D June 1987 %P 740-745 %A Ronald E. Prather %A J. Paul Myers,\ Jr. %T The path prefix software testing strategy %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 7 %D July 1987 %P 761-766 %A Neal M. Bengtson %T Measuring errors in operational analysis asumptions %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 7 %D July 1987 %P 767-776 %A John C. Cherniavsky %A Carl H. Smith %T A recursion theoretic approach to program testing %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 7 %D July 1987 %P 777-784 %A Amihai Motro %T Superviews: virtual integration of multiple databases %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 7 %D July 1987 %P 785-798 %K view %A Wiebren de\ Jonge %A Andrew S. Tananbaum %A Reind P. van\ de\ Riet %T Two access methods using compact binary trees %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 7 %D July 1987 %P 799-810 %A Sushil Jajodia %A Frederick Neil Springsteel %T Construction of universal instances for loop-free network databases using a join-like operation %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 7 %D July 1987 %P 811-819 %A John D. Gannon %A Richard G. Hamlet %A Harlan D. Mills %T Theory of modules %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 7 %D July 1987 %P 820-829 %K verification, program proof %A Peter Freeman %T A conceptual analysis of the Draco approach to constructing software systems %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 7 %D July 1987 %P 830-844 %A David N. Card %A Frank E. Mc\ Garry %A Gerald T. Page %T Evaluating software engineering technologies %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 7 %D July 1987 %P 845-851 %A D. Ross Jeffery %T Time-sensitive cost models in the commercial MIS environment %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 7 %D July 1987 %P 852-859 %A S.M. Deen %A R.R. Amin %A M.C. Taylor %T Data integration in distributed databases %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 7 %D July 1987 %P 860-864 %A Colin M. Davidson %T A note on concurrent programming control %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 7 %D July 1987 %P 865-866 %A Satish K. Tripathi %A Yennun Huang %A Sushil Jajodia %T Local area networks: software and related issues %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 8 %D August 1987 %P 872-879 %A Brian N. Bershad %A Dennis T. Ching %A Edward D. Lazowska %A Jan Sanislo %A Michael Schwartz %T A remote procedure call facility for interconnecting heterogeneous computer systems %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 8 %D August 1987 %P 880-894 %A Rita C. Summers %T A resource sharing system for personal computers in a LAN: concepts, design, and experience %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 8 %D August 1987 %P 895-904 %K RM %A Rakesh Agrawal %A Ahmed K. Ezzat %T Location independent remote execution in NEST %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 8 %D August 1987 %P 905-912 %K Unix %A Jurgen Nehmer %A Dieter Haban %A Friedemann Mattern %A Dieter Wybranietz %A H. Dieter Rombach %T Key concepts of the INCAS multicomputer project %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 8 %D August 1987 %P 913-923 %K LADY, CSSA, Incremental architecture for distributed systems %A Pradeep Jain %A Simon S. Lam %T Modeling and verification of real-time protocols for broadcast networks %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 8 %D August 1987 %P 924-937 %A Wei Zhao %A Krithi Ramamritham %T Virtual time CSMA protocols for hard real-time communication %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 8 %D August 1987 %P 938-952 %A David J. de\ Witt %A Raphael Finkel %A Marvin Solomon %T The Crystal multicomputer: design and implementation experience %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 8 %D August 1987 %P 953-966 %K Charlotte, Unix %A S. Ramesh %A S.L. Mehndiratta %T A methodology for developing distributed programs %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 8 %D August 1987 %P 967-976 %A Je-Hao Wang %A Tak-Sun Yuen %A David Hung-Chang Du %T On multiple random accesses and physical data placement in dynamic files %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 8 %D August 1987 %P 977-987 %A Tony T. Lee %T An information-theoretic analysis of relational databases - Part I: data dependencies and information metric %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 10 %D October 1987 %P 1049-1061 %A Tony T. Lee %T An information-theoretic analysis of relational databases - Part II: information structures of database schemas %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 10 %D October 1987 %P 1062-1072 %A Abdel A. Farrag %A M. Tamer Ozsu %T Towards a general concurrency control algorithm for database systems %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 10 %D October 1987 %P 1073-1079 %K two-phase locking, timestamp ordering %A E. Timothy Morgan %A Rami R. Razouk %T Interactive state-space analysis of concurrent systems %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 10 %D October 1987 %P 1080-1091 %K Petri nets %A Hemant K. Jain %T A comprehensive model for the design of distributed computer systems %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 10 %D October 1987 %P 1092-1104 %A Robin A. Sahner %A Kishor S. Trivedi %T Performance and reliability analysis using directed acyclic graphs %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 10 %D October 1987 %P 1105-1114 %A Kevin Rea %A Robert De B. Johnston %T Automated analysis of discrete communication behavior %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 10 %D October 1987 %P 1115-1126 %A Krishna M. Kavi %A Billy P. Buckles %A U. Narayan Bhat %T Isomorphism between Petri nets and dataflow graphs %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 10 %D October 1987 %P 1127-1134 %A Samiha Mourad %A Dorothy Andrews %T On the reliability of the IBM MVS/XA operating system %J IEEE Transactions on Software Engineering %K ieee_tse %V SE-13 %N 10 %D October 1987 %P 1135-1139