%A W. Douglas Brooks
%T Software technology payoff: some statistical evidence
%J Journal of Systems and Software
%K jss
%V 2
%N 1
%D February 1981
%P 3-10

%A Thomas J. Wheeler
%T Embedded system design with Ada as the system design language
%J Journal of Systems and Software
%K jss
%V 2
%N 1
%D February 1981
%P 11-22

%A L.A. Belady
%A C.J. Evangelisti
%T System partitioning and its measure
%J Journal of Systems and Software
%K jss
%V 2
%N 1
%D February 1981
%P 23-30

%A C.S. Chandrasekaran
%A R.C. Linger
%T Software specification using the SPECIAL language
%J Journal of Systems and Software
%K jss
%V 2
%N 1
%D February 1981
%P 31-38

%A Siba N. Mohanty
%T Entropy metrics for software design evaluation
%J Journal of Systems and Software
%K jss
%V 2
%N 1
%D February 1981
%P 39-46

%A Victor R. Basili
%A Karl Freburger
%T Programming measurement and estimation in the software engineering laboratory
%J Journal of Systems and Software
%K jss
%V 2
%N 1
%D February 1981
%P 47-58

%A Victor R. Basili
%A John Beane
%T Can the Parr curve help
with manpower distribution and resource estimation problems ?
%J Journal of Systems and Software
%K jss
%V 2
%N 1
%D February 1981
%P 59-70

%A Lawrence J. Mazlack
%T Natural language symbol string storage
%J Journal of Systems and Software
%K jss
%V 2
%N 1
%D February 1981
%P 71-80

%A William E. Riddle
%T Tool and methodology evaluation
%J Journal of Systems and Software
%K jss
%V 2
%N 2
%D June 1981
%P 85-88

%A Richard Hamlet
%T Hard-to-use evaluation criteria for software engineering
%J Journal of Systems and Software
%K jss
%V 2
%N 2
%D June 1981
%P 89-96

%A S.N. Woodfiel
%A V.Y. Shen
%A H.E. Dunsmore
%T A study of several metrics for programming effort
%J Journal of Systems and Software
%K jss
%V 2
%N 2
%D June 1981
%P 97-104

%A J-L. Lassez
%A D. van\ der\ Knijff
%A J. Shepherd
%A C. Lassez
%T A critical examination of software science
%J Journal of Systems and Software
%K jss
%V 2
%N 2
%D June 1981
%P 105-112

%A Douglas A. Troy
%A Stuart H. Zweben
%T Measuring the quality of structured designs
%J Journal of Systems and Software
%K jss
%V 2
%N 2
%D June 1981
%P 113-120

%A Dennis Kafura
%A Sallie Henry
%T Software quality metrics based on interconnectivity
%J Journal of Systems and Software
%K jss
%V 2
%N 2
%D June 1981
%P 121-132

%A David J. Panzl
%T A method for evaluating software development techniques
%J Journal of Systems and Software
%K jss
%V 2
%N 2
%D June 1981
%P 133-138

%A Taylor L. Booth
%A Reda Ammar
%A Robert Lenk
%T An instrumentation system to measure user performance in interactive systems
%J Journal of Systems and Software
%K jss
%V 2
%N 2
%D June 1981
%P 139-146

%A Jerry L. Archibald
%T The external structure:
experience with an automated module interconnection language
%J Journal of Systems and Software
%K jss
%V 2
%N 2
%D June 1981
%P 147-158

%A Jonathan K. Millen
%A David L. Drake
%T An experimenty with Affirm and HDM
%J Journal of Systems and Software
%K jss
%V 2
%N 2
%D June 1981
%P 159-176

%A Paul R. McMullin
%A John D. Gannon
%T Evaluating a data abstraction testing system based on formal specifications
%J Journal of Systems and Software
%K jss
%V 2
%N 2
%D June 1981
%P 177-186

%A Niv Ahituv
%A Jonathan Halpern
%T Data and reports: contents design and users allocation
%J Journal of Systems and Software
%K jss
%V 2
%N 3
%D September 1981
%P 193-200

%A P.G. Harrison
%T Efficient table-driven implementation of the finite state machine
%J Journal of Systems and Software
%K jss
%V 2
%N 3
%D September 1981
%P 201-212

%A Glenn H. MacEwen
%A T. Patrick Martin
%T Abstraction hierarchies in top-down design
%J Journal of Systems and Software
%K jss
%V 2
%N 3
%D September 1981
%P 213-224

%A Eldred Nelson
%T Functional programming analysis
%J Journal of Systems and Software
%K jss
%V 2
%N 3
%D September 1981
%P 225-236

