TOC: IEEE Trans of Software Eng, Jan 1986
Jon Mauney
%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