mauney@ncsu.UUCP (Jon Mauney) (02/11/86)
%A Amrit L. Goel %A Farokh B. Bastani %T Foreword: Software reliability %J IEEE-TSE %V SE-12 %N 1 %P 1-2 %D JAN 1986 %X introduction to special issue on software reliability, part II %A P. Allen Currit %A Michael Dyer %A Harlan D. Mills %T Certifying the reliability of software %J IEEE-TSE %V SE-12 %N 1 %P 3-11 %D JAN 1986 %K incremental development, software reliability certification, software reliability models, statistical quality control, statistical testing process %A Douglas R. Miller %T Exponential order statistic models of software reliability growth %J IEEE-TSE %V SE-12 %N 1 %P 12-24 %D JAN 1986 %K complete monotonicity, exponential distribution, nonhomogeneous Poisson processes, order statistics, probability models, software reliability %A F.-W. Scholz %T Software reliability modeling and analysis %J IEEE-TSE %V SE-12 %N 1 %P 25-31 %D JAN 1986 %K conditional inference, confidence bounds, exponential order statistics (non-i.i.d), identifiability, multinomial trials, order restricted maximum likelihood estimates, spacings %A Ushio Sumita %A Yasushi Masuda %T Analysis of software availability/reliability under the influence of hardware failures %J IEEE-TSE %V SE-12 %N 1 %P 32-41 %D JAN 1986 %K integrated hardware-software reliability model, matrix Laguerre transform, multiple error generation and removal, state-dependent general lifetimes and repair times, time-dependent compound performance measures %A V. K. Prasanna Kumar %A Salim Hariri %A C. S. Raghavendra %T Distributed program reliability analysis %J IEEE-TSE %V SE-12 %N 1 %P 42-50 %D JAN 1986 %K distributed program, distributed system, graph theory, reliability, spanning tree %A Herbert Hecht %A Myron Hecht %T Software reliability in the system context %J IEEE-TSE %V SE-12 %N 1 %P 51-58 %D JAN 1986 %K computer failure models, computer system reliability, software management, software reliability %A Pankaj Jalote %A Roy H. Campbell %T Atomic actions for fault-tolerance using CSP %J IEEE-TSE %V SE-12 %N 1 %P 59-68 %D JAN 1986 %K atimic actions, backward recovery, communicating sequential processes, forward recovery, software fault-tolerance %A David J. Taylor %T Concurrency and forward recovery in atomic actions %J IEEE-TSE %V SE-12 %N 1 %P 69-78 %D JAN 1986 %K atomic actions, backward recovery, concurrency, exception handling, forward recovery, software reliability %A Liugi Mancini %T Modular redundancy in a message passing system %J IEEE-TSE %V SE-12 %N 1 %P 79-86 %D JAN 1986 %K Agreement, communicating sequential processes, fault tolerance, guarded commands, nondeterminism, replicated processing, voting %A J. Shambu Upadhaya %A Kewal K. Saluja %T A watchdog processor based general rollback technique with multiple retries %J IEEE-TSE %V SE-12 %N 1 %P 87-95 %D JAN 1986 %K error detection, error latency, recovery time, rollback recovery, program retry, transient errors %A John C. Knight %A Nancy G. Leveson %T An experimental evaluation of the assumption of independence in multiversion programming %J IEEE-TSE %V SE-12 %N 1 %P 96-109 %D JAN 1986 %K design diversity, fault-tolerant software, multiversion programming, N-version programming, software reliability %A Janet R. Dunham %T Experiments in software reliability: life-critical applications %J IEEE-TSE %V SE-12 %N 1 %P 110-123 %D JAN 1986 %K life-critical software, real-time software, software experiments, software modeling and measurement, software reliability %A Ian J. Hayes %T Specification directed module testing %J IEEE-TSE %V SE-12 %N 1 %P 124-133 %D JAN 1986 %K abstract data types, data type invariant, modules, module testing, packages, pre- and post-conditions, retrieval function, software reliability, specification language-Z %A Hideaki Tsubotani %A Noriaki Monden %A Minoru Tanaka %A Tadao Ichikawa %T A high level language-based computing environment to support production and execution of reliable programs %J IEEE-TSE %V SE-12 %N 1 %P 134-146 %D JAN 1986 %K Ada, debugging, high level language architecture, programming language, software reliability %A Anthony I. Wasserman %A Peter A. Pircher %A David T. Shewmake %T Building reliable interactive information systems %J IEEE-TSE %V SE-12 %N 1 %P 147-156 %D JAN 1986 %K interactive information systems, RAPID/USE, software development methodology software reliability, transition diagrams, User Software Engineering %A Robert E. Strom %A Shaula Yemini %T Typestate: a progamming language concept for enhancing software reliability %J IEEE-TSE %V SE-12 %N 1 %P 157-171 %D JAN 1986 %K program analysis, program verification, security, software reliability, type checking, typestate %A Zavdi L. Lichtman %T Generation and consistency checking of design and program structures %J IEEE-TSE %V SE-12 %N 1 %P 172-181 %D JAN 1986 %K consistency checking, Program Design Language (PDL), program structure,, software development, software quality assurance, software tools -- Jon Mauney, mcnc!ncsu!mauney North Carolina State University