%A Montgomery Phister,\ Jr.
%T A model of the software development process
%J Journal of Systems and Software
%K jss
%V 2
%N 3
%D September 1981
%P 237-256

%A M.J. Lawrence
%T Programming methodology, organizational environment,
and programming productivity
%J Journal of Systems and Software
%K jss
%V 2
%N 3
%D September 1981
%P 257-270

%A Harvey S. Koch
%A Peter Kubat
%T Quick and simple procedures
to assess software reliability and facilitate project measurement
%J Journal of Systems and Software
%K jss
%V 2
%N 3
%D September 1981
%P 271-276

%A L. Bernstein
%T Software project management audits
%J Journal of Systems and Software
%K jss
%V 2
%N 4
%D December 1981
%P 281-288

%A Maria Majoros
%A Harry M. Sneed
%T The softest program test system
%J Journal of Systems and Software
%K jss
%V 2
%N 4
%D December 1981
%P 289-296

%A R.J. Abbott
%A D.K. Moorhead
%T Software requirements and specifications: a survey of needs and languages
%J Journal of Systems and Software
%K jss
%V 2
%N 4
%D December 1981
%P 297-316

%A Edith W. Martin
%T Introduction to collected papers
on computing standards for embedded computer systems
%J Journal of Systems and Software
%K jss
%V 2
%N 4
%D December 1981
%P 317-318

%A Jack Cooper
%T MIL-STD-1679, weapon system software development
%J Journal of Systems and Software
%K jss
%V 2
%N 4
%D December 1981
%P 319-328

%A Antonia D. Schuman
%T The new software documentation standard:
report on the Joint Logictic Commanders Joint Policy Coordinating Group
on Computer Resource Management, Computer Software Management Subgroup,
Software Workshop
%J Journal of Systems and Software
%K jss
%V 2
%N 4
%D December 1981
%P 329-336

%A Arthur E. Treiber
%T Interoperability through effective information exchange standards
%J Journal of Systems and Software
%K jss
%V 2
%N 4
%D December 1981
%P 337-350

%A Paul M. Cohen
%T Ada programming language standardization
%J Journal of Systems and Software
%K jss
%V 2
%N 4
%D December 1981
%P 351-356

%A Matthew J. Fisher
%T Software QA standards - the coming revolution
%J Journal of Systems and Software
%K jss
%V 2
%N 4
%D December 1981
%P 357-362

%A Jerry Raveling
%T Status and outlook for DoD configuration management requirements
%J Journal of Systems and Software
%K jss
%V 2
%N 4
%D December 1981
%P 363-370

%A Gordon R. England
%T Implementation of computing standards
%J Journal of Systems and Software
%K jss
%V 2
%N 4
%D December 1981
%P 371-378

%A Barry W. Boehm
%T Seven basic principles of software engineering
%J Journal of Systems and Software
%K jss
%V 3
%N 1
%D March 1983
%P 3-24

%A M. Hamilton
%A S. Zeldin
%T The functional life cycle model and its automation: USE.IT
%J Journal of Systems and Software
%K jss
%V 3
%N 1
%D March 1983
%P 25-62

%A Harry M. Sneed
%T Softing software engineering system
%J Journal of Systems and Software
%K jss
%V 3
%N 1
%D March 1983
%P 63-76

%A Don O'Neill
%T Integration engineering perspective
%J Journal of Systems and Software
%K jss
%V 3
%N 1
%D March 1983
%P 77-83

%A Ali Mili
%A Donna Reese
%T Representation and manipulation of information systems:
a simplified approach
%J Journal of Systems and Software
%K jss
%V 3
%N 1
%D March 1983
%P 85-93

%A Brent D. Kornman
%T Pattern matching and pattern-directed invocation
in systems programming languages
%J Journal of Systems and Software
%K jss
%V 3
%N 1
%D March 1983
%P 95-102

%A Ramchandra D. Joshi
%T Software development for reliable software systems
%J Journal of Systems and Software
%K jss
%V 3
%N 2
%D June 1983
%P 107-121

%A Jack C. Wileden
%A John H. Sayler
%A Walliam E. Riddle
%A Alan R. Segal
%A Allan M. Stavely
%T Behaviour specification in a software design system
%J Journal of Systems and Software
%K jss
%V 3
%N 2
%D June 1983
%P 123-135

%A Allan M. Stavely
%T Modeling and projection in software development
%J Journal of Systems and Software
%K jss
%V 3
%N 2
%D June 1983
%P 137-146

%A Steven F. Jennings
%A Arthur E. Oldehoeft
%T An analysis of program execution
on a recursive stream-oriented data flow architecture
%J Journal of Systems and Software
%K jss
%V 3
%N 2
%D June 1983
%P 147-154

%A Billy G. Claybrook
%A H. Rex Hartson
%T Language extensions for spcifying program access control policies
in programming languages
%J Journal of Systems and Software
%K jss
%V 3
%N 2
%D June 1983
%P 155-162

%A H.G. Stuebing
%T Industrialization of weapon system software
%J Journal of Systems and Software
%K jss
%V 3
%N 2
%D June 1983
%P 163-171

%A Nancy G. Leveson
%A Peter R. Harvey
%T Software fault tree analysis
%J Journal of Systems and Software
%K jss
%V 3
%N 2
%D June 1983
%P 173-181

%A Klaas G. van\ der\ Poel
%A Stephen R. Schach
%T A software metric for cost estimation and efficiency measurement
in data processing system development
%J Journal of Systems and Software
%K jss
%V 3
%N 3
%D September 1983
%P 187-191

%A Erika Nyari
%A Harry Sneed
%T SOFTSPEC: a pragmatic approach to automated specification verification
%J Journal of Systems and Software
%K jss
%V 3
%N 3
%D September 1983
%P 193-200

%A H. Rex Hartson
%A Earl J. Balliet
%T A model of enforcement relationships
among database access control dependencies
%J Journal of Systems and Software
%K jss
%V 3
%N 3
%D September 1983
%P 201-217

%A U. Bussolati
%A G. Martella
%T Security design in distributed database systems
%J Journal of Systems and Software
%K jss
%V 3
%N 3
%D September 1983
%P 219-229

%A W.M. Evangelist
%T Software complexity metric sensitivity to program structuring rules
%J Journal of Systems and Software
%K jss
%V 3
%N 3
%D September 1983
%P 231-243

%A R. Nigel Horspool
%A Jeffrey M. Laks
%T An improved block sequencing method for program restructuring
%J Journal of Systems and Software
%K jss
%V 3
%N 3
%D September 1983
%P 245-250

%A Peter C. Bates
%A Jack C. Wileden
%T High-level debugging of distributed systems:
the behavioral abstraction approach
%J Journal of Systems and Software
%K jss
%V 3
%N 4
%D December 1983
%P 255-264

%A Bernd Bruegge
%A Peter Hibbard
%T Generalized path expressions: a high-level debugging mechanism
%J Journal of Systems and Software
%K jss
%V 3
%N 4
%D December 1983
%P 265-276

%A Thomas A. Cargill
%T The Blit debugger
%J Journal of Systems and Software
%K jss
%V 3
%N 4
%D December 1983
%P 277-284

%A Peter Fritzson
%T Symbolic debugging through incremental compilation
in an integrated environment
%J Journal of Systems and Software
%K jss
%V 3
%N 4
%D December 1983
%P 285-294

%A Michael L. Powell
%A Mark A. Linton
%T A database model of debugging
%J Journal of Systems and Software
%K jss
%V 3
%N 4
%D December 1983
%P 295-300

%A Robert L. Sedlmeyer
%A William B. Thompson
%A Paul E. Johnson
%T Knowledge-based fault localization in debugging
%J Journal of Systems and Software
%K jss
%V 3
%N 4
%D December 1983
%P 301-307

%A W. Morven Gentleman
%A Henry Hoeksma
%T Hardware assisted high-level debugging
%J Journal of Systems and Software
%K jss
%V 3
%N 4
%D December 1983
%P 309-314

%A Claude Jard
%A Gregor V. Bochmann
%T An approach to testing specifications
%J Journal of Systems and Software
%K jss
%V 3
%N 4
%D December 1983
%P 315-323

%A Jock A. Rader
%T VLSI and software engineering
%J Journal of Systems and Software
%K jss
%V 4
%N 1
%D April 1984
%P 3-6

%A Robert Cuykendall
%A Anton Dominic
%A William H. Joyner
%A Steve C. Johnson
%A Steve Kelem
%A Dennis McBride
%A Jack Mostow
%A John E. Savage
%A Gabriele Saucier
%T Design synthesis in VLSI and software engineering
%J Journal of Systems and Software
%K jss
%V 4
%N 1
%D April 1984
%P 7-12

%A Randy Katz
%A Walt Scacchi
%A P. Subrahmanyam
%T Environments for VLSI and software engineering
%J Journal of Systems and Software
%K jss
%V 4
%N 1
%D April 1984
%P 13-26

%A S. Hirschorn
%A A.M. Davis
%T Parallels between software and VLSI engineering
%J Journal of Systems and Software
%K jss
%V 4
%N 1
%D April 1984
%P 27-37

%A Jack Mostow
%T A decision-based framework for comparing hardware compilers
%J Journal of Systems and Software
%K jss
%V 4
%N 1
%D April 1984
%P 39-50

%A Jack Mostow
%A Bob Balzer
%T Application of a transformational software development methodology
to VLSI design
%J Journal of Systems and Software
%K jss
%V 4
%N 1
%D April 1984
%P 51-61

%A Merlin Dorfman
%A Richard F. Flynn
%T Arts - an automated requirement traceability system
%J Journal of Systems and Software
%K jss
%V 4
%N 1
%D April 1984
%P 63-74

%A Robert G. Reynolds
%T Metrics to measure the complexity of partial programs
%J Journal of Systems and Software
%K jss
%V 4
%N 1
%D April 1984
%P 75-91

%A Sushil Jajodia
%A Peter Ann-Beng Ng
%A Raymond T. Yeh
%T Introduction to the special issue on the use
of entity-relationship concepts in databases and related software
%J Journal of Systems and Software
%K jss
%V 4
%N 2/3
%D July 1984
%P 95-98

%A W. Kent
%T Fact-based data analysis and design
%J Journal of Systems and Software
%K jss
%V 4
%N 2/3
%D July 1984
%P 99-121

%A Sushil Jajodia
%A Peter A. Ng
%T Translation of entity-relationship diagrams into relational structures
%J Journal of Systems and Software
%K jss
%V 4
%N 2/3
%D July 1984
%P 123-133

%A Hirotaka Sakai
%T Entity-relationship behavior modeling in conceptual schema design
%J Journal of Systems and Software
%K jss
%V 4
%N 2/3
%D July 1984
%P 135-145

%A Victor M. Markowitz
%A Yoav Raz
%T An entity-relationship algebra and its semantic description capabilities
%J Journal of Systems and Software
%K jss
%V 4
%N 2/3
%D July 1984
%P 147-162

%A C. Batini
%A M. Talamo
%A R. Tamassia
%T Computer aided layout of entity relationship diagrams
%J Journal of Systems and Software
%K jss
%V 4
%N 2/3
%D July 1984
%P 163-173

%A Adolph D'Cunha
%A T. Radhakrishnan
%T DASS: a data administration support system
%J Journal of Systems and Software
%K jss
%V 4
%N 2/3
%D July 1984
%P 175-184

%A Robert W. Marti
%T Integrating database and program descriptions using an ER-data dictionary
%J Journal of Systems and Software
%K jss
%V 4
%N 2/3
%D July 1984
%P 185-195

%A Enrique H. Ruspini
%A Robert Fraley
%T ID: an intelligent information dictionary system
%P 197-205

%A Rodney P. Zimmerman
%T Phases, methods, and tools: a triad of system development
%J Journal of Systems and Software
%K jss
%V 4
%N 2/3
%D July 1984
%P 207-218

%A Shuji Nakata
%A Go Yamazaki
%T ISMOS: an experimental database-oriented tool generator
%J Journal of Systems and Software
%K jss
%V 4
%N 2/3
%D July 1984
%P 219-238

%A Bharat Bhargava
%T Performance evaluation of reliability control algorithms
for distributed database systems
%J Journal of Systems and Software
%K jss
%V 4
%N 2/3
%D July 1984
%P 239-264

%A Amrit L. Goel
%A Joseph P. Cavano
%T Introduction to the special issue
on the Fifth Minnowbrook Workshop on software performance evaluation
%J Journal of Systems and Software
%K jss
%V 4
%N 4
%D November 1984
%P 267

%A Joseph P. Cavano
%T Software reliability measurement: prediction, estimation, and assessment
%J Journal of Systems and Software
%K jss
%V 4
%N 4
%D November 1984
%P 269-275

%A John D. Musa
%A K. Okumoto
%T A comparison of time domains for software reliability models
%J Journal of Systems and Software
%K jss
%V 4
%N 4
%D November 1984
%P 277-287

%A Elaine J. Weyuker
%A Thomas J. Ostrand
%T Collecting and categorizing software error data in an industrial environment
%J Journal of Systems and Software
%K jss
%V 4
%N 4
%D November 1984
%P 289-300

%A John B. Lohse
%A Stuart H. Zweben
%T Experimental evaluation of software design principles:
an investigation into the effects of module coupling on system modifiability
%J Journal of Systems and Software
%K jss
%V 4
%N 4
%D November 1984
%P 301-308

%A Stuart H. Zweben
%A Allen Haley
%T Development and application of a white box approach to integration testing
%J Journal of Systems and Software
%K jss
%V 4
%N 4
%D November 1984
%P 309-315

%A Robert L. Probert
%A Hasan Ural
%T High-level testing and example-directed development
of software specifications
%J Journal of Systems and Software
%K jss
%V 4
%N 4
%D November 1984
%P 317-325

%A John B. Bowen
%T Module size: a standard or heuristic ?
%J Journal of Systems and Software
%K jss
%V 4
%N 4
%D November 1984
%P 327-332

%A K. Ronald Laughery,\ Jr.
%A Kenneth R. Laughery,\ Sr.
%T Human factors in software engineering: a review of the literature
%J Journal of Systems and Software
%K jss
%V 5
%N 1
%D February 1985
%P 3-14

%A Lori A. Clarke
%A Debra J. Richardson
%T Applications of symbolic evaluation
%J Journal of Systems and Software
%K jss
%V 5
%N 1
%D February 1985
%P 15-36

%A S.G. Crawford
%A A.A. McIntosh
%A D. Pregibon
%T An analysis of static metrics and faults in C software
%J Journal of Systems and Software
%K jss
%V 5
%N 1
%D February 1985
%P 37-48

%A D.R. Jeffery
%A M.J. Lawrence
%T Managing programming productivity
%J Journal of Systems and Software
%K jss
%V 5
%N 1
%D February 1985
%P 49-58

%A Ralph R. Bravoco
%A Surya B. Yadav
%T A methodology to model the information structure of an organization
%J Journal of Systems and Software
%K jss
%V 5
%N 1
%D February 1985
%P 59-72

%A P.W. Foulk
%A S.M. Nassar
%T Analysis of parallelism in nested DO loops
%J Journal of Systems and Software
%K jss
%V 5
%N 1
%D February 1985
%P 73-80

%A Vaclav Rajlich
%T Stepwise refinement revisited
%J Journal of Systems and Software
%K jss
%V 5
%N 1
%D February 1985
%P 81-88

%A David Notkin
%T The GANDALF project
%J Journal of Systems and Software
%K jss
%V 5
%N 2
%D May 1985
%P 91-106

%A Robert J. Ellison
%A Barbara J. Staudt
%T The evolution of the GANDALF system
%J Journal of Systems and Software
%K jss
%V 5
%N 2
%D May 1985
%P 107-120

%A Gail E. Kaiser
%A Elaine Kant
%T Incremental parsing without a parser
%J Journal of Systems and Software
%K jss
%V 5
%N 2
%D May 1985
%P 121-144

%A A.N. Habermann
%T Automatic deletion of obsolete information
%J Journal of Systems and Software
%K jss
%V 5
%N 2
%D May 1985
%P 145-154

%A Vincenzo Ambrolia
%A Carlo Monangero
%T Automatic generation of execution tools in a GANDALF environment
%J Journal of Systems and Software
%K jss
%V 5
%N 2
%D May 1985
%P 155-172

%T Annotated bibliography of GANDALF literature
%J Journal of Systems and Software
%K jss
%V 5
%N 2
%D May 1985
%P 173-176

%A Alan Reed
%T CORRECT: a simulated text editor
%J Journal of Systems and Software
%K jss
%V 5
%N 3
%D August 1985
%P 179-184

%A Allan M. Stavely
%T Inference from models of software systems
%J Journal of Systems and Software
%K jss
%V 5
%N 3
%D August 1985
%P 185-192

%A Jean R. Stephenson Blair
%A Phil Kearns
%A Mary Lou Soffa
%T An optimistic implementation of the stack-heap
%J Journal of Systems and Software
%K jss
%V 5
%N 3
%D August 1985
%P 193-202

%A Jeffrey W.M. Dooley
%A Stephen R. Schach
%T FLOW: a software development environment using diagrams
%J Journal of Systems and Software
%K jss
%V 5
%N 3
%D August 1985
%P 203-220

%A M. Tsuchiya
%T Availability analysis
for the design of distributed processing networks
%J Journal of Systems and Software
%K jss
%V 5
%N 3
%D August 1985
%P 221-228

%A J. David Blaine
%A Richard A. Kemmerer
%T Complexity measures for assembly language programs
%J Journal of Systems and Software
%K jss
%V 5
%N 3
%D August 1985
%P 229-246

%A M. Zaki
%A S. Koriem
%T A model for the protocol design of back-end storage networks
%J Journal of Systems and Software
%K jss
%V 5
%N 4
%D November 1985
%P 249-266

%A Barbara A. Kitchenham
%A N.R. Taylor
%T Software project development cost estimation
%J Journal of Systems and Software
%K jss
%V 5
%N 4
%D November 1985
%P 267-278

%A D.L. Carver
%A D.B. Simmons
%T The impact of programming methodology on program complexity
%J Journal of Systems and Software
%K jss
%V 5
%N 4
%D November 1985
%P 279-290

%A P. Fairfield
%T STRAPS - a Software TRAnsPort System for low-level software
%J Journal of Systems and Software
%K jss
%V 5
%N 4
%D November 1985
%P 291-302

%A Monique Becker
%T Introduction to the special issues
on modeling and performance evaluation of parallel systems
%J Journal of Systems and Software
%K jss
%V 6
%N 1/2
%D May 1986
%P 5-6

%A Ann H. Hayes
%T Parallel-processing experienmce on the Denelcor HEP computer
%J Journal of Systems and Software
%K jss
%V 6
%N 1/2
%D May 1986
%P 7-10

%A D. Parkinson
%T Performance analysis in a 4096 processor environment
%J Journal of Systems and Software
%K jss
%V 6
%N 1/2
%D May 1986
%P 11-16

%A Yves Chauvet
%A Gerard Meurant
%T Multitasking on the CRAY X-MP
%J Journal of Systems and Software
%K jss
%V 6
%N 1/2
%D May 1986
%P 17-20

%A D. Roweth
%T Design and performance analysis of transputer arrays
%J Journal of Systems and Software
%K jss
%V 6
%N 1/2
%D May 1986
%P 21-22

%A S. Fdida
%A D. Mailles
%A G. Pujolle
%T Queueing systems with resource sharing
%J Journal of Systems and Software
%K jss
%V 6
%N 1/2
%D May 1986
%P 23-30

%A Raymond Marie
%A Gerardo Rubino
%T An approximation for a multiclass ./M/1/FIFO queue
imbedded in a closed queueing network
%J Journal of Systems and Software
%K jss
%V 6
%N 1/2
%D May 1986
%P 31-40

%A G. Balbo
%A S.C. Brunell
%A S. Ghanta
%T The solution of homogeneous queueing networks with many job classes
%J Journal of Systems and Software
%K jss
%V 6
%N 1/2
%D May 1986
%P 41-54

%A J.P. Claude
%T Discrete time queues for modelling an HDLC coupler
%J Journal of Systems and Software
%K jss
%V 6
%N 1/2
%D May 1986
%P 55-60

%A Anna Hac
%T Modelling parallel access to shared resources in a distributed file system
using queueing networks
%J Journal of Systems and Software
%K jss
%V 6
%N 1/2
%D May 1986
%P 61-70

%A P.A. Grasso
%A T.S. Dillon
%A K.E. Forward
%T Performance analysis of common bus multimicroprocessor systems
%J Journal of Systems and Software
%K jss
%V 6
%N 1/2
%D May 1986
%P 71-80

%A M. Becker
%A G. Pion
%T Simulation of an Apollo network
in order to evaluate response-time speedup of parallel algorithms
%J Journal of Systems and Software
%K jss
%V 6
%N 1/2
%D May 1986
%P 81-92

%A M. Tricot
%T Classification algorithms
%J Journal of Systems and Software
%K jss
%V 6
%N 1/2
%D May 1986
%P 93-94

%A Philippe Chretienne
%T Timed Petri nets: a solution to the minimum-time reachability problem
between two states of a timed-event graph
%J Journal of Systems and Software
%K jss
%V 6
%N 1/2
%D May 1986
%P 95-102

%A G. Florin
%A S. Natkin
%T One-place unbounded stochastic Petri nets:
ergodic criteria and steady-state solutions
%J Journal of Systems and Software
%K jss
%V 6
%N 1/2
%D May 1986
%P 103-116

%A Marco Ajmone Marsan
%A Gianfranco Balbo
%A Giovanni Chiola
%A Susanna Donatelli
%T On the product-form solution
of a class of multiple-bus multiprocessor system models
%J Journal of Systems and Software
%K jss
%V 6
%N 1/2
%D May 1986
%P 117-124

%A C.M. Woodside
%A E. Neron
%A E.D.-S. Ho
%A B. Mondoux
%T An "active server" model for the performance of parallel programs
written using rendezvous
%J Journal of Systems and Software
%K jss
%V 6
%N 1/2
%D May 1986
%P 125-132

%A Satish K. Tripathi
%T On detecting parallelism in software
%J Journal of Systems and Software
%K jss
%V 6
%N 1/2
%D May 1986
%P 133-136

%A Alain Dupuis
%A Gerard Hebuterne
%A Jean-Marc Pitie
%T A comparison of two mutual-exclusion algorithms for computer networks
%J Journal of Systems and Software
%K jss
%V 6
%N 1/2
%D May 1986
%P 137-146

%A Garry Rodrigue
%T Solving partial differential equations on multiprocessors
%J Journal of Systems and Software
%K jss
%V 6
%N 1/2
%D May 1986
%P 147-164

%A Y. Robert
%A M. Tchuente
%T Parallel solution of band triangular linear systems
on VLSI arrays with limited fan-out
%J Journal of Systems and Software
%K jss
%V 6
%N 1/2
%D May 1986
%P 165-168

%A P. Fraise
%T An efficient parallel algorithm for the transitive colsure of a graph
%J Journal of Systems and Software
%K jss
%V 6
%N 1/2
%D May 1986
%P 169-174

%A J.-C. Miellou
%A G.-R. Perrin
%A P. Spiteri
%T An inexpensive method of performance evaluation
for subdomain decomposition parallel algorithms
of three-dimensional elliptical problems
%J Journal of Systems and Software
%K jss
%V 6
%N 1/2
%D May 1986
%P 175-182

%A V.G. Kulkarni
%A V.F. Nicola
%A K.S. Trivedi
%T On modeling the performance and reliability of multimode computer systems
%J Journal of Systems and Software
%K jss
%V 6
%N 1/2
%D May 1986
%P 183-198

%A D.R. Powell
%T A hierarchical approach
to distributed computer-system dependability evaluation
%J Journal of Systems and Software
%K jss
%V 6
%N 1/2
%D May 1986
%P 199-204

%A J.S. Banino
%T Parallelism and fault-tolerance in the CHORUS
%J Journal of Systems and Software
%K jss
%V 6
%N 1/2
%D May 1986
%P 205-212

%A M. Morganti
%T Communications in distributed fault-tolerant computing systems
%J Journal of Systems and Software
%K jss
%V 6
%N 1/2
%D May 1986
%P 213-216

%A Robert L. Glass
%T Dangerous and misleading: a look at software research via the Parnas papers
%J Journal of Systems and Software
%K jss
%V 6
%N 3
%D August 1986
%P 217-218

%A Anna Hac
%T Performance-reliability issues in distributed file systems
%J Journal of Systems and Software
%K jss
%V 6
%N 3
%D August 1986
%P 219-224

%A W.J. Barr
%T A Unix-based gateway to distributed database systems
%J Journal of Systems and Software
%K jss
%V 6
%N 3
%D August 1986
%P 225-235
%K FACS BANCS

%A Yuksel Uckan
%A William D. Haseman
%T An optimal access path handling strategy in a database environment
%J Journal of Systems and Software
%K jss
%V 6
%N 3
%D August 1986
%P 237-249

%A Ronen Barzel
%A David Salesin
%T Patchwork: a fast interpreter for a restricted dataflow language
%J Journal of Systems and Software
%K jss
%V 6
%N 3
%D August 1986
%P 251-259

%A Bruce I. Blum
%T Four yrs of experience
with an environment for implementing information systems
%J Journal of Systems and Software
%K jss
%V 6
%N 3
%D August 1986
%P 261-271
%K TEDIUM

%A R.N. Sum,\ Jr.
%A R.H. Campbell
%A W.J. Kubitz
%T An approach to operating system testing
%J Journal of Systems and Software
%K jss
%V 6
%N 3
%D August 1986
%P 273-284
%K Unix, IBM 9000

%A Margaret J. Davis
%A David R. Addleman
%T A practical approach to specification technology selection
%J Journal of Systems and Software
%K jss
%V 6
%N 3
%D August 1986
%P 285-294

%Q Software International Corporation
%T Setting standards in mainframe applications software
%J Journal of Systems and Software
%K jss
%V 6
%N 3
%D August 1986
%P 295-305

%A Ruben Prieto-Diaz
%A James M. Neighbors
%T Module interconnection languages
%J Journal of Systems and Software
%K jss
%V 6
%N 4
%D November 1986
%P 307-334

%A Warren Harrison
%A Curtis Cook
%T Are deeply nested conditionals less readable ?
%J Journal of Systems and Software
%K jss
%V 6
%N 4
%D November 1986
%P 335-341

%A L. Bouge
%A N. Choquet
%A L. Fribourg
%A M.-C. Gaudel
%T Test sets generation from algebraic specifications using logic programming
%J Journal of Systems and Software
%K jss
%V 6
%N 4
%D November 1986
%P 343-360

%A A. Pombortsis
%A C. Halatsis
%T Analysis of a modified model for synchronous multiprocessor systems
%J Journal of Systems and Software
%K jss
%V 6
%N 4
%D November 1986
%P 361-365

%A Dennis D. Doe
%A Edward H. Bersoff
%T The Software Productivity Consortium (specification):
an industry initiative to improve the productivity and quality
of mission-critical software
%J Journal of Systems and Software
%K jss
%V 6
%N 4
%D November 1986
%P 367-378

%A Ben G. Matley
%T A modest proposal: computer education can be raised to professional status
%J Journal of Systems and Software
%K jss
%V 6
%N 4
%D November 1986
%P 379-389

%A Mariagrazia Fugini
%A Giancarlo Martella
%T Conceptual modeling of authorization in database systems
%J Journal of Systems and Software
%K jss
%V 7
%N 1
%D March 1987
%P 3-13

%A Ali Mili
%A Sihem Guemara
%A Ali Jaoua
%A Paul Torres
%T On the use of executable assertions in structured programs
%J Journal of Systems and Software
%K jss
%V 7
%N 1
%D March 1987
%P 15-28

%A D.N. Card
%A W.W. Agresti
%T Resolving the software science anomaly
%J Journal of Systems and Software
%K jss
%V 7
%N 1
%D March 1987
%P 29-35

%A K. Narayanaswamy
%A Walt Scacchi
%T A database foundation to support software system evolution
%J Journal of Systems and Software
%K jss
%V 7
%N 1
%D March 1987
%P 37-49
%K NuMIL MIL

%A Susan C. Felix-Simpson
%A H. Pat Artis
%T Implementing an analytic model for customer information control systems
(CICS)
%J Journal of Systems and Software
%K jss
%V 7
%N 1
%D March 1987
%P 51-60

%A Michael F. Merriman
%T Automated interactive simulation modeling system: AISIM
%J Journal of Systems and Software
%K jss
%V 7
%N 1
%D March 1987
%P 61-72

%A James D. Arthur
%T Toward a formal specification of menu-based systems
%J Journal of Systems and Software
%K jss
%V 7
%N 1
%D March 1987
%P 73-82

%A D.N. Card
%A W.W. Agresti
%T Comments on resolving the software science anomaly
%J Journal of Systems and Software
%K jss
%V 7
%N 1
%D March 1987
%P 83-84

%A F.R.D. Velasco
%T A method for test data selection
%J Journal of Systems and Software
%K jss
%V 7
%N 2
%D June 1987
%P 89-97

%A Paolino Di Felice
%T On the development of reliable large software
%J Journal of Systems and Software
%K jss
%V 7
%N 2
%D June 1987
%P 99-107

%A Michael Dyer
%T A formal approach to software error removal
%J Journal of Systems and Software
%K jss
%V 7
%N 2
%D June 1987
%P 109-114

%A D.R. Jeffery
%T A software development productivity model for MIS environments
%J Journal of Systems and Software
%K jss
%V 7
%N 2
%D June 1987
%P 115-125

%A Kristine Stougaard Thomsen
%A Jorgen Lindskov Knudsen
%T A taxonomy for programming languages with multisequential processes
%J Journal of Systems and Software
%K jss
%V 7
%N 2
%D June 1987
%P 127-140

%A Bradley J. Brown
%T Checksum methodology as a configuration management tool
%J Journal of Systems and Software
%K jss
%V 7
%N 2
%D June 1987
%P 141-143

%A A. Rosselet
%T Language definition-based compiler development
%J Journal of Systems and Software
%K jss
%V 7
%N 2
%D June 1987
%P 145-161

%A David Alex Lamb
%A Ivor Durham
%A Joseph M. Newcomer
%T DRAT: a program for maintaining listings
%J Journal of Systems and Software
%K jss
%V 7
%N 2
%D June 1987
%P 163-170

%A June M. Verner
%A Graham Tate
%T A model for software sizing
%J Journal of Systems and Software
%K jss
%V 7
%N 2
%D June 1987
%P 173-177

%A R. Nigel Horspool
%A Ronald M. Huberman
%T Analysis and development of demand prepaging policies
%J Journal of Systems and Software
%K jss
%V 7
%N 3
%D September 1987
%P 183-194

%A Wei Zhao
%A Krithi Ramamritham
%T Simple and integrated heuristic algorithms
for scheduling tasks with time and resource constraints
%J Journal of Systems and Software
%K jss
%V 7
%N 3
%D September 1987
%P 195-205

%A Hershey H. Friedman
%A Linda Weiser Friedman
%T Marketing methods for software
%J Journal of Systems and Software
%K jss
%V 7
%N 3
%D September 1987
%P 207-212

%A Warren Harrison
%A Curtis Cook
%T A micro/macro measure of software complexity
%J Journal of Systems and Software
%K jss
%V 7
%N 3
%D September 1987
%P 213-219

%A Daniel M. Berry
%A Nancy Yavne
%A Moshe Yavne
%T Application of program design language tools
to Abbott's method of program design by informal natural language descriptions
%J Journal of Systems and Software
%K jss
%V 7
%N 3
%D September 1987
%P 221-247
%K Ada/SDP